aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
AgeCommit message (Expand)Author
2013-04-02[analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2013-03-20[analyzer] Invalidate regions indirectly accessible through const pointers.Jordan Rose
2013-02-21[analyzer] Record whether a base object region represents a virtual base.Jordan Rose
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-10-03[analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.Jordan Rose
2012-08-22Fix an assortment of doxygen comment issues found by -Wdocumentation.Ted Kremenek
2012-08-22Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek
2012-08-22Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek
2012-08-22Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' andTed Kremenek
2012-08-10[analyzer] Remove unused StoreManager::CastResult class.Jordan Rose
2012-08-09[analyzer] Devirtualize StoreManager::evalDerivedToBase(SVal, CastExpr)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-10[analyzer] Use CallEvent for building inlined stack frames.Jordan Rose
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose
2012-06-22Documentation cleanup: making \param docs match the code.James Dennett
2012-04-10[analyzer] Add support for C++ dynamic_cast.Anna Zaks
2012-03-21[analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks
2012-02-27[analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...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-12[analyzer] Rename Store::Retrieve() -> getBinding().Anna Zaks
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-08-27[analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose
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-08-06[analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek
2011-07-28[analyzer] Add StoreManager::includedInBindings() to to query whether a regio...Ted Kremenek
2011-07-20add raw_ostream and Twine to LLVM.h, eliminating a ton of llvm:: qualifications.Chris Lattner
2011-07-20now that we have a centralized place to do so, add some using declarations forChris Lattner
2011-05-02Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek
2011-03-08static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...Ted Kremenek
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