aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BasicStore.cpp
AgeCommit message (Expand)Author
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-21Use utility method.Zhongxing Xu
2008-12-21Use utility methods. No functional change.Zhongxing Xu
2008-12-21Remove unused function.Zhongxing Xu
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-13MemRegion:Ted Kremenek
2008-12-13A series of cleanups/fixes motivated by <rdar://problem/6442306>:Ted Kremenek
2008-12-09Fix to BasicStoreManager::getElementLValue: If the base region is a symbol, l...Ted Kremenek
2008-12-09Have BasicStoreManager::getLValueElement() have logic similar to BasicStoreMa...Ted Kremenek
2008-12-05StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRStat...Ted Kremenek
2008-12-04Update comment.Ted Kremenek
2008-11-28Use std::make_pair instead of std::pair's ctor.Zhongxing Xu
2008-11-24Migrate some stuff from NamedDecl::getName() to Chris Lattner
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-15Use the allocator of ExplodedGraph. The whole static analysis module uses it.Zhongxing Xu
2008-11-12StoreManager::BindDecl now takes an SVal* for the initialization value instea...Ted Kremenek
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-26Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu
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-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
2008-10-21Preliminary support for function overloadingDouglas Gregor
2008-10-21Localize the special processing of array variable inside Zhongxing Xu
2008-10-21Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.Zhongxing Xu
2008-10-17Hack: have BasicStore::getLValueElement return the "Base" lvalue. This resto...Ted Kremenek
2008-10-17- constify some uses of MemRegion* (MemRegion should be immutable).Ted Kremenek
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-17Array and struct variables do have lvalue. For example,Zhongxing Xu
2008-10-17Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi...Ted Kremenek
2008-10-17Add transfer function support for ObjCIvarRefExpr.Ted Kremenek
2008-10-16This is the first step to build a better evaluation model for GRExprEngine. AZhongxing Xu
2008-10-07Migrate MemRegionManager from StateManager to StoreManager.Zhongxing Xu
2008-10-05Remove redundant parameter and rename StMgr to StateMgr.Zhongxing Xu
2008-10-04This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek
2008-09-03Store: (static analyzer)Ted Kremenek
2008-08-29Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager.Ted Kremenek
2008-08-28Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St...Ted Kremenek
2008-08-28Make store "Regions" and "Bindings" more abstract instead of concrete variants.Ted Kremenek
2008-08-25Added 'extents' for Regions.Ted Kremenek
2008-08-23Simplify interface to Store::AddDeclTed Kremenek
2008-08-21Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu
2008-08-19Move store pretty-printing logic inside of StoreManager (previously in GRState).Ted Kremenek
2008-08-19Patch by Zhongxing Xu!Ted Kremenek
2008-07-17Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual Remov...Ted Kremenek
2008-07-10Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-05 18:46:37 +0000