aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/SymbolManager.cpp
AgeCommit message (Expand)Author
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-12-10[analyzer] Introduce IntSymExpr, where the integer is on the lhs.Anna Zaks
2011-12-06[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks
2011-12-06[analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks
2011-10-07Remove AnalysisContext::getLiveVariables(), and introduce a templatized mecha...Ted Kremenek
2011-09-23Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-08-12Optimizations for Dependent Symbol tracking (as per Ted's code review for r13...Anna Zaks
2011-08-11Analyzer Core: Adding support for user-defined symbol dependencies. (For exam...Anna Zaks
2011-08-06[analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-02-16Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis