summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Run remove dead on end of path.Anna Zaks2012-11-031-1/+11
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-5/+6
* Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadB...Jordan Rose2012-09-251-6/+2
* [analyzer] Calculate liveness for symbolic exprs as well as atomic symbols.Jordan Rose2012-09-251-28/+40
* Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi...Jordan Rose2012-09-201-2/+6
* [analyzer] Remove constraints on dead symbols as part of removeDeadBindings.Jordan Rose2012-09-081-6/+2
* Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose2012-09-051-0/+3
* [analyzer] Treat all struct values as regions (even rvalues).Jordan Rose2012-09-011-3/+0
* Fix undefined behavior: member function calls where 'this' is a null pointer.Richard Smith2012-08-231-2/+2
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-5/+5
* [analyzer] Add a complexity bound on history tracking.Anna Zaks2012-05-031-0/+7
* [analyzer] Run remove dead bindings right before leaving a function.Anna Zaks2012-04-201-0/+7
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-3/+4
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-1/+10
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+4
* [analyzer] Introduce IntSymExpr, where the integer is on the lhs.Anna Zaks2011-12-101-13/+49
* [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks2011-12-061-0/+48
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-0/+22
* Remove AnalysisContext::getLiveVariables(), and introduce a templatized mecha...Ted Kremenek2011-10-071-4/+2
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-1/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-1/+1
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-21/+21
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-2/+2
* Optimizations for Dependent Symbol tracking (as per Ted's code review for r13...Anna Zaks2011-08-121-8/+27
* Analyzer Core: Adding support for user-defined symbol dependencies. (For exam...Anna Zaks2011-08-111-1/+30
* [analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek2011-08-061-5/+12
* [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek2011-07-281-5/+28
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-8/+8
* Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan2011-02-161-1/+1
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-2/+2
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+345
OpenPOWER on IntegriCloud