summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/Environment.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] print() JSONify: Create pointersCsaba Dabis2019-06-251-3/+4
* [analyzer] Fix JSON dumps for location contexts.Artem Dergachev2019-06-191-2/+1
* [analyzer] print() JSONify: SVal implementationCsaba Dabis2019-05-291-2/+4
* Fix an unused-variable error.Haojian Wu2019-05-291-0/+1
* [analyzer][AST] print() JSONify: Stmt implementationCsaba Dabis2019-05-291-11/+1
* [analyzer] print() JSONify: Environment implementationCsaba Dabis2019-05-291-18/+69
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] Fix the "Zombie Symbols" bug.Artem Dergachev2018-11-301-5/+0
* Compound literals, enums, et al require const exprBill Wendling2018-11-091-0/+1
* Create ConstantExpr classBill Wendling2018-10-311-0/+3
* [analyzer] ExplodedGraph printing fixesGeorge Karpenkov2018-09-171-1/+1
* [analyzer] Further printing improvements: use declarations,George Karpenkov2018-09-151-2/+1
* [analyzer] Generate and use stable identifiers for LocationContextGeorge Karpenkov2018-09-151-2/+2
* [analyzer] Dump reproducible identifiers for statements in exploded graph in ...George Karpenkov2018-09-151-5/+7
* [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
OpenPOWER on IntegriCloud