1. 79649df Added support to dataflow solver to (when requested) also record dataflow by Ted Kremenek · 17 years ago
  2. 4e99a5f Added method Expr::IgnoreParens(), which returns the first non-ParenExpr Expr*. by Ted Kremenek · 17 years ago
  3. e00fe3f Added some experimental optimizations to remove dead values from the state. by Ted Kremenek · 17 years ago
  4. e3d7c24 Changed sorting criteria for DSPtr to put sub-expressions first in the value by Ted Kremenek · 17 years ago
  5. b3d2dca Changed sorting criteria for DSPtr to sort Decl* before Expr*, and by Ted Kremenek · 17 years ago
  6. ca3e857 IntegerLiterals are no longer evaluated to create separate nodes; their by Ted Kremenek · 17 years ago
  7. 95b3f6f Fixed bug where we performed addition instead of subtraction during by Ted Kremenek · 17 years ago
  8. aa66a32 Added initial graph visualization support for the GRConstants analysis. by Ted Kremenek · 17 years ago
  9. 0525a4f Added support from retrieving stored values to variables. by Ted Kremenek · 17 years ago
  10. 1ccd31c Added support for assignments in GRConstants. by Ted Kremenek · 17 years ago
  11. 22f0d97 Fixed bug where GRConstants::AddBindings() did not check for values by Ted Kremenek · 17 years ago
  12. ee98546 Hooked up the GRConstants analysis to the driver. by Ted Kremenek · 17 years ago
  13. 3c6c672 More cleanups in DoStmt. The NodeSets are now vectors instead of sets, since by Ted Kremenek · 17 years ago
  14. 9849185 Adjusted DSPtr::Profile method again, since my last patch broke the build. by Ted Kremenek · 17 years ago
  15. ed371ce Changed 'Profile' method for DSPtr to incorporate the flags from the by Ted Kremenek · 17 years ago
  16. cb448ca Renamed some internal classes for the GR-Constant Propagation analysis. by Ted Kremenek · 17 years ago
  17. d27f816 Added skeleton implementation of new constant-prop. analysis using by Ted Kremenek · 17 years ago