summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] Make sure base-region and its sub-regions are either all alive or ...Artem Dergachev2019-01-181-3/+7
* [analyzer] Fix the "Zombie Symbols" bug.Artem Dergachev2018-11-301-9/+0
* [analyzer] Fix dumping for SymbolConjured conjured at no particular statement.Artem Dergachev2018-10-221-4/+7
* [analyzer] Further printing improvements: use declarations,George Karpenkov2018-09-151-1/+4
* [analyzer] Memoize complexity of SymExprMikhail R. Gadelha2018-07-191-7/+0
* [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-03-061-14/+23
* [analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctlyGabor Horvath2017-10-191-3/+9
* [analyzer] Print type for SymbolRegionValues when dumping to streamDominic Chen2016-12-051-1/+2
* [analyzer] Add LocationContext information to SymbolMetadata.Artem Dergachev2016-08-171-3/+4
* Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r2591...Yaron Keren2016-01-291-1/+1
* [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev2016-01-131-18/+18
* [analyzer] Fix symbolic element index lifetime.Artem Dergachev2015-12-101-0/+12
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-6/+6
* Wdeprecated: CollectReachableSymbolsCallback are move constructed/returned by...David Blaikie2015-08-131-2/+0
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-3/+3
* Use llvm::DeleteContainerSeconds when possibleReid Kleckner2014-02-191-5/+1
* [analyzer] Add support for testing the presence of weak functions.Jordan Rose2013-08-281-0/+3
* Use pop_back_val() instead of both back() and pop_back().Robert Wilhelm2013-08-231-2/+1
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-2/+2
* [analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead.Anna Zaks2013-03-151-3/+1
* [analyzer] Include opcode in dumping a SymSymExpr.Jordan Rose2013-03-151-34/+15
* [analyzer] Run remove dead on end of path.Anna Zaks2012-11-031-1/+11
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-5/+6
* Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadB...Jordan Rose2012-09-251-6/+2
* [analyzer] Calculate liveness for symbolic exprs as well as atomic symbols.Jordan Rose2012-09-251-28/+40
* Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi...Jordan Rose2012-09-201-2/+6
* [analyzer] Remove constraints on dead symbols as part of removeDeadBindings.Jordan Rose2012-09-081-6/+2
* Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose2012-09-051-0/+3
* [analyzer] Treat all struct values as regions (even rvalues).Jordan Rose2012-09-011-3/+0
* Fix undefined behavior: member function calls where 'this' is a null pointer.Richard Smith2012-08-231-2/+2
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-5/+5
* [analyzer] Add a complexity bound on history tracking.Anna Zaks2012-05-031-0/+7
* [analyzer] Run remove dead bindings right before leaving a function.Anna Zaks2012-04-201-0/+7
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-3/+4
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-1/+10
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+4
* [analyzer] Introduce IntSymExpr, where the integer is on the lhs.Anna Zaks2011-12-101-13/+49
* [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks2011-12-061-0/+48
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-0/+22
* Remove AnalysisContext::getLiveVariables(), and introduce a templatized mecha...Ted Kremenek2011-10-071-4/+2
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-1/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-1/+1
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-21/+21
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-2/+2
* Optimizations for Dependent Symbol tracking (as per Ted's code review for r13...Anna Zaks2011-08-121-8/+27
* Analyzer Core: Adding support for user-defined symbol dependencies. (For exam...Anna Zaks2011-08-111-1/+30
* [analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek2011-08-061-5/+12
* [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek2011-07-281-5/+28
OpenPOWER on IntegriCloud