summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/Environment.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] [NFC] A convenient getter for getting a current stack frameGeorge Karpenkov2018-06-271-1/+1
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-02-281-13/+29
* [analyzer] Self-debug: Dump environment frame-by-frame.Artem Dergachev2018-02-081-20/+33
* [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.hGeorge Karpenkov2017-09-061-1/+1
* [analyzer] Fix symbolic element index lifetime.Artem Dergachev2015-12-101-4/+0
* Analyzer: Teach analyzer how to handle TypeTraitExprIsmail Pazarbasi2015-09-221-0/+1
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-5/+5
* Wdeprecated: CollectReachableSymbolsCallback are move constructed/returned by...David Blaikie2015-08-131-1/+1
* Removing an "if (this == nullptr)" check from two print methods. The conditionRichard Trieu2014-06-091-1/+2
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-2/+3
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-2/+2
* [analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose2013-05-011-35/+7
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-1/+1
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-4/+2
* [analyzer] Use Clang's evaluation for global constants and default arguments.Jordan Rose2013-02-131-4/+0
* [analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose2012-12-061-62/+1
* Include pruning and general cleanup.Benjamin Kramer2012-12-011-0/+1
* [analyzer] Mark symbol values as dead in the environment.Jordan Rose2012-11-151-0/+4
* [analyzer] When binding to a ParenExpr, bind to its inner expression instead.Jordan Rose2012-10-171-89/+105
* [analyzer] Remove the "direct bindings only" Environment lookup.Jordan Rose2012-10-131-11/+1
* Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky2012-09-061-1/+2
* [analyzer] Support C++ default arguments if they are literal values.Jordan Rose2012-08-231-0/+3
* [analyzer] Look through SubstNonTypeTemplateParmExprs.Jordan Rose2012-07-271-0/+3
* Remove the ability to stash arbitrary pointers into UndefinedVal (no longer n...Ted Kremenek2012-07-251-7/+0
* [analyzer] Remove obsolete ObjCPropRef SVal kind.Jordan Rose2012-07-181-2/+0
* Teach the analyzer about CXXScaleValueInitExpr.Ted Kremenek2012-05-081-0/+5
* Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek2012-03-061-0/+3
* [analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek2012-02-281-0/+5
* [analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek2012-02-271-0/+5
* Have ScanReachableSymbols reported reachable regions. Fixes a false positive...Ted Kremenek2012-02-211-1/+8
* StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer2012-01-281-0/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-1/+1
* More dead code removal (using -Wunreachable-code)David Blaikie2012-01-201-1/+0
* Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up in...Ted Kremenek2012-01-111-0/+8
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-31/+82
* Move immutable map canonization out of the removeDeadBindings loop (via using...Anna Zaks2011-09-231-4/+9
* ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call sin...Anna Zaks2011-09-221-2/+4
* [analyzer] Handle reads of ObjCPropertyRefExprs implicitly in Environment. N...Ted Kremenek2011-08-201-0/+4
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-2/+2
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-1/+1
* [analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek2011-08-061-4/+3
* Remove an unused function (found by Clang's -Wunused-function)Chandler Carruth2011-07-291-12/+0
* [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek2011-07-281-23/+0
* [analyzer] Teach Environment to not look through MaterializeTemporaryExprs.Ted Kremenek2011-07-281-3/+0
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-3/+3
* Introduce a new AST node describing reference binding to temporaries.Douglas Gregor2011-06-211-0/+3
* [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expres...Jordy Rose2011-06-101-15/+0
* [analyzer] Look through __extension__ expressions in a GRState's Environment....Jordy Rose2011-06-081-6/+6
* Allow 'Environment::getSVal()' to allow an optional way for checkers to do a ...Ted Kremenek2011-04-271-1/+11
* Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II.Ted Kremenek2011-04-221-0/+3
OpenPOWER on IntegriCloud