aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
AgeCommit message (Expand)Author
2013-04-11[analyzer] Factor common code from {SymSym,SymInt,IntSym}Expr to BinarySymExprRyan Govostes
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-11-03[analyzer] Run remove dead on end of path.Anna Zaks
2012-10-11Remove pointless classof()'s.Sean Silva
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-06-01static analyzer: add inlining support for directly called blocks.Ted Kremenek
2012-05-03[analyzer] Add a complexity bound on history tracking.Anna Zaks
2012-05-02Fix some doxycomments using \class instead of \brief.David Blaikie
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-20[analyzer] Remove unused method.Anna Zaks
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-01-23Remove extraneous ';'.Bill Wendling
2012-01-20[analyzer] Cleanup of Symbol dump methods.Anna Zaks
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-12-22Delete stray semicolon.Eli Friedman
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-12-10[analyzer]Fixup r146336.Anna Zaks
2011-12-08[analyzer] If memory region is tainted mark data as tainted.Anna Zaks
2011-12-06[analyzer] Add comments related to symbol_iteratorAnna 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-12-05[analyzer] First step toward removingAnna Zaks
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
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-12Remove extra semicolons.Bill Wendling
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-11Make SymbolManager comments doxygen friendly.Anna Zaks
2011-08-06[analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek
2011-08-05Static Analyzer: Add a convinience API. Add comment.Anna Zaks
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-07-23clean up forward declarations of raw_ostream to use the new LLVM.hChris Lattner
2011-07-20add raw_ostream and Twine to LLVM.h, eliminating a ton of llvm:: qualifications.Chris Lattner
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek