aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h
AgeCommit message (Expand)Author
2012-12-06[analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose
2012-10-17[analyzer] When binding to a ParenExpr, bind to its inner expression instead.Jordan Rose
2012-10-13[analyzer] Remove the "direct bindings only" Environment lookup.Jordan Rose
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-08-28[analyzer] Header cleanup to decrease coupling (and recompilation). No functi...Jordy Rose
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-06[analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek
2011-07-20now that we have a centralized place to do so, add some using declarations forChris Lattner
2011-04-27Allow 'Environment::getSVal()' to allow an optional way for checkers to do a ...Ted Kremenek
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek