1. bd03f1d Some additional cleanups with method names. by Ted Kremenek · 17 years ago
  2. 5c1e262 Implemented transfer function for '/='. by Ted Kremenek · 17 years ago
  3. cc1c365 Further refactoring of transfer functions by having APSIntSetOp take by Ted Kremenek · 17 years ago
  4. 5ee4ff8 Renamed RValueDisjunctiveEqual to RValEqualityORSet. by Ted Kremenek · 17 years ago
  5. ef20c11 Fixed 80 col. violation. by Ted Kremenek · 17 years ago
  6. 2cd65c8 Renamed RValueMayEqualSet to RValueDisjunctiveEqual. by Ted Kremenek · 17 years ago
  7. f13794e Some minor restructuring around LValue and RValue types. The value "kind" by Ted Kremenek · 17 years ago
  8. 565256e enum value name change. by Ted Kremenek · 17 years ago
  9. 9ff731d More cleanups to pretty-printing of states in GraphViz output. by Ted Kremenek · 17 years ago
  10. 9de04c4 Added transfer function for DeclStmt. by Ted Kremenek · 17 years ago
  11. 5c1b996 Adjusted storage of values for Stmt* so that we need only query if by Ted Kremenek · 17 years ago
  12. daadf45 Fixed a bug where the values of block-level expressions were being recorded in by Ted Kremenek · 17 years ago
  13. e0cf9c8 Minor tweaks in the transfer functions for pre- and post- ++/-- where by Ted Kremenek · 17 years ago
  14. dacbb4f Added support for unary operator '-' for equality sets. by Ted Kremenek · 17 years ago
  15. 7b8009a Added transfer functions for pre- and post- increment/decrement operators. by Ted Kremenek · 17 years ago
  16. 874d63f Added passing "ASTContext" to both GREngine and GRConstants. by Ted Kremenek · 17 years ago
  17. 671c9e8 Minor tweak in GetValue to avoid an extra check for ParenExprs. by Ted Kremenek · 17 years ago
  18. 2eafd0e Implemented value tracking support for '*' and '*='. by Ted Kremenek · 17 years ago
  19. b4ae33f Implemented value tracking support for '+=' and '-='. by Ted Kremenek · 17 years ago
  20. 8cc09d5 Removed extra GraphViz node attributes for GRConstants, as some of them were by Ted Kremenek · 17 years ago
  21. 803c9ed some prettying of the GraphViz visualization of GRConstants analysis results. by Ted Kremenek · 17 years ago
  22. ab2b8c5 Major "architectural" changes to the GRConstants analysis. We now reason about by Ted Kremenek · 17 years ago
  23. f84469b Fixed bug in 'GetBinding' when doing the lookup of stored values. We now by Ted Kremenek · 17 years ago
  24. 79649df Added support to dataflow solver to (when requested) also record dataflow by Ted Kremenek · 17 years ago
  25. 4e99a5f Added method Expr::IgnoreParens(), which returns the first non-ParenExpr Expr*. by Ted Kremenek · 17 years ago
  26. e00fe3f Added some experimental optimizations to remove dead values from the state. by Ted Kremenek · 17 years ago
  27. e3d7c24 Changed sorting criteria for DSPtr to put sub-expressions first in the value by Ted Kremenek · 17 years ago
  28. b3d2dca Changed sorting criteria for DSPtr to sort Decl* before Expr*, and by Ted Kremenek · 17 years ago
  29. ca3e857 IntegerLiterals are no longer evaluated to create separate nodes; their by Ted Kremenek · 17 years ago
  30. 95b3f6f Fixed bug where we performed addition instead of subtraction during by Ted Kremenek · 17 years ago
  31. aa66a32 Added initial graph visualization support for the GRConstants analysis. by Ted Kremenek · 17 years ago
  32. 0525a4f Added support from retrieving stored values to variables. by Ted Kremenek · 17 years ago
  33. 1ccd31c Added support for assignments in GRConstants. by Ted Kremenek · 17 years ago
  34. 22f0d97 Fixed bug where GRConstants::AddBindings() did not check for values by Ted Kremenek · 17 years ago
  35. ee98546 Hooked up the GRConstants analysis to the driver. by Ted Kremenek · 17 years ago
  36. 3c6c672 More cleanups in DoStmt. The NodeSets are now vectors instead of sets, since by Ted Kremenek · 17 years ago
  37. 9849185 Adjusted DSPtr::Profile method again, since my last patch broke the build. by Ted Kremenek · 17 years ago
  38. ed371ce Changed 'Profile' method for DSPtr to incorporate the flags from the by Ted Kremenek · 17 years ago
  39. cb448ca Renamed some internal classes for the GR-Constant Propagation analysis. by Ted Kremenek · 17 years ago
  40. d27f816 Added skeleton implementation of new constant-prop. analysis using by Ted Kremenek · 17 years ago