summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
Commit message (Expand)AuthorAgeFilesLines
* StaticAnalyzer: Modularize/fix ODR violations making functions inline but non...David Blaikie2017-10-271-7/+0
* [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.hGeorge Karpenkov2017-09-061-1/+1
* [analyzer] Add numerous assertions to SVal, SymExpr, and MemRegion classes.Artem Dergachev2017-04-131-13/+51
* [analyzer] Add LocationContext information to SymbolMetadata.Artem Dergachev2016-08-171-6/+12
* [analyzer] Implement a methond to discover origin region of a symbol.Artem Dergachev2016-07-131-0/+2
* [StaticAnalyzer] Pull SymExpr and SymbolData into its own header to avoid cyc...Benjamin Kramer2016-02-021-82/+2
* [analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion, v2.Artem Dergachev2016-01-151-13/+3
* Revert "[analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion."Artem Dergachev2016-01-131-3/+14
* [analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion.Artem Dergachev2016-01-131-14/+3
* [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev2016-01-131-39/+45
* [analyzer] Fix symbolic element index lifetime.Artem Dergachev2015-12-101-0/+1
* Roll-back r250822.Angel Garcia Gomez2015-10-201-2/+2
* Apply modernize-use-default to clang.Angel Garcia Gomez2015-10-201-2/+2
* Follow up r244975: The ctors of an abstract class don't need to be protected ...David Blaikie2015-08-131-2/+3
* Wdeprecated: CollectReachableSymbolsCallback are move constructed/returned by...David Blaikie2015-08-131-1/+6
* 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-2/+0
* Use 'override/final' instead of 'virtual' for overridden methodsAlexander Kornienko2015-04-111-1/+1
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* [C++11] Use 'nullptr'Craig Topper2014-05-061-5/+5
* [Allocator] Remove forward declarations of BumpPtrAllocator. TheseChandler Carruth2014-03-301-4/+1
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-26/+26
* [analyzer] Factor common code from {SymSym,SymInt,IntSym}Expr to BinarySymExprRyan Govostes2013-04-111-31/+36
* Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko2013-01-121-1/+1
* Sort #include lines for all files under include/...Chandler Carruth2012-12-041-3/+3
* [analyzer] Run remove dead on end of path.Anna Zaks2012-11-031-2/+4
* Remove pointless classof()'s.Sean Silva2012-10-111-3/+0
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-11/+11
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-12/+11
* static analyzer: add inlining support for directly called blocks.Ted Kremenek2012-06-011-2/+3
* [analyzer] Add a complexity bound on history tracking.Anna Zaks2012-05-031-0/+2
* Fix some doxycomments using \class instead of \brief.David Blaikie2012-05-021-1/+1
* [analyzer] Run remove dead bindings right before leaving a function.Anna Zaks2012-04-201-0/+6
* [analyzer] Remove unused method.Anna Zaks2012-04-201-1/+0
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-6/+16
* Remove extraneous ';'.Bill Wendling2012-01-231-1/+1
* [analyzer] Cleanup of Symbol dump methods.Anna Zaks2012-01-201-12/+12
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-1/+1
* Delete stray semicolon.Eli Friedman2011-12-221-1/+1
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-1/+2
* [analyzer]Fixup r146336.Anna Zaks2011-12-101-1/+46
* [analyzer] If memory region is tainted mark data as tainted.Anna Zaks2011-12-081-1/+1
* [analyzer] Add comments related to symbol_iteratorAnna Zaks2011-12-061-1/+5
* [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks2011-12-061-0/+20
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-1/+40
* [analyzer] First step toward removingAnna Zaks2011-12-051-5/+9
* 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-33/+33
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-11/+11