1. 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 17 years ago
  2. 43d0ffd remove unused var by Nuno Lopes · 17 years ago
  3. d493163 GRStateRef: - Rename SetSVal to BindLoc - Add BindDecl - Add BindExpr by Ted Kremenek · 17 years ago
  4. 8cd5aae Rename: by Zhongxing Xu · 17 years ago
  5. 6eec8e8 Rename ExplicitCCastExpr to CStyleCastExpr by Douglas Gregor · 17 years ago
  6. 49badde Refactor the expression class hierarchy for casts. Most importantly: by Douglas Gregor · 17 years ago
  7. 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 17 years ago
  8. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  9. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 17 years ago
  10. a950fe2 Modify comments. by Zhongxing Xu · 17 years ago
  11. df9cdf8 Patch by Zhongxing Xu: by Ted Kremenek · 17 years ago
  12. 0835a3c Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastExpr and ExplicitCastExpr derive from a common base class (CastExpr): by Argyrios Kyrtzidis · 17 years ago
  13. d72ee90 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 17 years ago
  14. 8133a26 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 17 years ago