summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h
Commit message (Expand)AuthorAgeFilesLines
* [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.hGeorge Karpenkov2017-09-061-1/+1
* [StaticAnalyzer] Pull SymExpr and SymbolData into its own header to avoid cyc...Benjamin Kramer2016-02-021-0/+1
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-2/+2
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-2/+2
* Remove empty non-virtual destructors or mark them =default when non-publicBenjamin Kramer2015-04-111-1/+0
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* [analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose2012-12-061-10/+0
* [analyzer] When binding to a ParenExpr, bind to its inner expression instead.Jordan Rose2012-10-171-3/+4
* [analyzer] Remove the "direct bindings only" Environment lookup.Jordan Rose2012-10-131-3/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-1/+1
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-16/+50
* [analyzer] Header cleanup to decrease coupling (and recompilation). No functi...Jordy Rose2011-08-281-1/+0
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-1/+1
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-2/+2
* [analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek2011-08-061-2/+1
* now that we have a centralized place to do so, add some using declarations forChris Lattner2011-07-201-1/+1
* Allow 'Environment::getSVal()' to allow an optional way for checkers to do a ...Ted Kremenek2011-04-271-2/+3
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-0/+106