summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/BasicStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu2008-11-161-3/+3
* Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu2008-11-161-0/+6
* Use the allocator of ExplodedGraph. The whole static analysis module uses it.Zhongxing Xu2008-11-151-1/+4
* StoreManager::BindDecl now takes an SVal* for the initialization value instea...Ted Kremenek2008-11-121-19/+8
* Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu2008-11-071-3/+10
* Rename: AddDecl => BindDeclZhongxing Xu2008-10-291-6/+4
* Added preliminary support for CompoundLiterals in the static analyzer:Ted Kremenek2008-10-271-0/+5
* Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu2008-10-261-5/+0
* Add code for get the lvalue for string literals. Now we return a StringRegionZhongxing Xu2008-10-251-0/+6
* Added method "getSelfRegion" to Store. This method returns the region associ...Ted Kremenek2008-10-241-21/+41
* Let StoreManager do different cast on arrays. BasicStore will just keep it in...Zhongxing Xu2008-10-231-0/+2
* Adjust parameter order to more natural one.Zhongxing Xu2008-10-221-3/+3
* Preliminary support for function overloadingDouglas Gregor2008-10-211-2/+2
* Localize the special processing of array variable inside Zhongxing Xu2008-10-211-0/+1
* Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.Zhongxing Xu2008-10-211-11/+11
* Hack: have BasicStore::getLValueElement return the "Base" lvalue. This resto...Ted Kremenek2008-10-171-15/+28
* - constify some uses of MemRegion* (MemRegion should be immutable).Ted Kremenek2008-10-171-5/+39
* This patch did the following renaming. There should be no functional changes.Zhongxing Xu2008-10-171-61/+61
* Array and struct variables do have lvalue. For example,Zhongxing Xu2008-10-171-2/+0
* Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi...Ted Kremenek2008-10-171-41/+25
* Add transfer function support for ObjCIvarRefExpr.Ted Kremenek2008-10-171-0/+6
* This is the first step to build a better evaluation model for GRExprEngine. AZhongxing Xu2008-10-161-0/+32
* Migrate MemRegionManager from StateManager to StoreManager.Zhongxing Xu2008-10-071-10/+18
* Remove redundant parameter and rename StMgr to StateMgr.Zhongxing Xu2008-10-051-14/+14
* This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek2008-10-041-140/+62
* Store: (static analyzer)Ted Kremenek2008-09-031-28/+88
* Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager.Ted Kremenek2008-08-291-0/+34
* Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St...Ted Kremenek2008-08-281-1/+0
* Make store "Regions" and "Bindings" more abstract instead of concrete variants.Ted Kremenek2008-08-281-12/+22
* Added 'extents' for Regions.Ted Kremenek2008-08-251-26/+17
* Simplify interface to Store::AddDeclTed Kremenek2008-08-231-5/+9
* Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu2008-08-211-1/+68
* Move store pretty-printing logic inside of StoreManager (previously in GRState).Ted Kremenek2008-08-191-1/+22
* Patch by Zhongxing Xu!Ted Kremenek2008-08-191-3/+37
* Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual Remov...Ted Kremenek2008-07-171-17/+78
* Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek2008-07-101-0/+141
OpenPOWER on IntegriCloud