aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/SymbolManager.cpp
AgeCommit message (Expand)Author
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-03-15[analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead.Anna Zaks
2013-03-15[analyzer] Include opcode in dumping a SymSymExpr.Jordan Rose
2012-11-03[analyzer] Run remove dead on end of path.Anna Zaks
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek
2012-09-25Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadB...Jordan Rose
2012-09-25[analyzer] Calculate liveness for symbolic exprs as well as atomic symbols.Jordan Rose
2012-09-20Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi...Jordan Rose
2012-09-08[analyzer] Remove constraints on dead symbols as part of removeDeadBindings.Jordan Rose
2012-09-05Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose
2012-09-01[analyzer] Treat all struct values as regions (even rvalues).Jordan Rose
2012-08-23Fix undefined behavior: member function calls where 'this' is a null pointer.Richard Smith
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-05-03[analyzer] Add a complexity bound on history tracking.Anna Zaks
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
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