summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/Store.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-7/+7
* [analyzer] Refactor and cleanup IsCompleteTypeAnna Zaks2014-10-031-12/+1
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-5/+5
* Fix static analyzer crash when casting from an incomplete typePavel Labath2013-06-201-1/+4
* [analyzer] Treat reinterpret_cast like a base cast in certain cases.Jordan Rose2013-04-221-34/+54
* [analyzer] Record whether a base object region represents a virtual base.Jordan Rose2013-02-211-4/+7
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-3/+2
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-11/+14
* [analyzer] Don't assert when mixing reinterpret_cast and derived-to-base casts.Jordan Rose2013-02-151-0/+25
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-3/+3
* [analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.Jordan Rose2012-10-031-0/+86
* [analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.Jordan Rose2012-08-091-0/+11
* [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose2012-08-081-3/+0
* [analyzer] Let CallEvent decide what goes in an inital stack frame.Jordan Rose2012-07-311-28/+6
* [analyzer] Very simple ObjC instance method inliningAnna Zaks2012-07-301-0/+7
* [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose2012-07-261-1/+1
* [analyzer] Construct stack variables directly in their VarDecl.Jordan Rose2012-07-101-1/+1
* [analyzer] Use CallEvent for building inlined stack frames.Jordan Rose2012-07-101-4/+31
* [analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks2012-03-211-0/+18
* [analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek2012-02-281-0/+1
* StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer2012-01-281-0/+5
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-1/+1
* [analyzer] fix inlining's handling of mapping actual to formal arguments and ...Ted Kremenek2012-01-121-1/+2
* [analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks2012-01-041-2/+4
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+2
* [analyzer] Address Jordy's comments for r145985.Anna Zaks2011-12-151-1/+0
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-7/+3
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-3/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-3/+3
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-3/+3
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-2/+2
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-3/+3
* Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek2011-07-281-0/+3
* Improves the coding style in SValBuilder. This patch:Zhanyong Wan2011-03-011-2/+2
* [analyzer] Fix crash when analyzing C++ code.Argyrios Kyrtzidis2011-02-191-1/+1
* Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control...Ted Kremenek2011-02-191-3/+7
* Rename 'InvalidateRegions()' to 'invalidateRegions()'.Ted Kremenek2011-02-111-1/+1
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-2/+2
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+334
OpenPOWER on IntegriCloud