aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/Store.h
AgeCommit message (Expand)Author
2009-11-16* Do the same thing to the basicstore as in r84163.Zhongxing Xu
2009-11-12Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal.Zhongxing Xu
2009-11-04Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,...Ted Kremenek
2009-10-16retain/release checker: Stop tracking reference counts for any symbols touche...Ted Kremenek
2009-10-14Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion.Zhongxing Xu
2009-10-14* Remove unused GRState* parameterZhongxing Xu
2009-10-13Return the original state by default.Zhongxing Xu
2009-10-13Add an initial implementation of EnterStackFrame() to the StoreManager.Zhongxing Xu
2009-10-09Remove unused code.Zhongxing Xu
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-25Fix crash reported in <rdar://problem/7124210> by "back-porting" some of theTed Kremenek
2009-08-21Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.Ted Kremenek
2009-08-21Add LocationContext* field to VarRegion. This is needed for interprocedural ...Ted Kremenek
2009-08-17To make the analysis independent on the locally stored liveness and cfgZhongxing Xu
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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-09-03 13:00:55 +0000