aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/Store.h
AgeCommit message (Expand)Author
2009-08-02Remove RegionViews and RegionCasts. These are no longer used.Ted Kremenek
2009-08-02Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat...Ted Kremenek
2009-08-01This is a fairly large patch, which resulted from a cascade of changesTed Kremenek
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-29Make StoreManager::InvalidateRegion() virtual, move the current implementationTed Kremenek
2009-07-21Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek
2009-07-14Instead of recovering from a wrong invalidation, this patch aims to Zhongxing Xu
2009-07-10Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek
2009-07-06Unbreak build by including header.Ted Kremenek
2009-07-06Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek
2009-07-06Move the new 'CastRegion' implementation from RegionStoreManager to StoreManagerTed Kremenek
2009-07-06Further cleanup of region invalidation code. No functionality change.Zhongxing Xu
2009-07-06Start to gradually move region invalidation code into store manager.Zhongxing Xu
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-24Remove uses of std::ostream from libAnalysis.Ted Kremenek
2009-06-17Start moving in the direction of removing GRStateRef. Now eachTed Kremenek
2009-06-16RegionStoreManager:Ted Kremenek
2009-05-20* API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu
2009-05-12Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu
2009-05-06Make StoreManager::CastRegion() virtual and implement a new CastRegion() forZhongxing Xu
2009-05-04Per conversations with Zhongxing, add an 'element type' toTed Kremenek
2009-04-21Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'Ted Kremenek
2009-04-09- Move ownership of MemRegionManager into ValueManager.Ted Kremenek
2009-03-30Implement a FIXME.Zhongxing Xu
2009-03-05BasicStore:Ted Kremenek
2009-03-03Don't use std::auto_ptr with getSubRegionMap().Ted Kremenek
2009-03-03Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M...Ted Kremenek
2009-03-03Add StoreManager::getSubRegionMap(). This method returns an opaque mapping f...Ted Kremenek
2009-03-02Initial support for pointer arithmetic. Only support concrete indexes and Zhongxing Xu
2009-01-21Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek
2009-01-07Update some doxygen comments to be more rich. Remove StoreManager::GetRegion...Ted Kremenek
2009-01-07Refactor MemRegionManager instance variable into parent class. No functional...Ted Kremenek
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-13MemRegion:Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-12-05StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRStat...Ted Kremenek
2008-11-24Add support for AllocaRegion extent with GDM.Zhongxing Xu
2008-11-16Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu
2008-11-16Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu
2008-11-12StoreManager::BindDecl now takes an SVal* for the initialization value instea...Ted Kremenek
2008-11-08Add a boilerplate for out-of-bound array checking. This has no real function ...Zhongxing Xu
2008-11-07Join two lines.Zhongxing Xu
2008-11-07Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu
2008-10-29Rename: AddDecl => BindDeclZhongxing Xu
2008-10-27Added preliminary support for CompoundLiterals in the static analyzer:Ted Kremenek
2008-10-25Add code for get the lvalue for string literals. Now we return a StringRegionZhongxing Xu
2008-10-24Added method "getSelfRegion" to Store. This method returns the region associ...Ted Kremenek
2008-10-24Make the analyzer store (memory model) a command line option.Ted Kremenek
2008-10-23Let StoreManager do different cast on arrays. BasicStore will just keep it in...Zhongxing Xu
2008-10-22Adjust parameter order to more natural one.Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-01 13:04:14 +0000