summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
Commit message (Expand)AuthorAgeFilesLines
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] [NFC] Some miscellaneous clean ups and documentation fixes.George Karpenkov2018-11-301-2/+2
* [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov2018-09-281-2/+1
* [analyzer] Remove the "postponed" hack, deal with derived symbols using an ex...George Karpenkov2018-09-071-0/+2
* Remove trailing spaceFangrui Song2018-07-301-8/+8
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-2/+2
* [analyzer] pr18953: Split C++ zero-initialization from default initialization.Artem Dergachev2018-05-041-1/+9
* [analyzer] NFC: Remove unused parameteer of StoreManager::CastRetrievedVal().Artem Dergachev2018-05-041-2/+2
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-03-021-20/+35
* Updated two annotations for Store.h and CodeGenFunction.h.Krasimir Georgiev2017-09-081-5/+5
* [analyzer] Enforce super-region classes for various memory regions.Artem Dergachev2017-04-131-3/+4
* [analyzer] Extend taint propagation and checking to support LazyCompoundValAnna Zaks2017-03-091-0/+24
* [analyzer] Model base to derived casts more precisely.Gabor Horvath2016-08-081-2/+5
* [NFC] Header cleanupMehdi Amini2016-07-181-1/+0
* Roll-back r250822.Angel Garcia Gomez2015-10-201-1/+1
* Apply modernize-use-default to clang.Angel Garcia Gomez2015-10-201-1/+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
* Removing LLVM_EXPLICIT, as MSVC 2012 was the last reason for requiring the ma...Aaron Ballman2015-02-151-1/+1
* unique_ptrify the result of ConstraintManagerCreator and StoreManagerCreatorDavid Blaikie2014-09-041-2/+4
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* [C++11] Use 'nullptr'Craig Topper2014-05-061-1/+2
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-1/+1
* [analyzer] This patch removes passing around of const-invalidation vs regular...Anton Yartsev2013-09-241-11/+4
* [analyzer] Use the expression’s type instead of region’s type in ArrayToP...Anna Zaks2013-05-281-1/+1
* Use only explicit bool conversion operatorDavid Blaikie2013-05-151-1/+1
* [analyzer] Remove now-unused bindCompoundLiteral helper function.Jordan Rose2013-05-061-15/+0
* [analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks2013-04-021-12/+22
* [analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks2013-03-281-0/+3
* [analyzer] Invalidate regions indirectly accessible through const pointers.Jordan Rose2013-03-201-0/+1
* [analyzer] Record whether a base object region represents a virtual base.Jordan Rose2013-02-211-1/+2
* [analyzer] Add the pointer escaped callback.Anna Zaks2012-12-201-1/+2
* Sort #include lines for all files under include/...Chandler Carruth2012-12-041-1/+1
* [analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.Jordan Rose2012-10-031-5/+9
* Fix an assortment of doxygen comment issues found by -Wdocumentation.Ted Kremenek2012-08-221-5/+3
* Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek2012-08-221-1/+7
* Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek2012-08-221-4/+0
* Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' andTed Kremenek2012-08-221-7/+14
* [analyzer] Remove unused StoreManager::CastResult class.Jordan Rose2012-08-101-9/+0
* [analyzer] Devirtualize StoreManager::evalDerivedToBase(SVal, CastExpr)Jordan Rose2012-08-091-1/+1
* [analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.Jordan Rose2012-08-091-1/+4
* [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose2012-08-081-24/+7
* [analyzer] Use CallEvent for building inlined stack frames.Jordan Rose2012-07-101-3/+3
* [analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose2012-07-021-2/+2
* Documentation cleanup: making \param docs match the code.James Dennett2012-06-221-8/+7
* [analyzer] Add support for C++ dynamic_cast.Anna Zaks2012-04-101-3/+12
* [analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks2012-03-211-0/+15
* [analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek2012-02-271-4/+0
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-0/+1
* StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer2012-01-281-3/+1