aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BasicStore.cpp
AgeCommit message (Expand)Author
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