Age | Commit message (Expand) | Author |
---|---|---|
2008-09-03 | Store: (static analyzer) | Ted Kremenek |
2008-08-29 | Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. | Ted Kremenek |
2008-08-28 | Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St... | Ted Kremenek |
2008-08-28 | Make store "Regions" and "Bindings" more abstract instead of concrete variants. | Ted Kremenek |
2008-08-25 | Added 'extents' for Regions. | Ted Kremenek |
2008-08-23 | Simplify interface to Store::AddDecl | Ted Kremenek |
2008-08-21 | Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. | Zhongxing Xu |
2008-08-19 | Move store pretty-printing logic inside of StoreManager (previously in GRState). | Ted Kremenek |
2008-08-19 | Patch by Zhongxing Xu! | Ted Kremenek |
2008-07-17 | Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual Remov... | Ted Kremenek |
2008-07-10 | Refactored most of the "Store" piece of ValueState into a Store type. The | Ted Kremenek |