aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/Store.cpp
AgeCommit message (Expand)Author
2013-04-22[analyzer] Treat reinterpret_cast like a base cast in certain cases.Jordan Rose
2013-02-21[analyzer] Record whether a base object region represents a virtual base.Jordan Rose
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-15[analyzer] Don't assert when mixing reinterpret_cast and derived-to-base casts.Jordan Rose
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-10-03[analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.Jordan Rose
2012-08-09[analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.Jordan Rose
2012-08-08[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose
2012-07-31[analyzer] Let CallEvent decide what goes in an inital stack frame.Jordan Rose
2012-07-30[analyzer] Very simple ObjC instance method inliningAnna Zaks
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-10[analyzer] Construct stack variables directly in their VarDecl.Jordan Rose
2012-07-10[analyzer] Use CallEvent for building inlined stack frames.Jordan Rose
2012-03-21[analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks
2012-02-28[analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek
2012-01-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-12[analyzer] fix inlining's handling of mapping actual to formal arguments and ...Ted Kremenek
2012-01-04[analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-12-15[analyzer] Address Jordy's comments for r145985.Anna Zaks
2011-12-06[analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks
2011-09-23Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-07-28Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek
2011-03-01Improves the coding style in SValBuilder. This patch:Zhanyong Wan
2011-02-19[analyzer] Fix crash when analyzing C++ code.Argyrios Kyrtzidis
2011-02-19Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control...Ted Kremenek
2011-02-11Rename 'InvalidateRegions()' to 'invalidateRegions()'.Ted Kremenek
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis