1. 11de5cb Updated header file inlcude to new location of by Ted Kremenek · 17 years ago
  2. b297754 More refactoring: decl and expr regisitration now uses CFGRecStmtDeclVisitor. by Ted Kremenek · 17 years ago
  3. 59d1827 Minor performance fix in transfer function logic. Previously we by Ted Kremenek · 17 years ago
  4. 43a1698 More refactoring and code reduction. by Ted Kremenek · 17 years ago
  5. 294a7c9 Add overloaded versions of DataflowSolver::runOnBlock to simplify by Ted Kremenek · 17 years ago
  6. a90b0d1 Added member template CFG::VisitBlockStmts to provide a succinct way by Ted Kremenek · 17 years ago
  7. 105bfee Modified DataFlowValues and DataflowSolver to associate dataflow value by Ted Kremenek · 17 years ago
  8. 2a9d82a Bug fix to merging of data flow values (merge incorrectly made values by Ted Kremenek · 17 years ago
  9. 599e29c Renamed file due to mispelling. by Ted Kremenek · 17 years ago[Renamed from Analysis/UnintializedValues.cpp]
  10. 2bf5514 UninitialuzedValues now only tracks BlockVarDecls; obviating false positives with by Ted Kremenek · 17 years ago
  11. cd5860c More progress on UnitializedValues checker. We now have preliminary support by Ted Kremenek · 17 years ago
  12. 20ee4fb Split tracking of unitialized values for Decls and CFGBlock-level expressions. by Ted Kremenek · 17 years ago
  13. 56d516d Removed "ObserverTy" from core DataflowValues types. The observer by Ted Kremenek · 17 years ago
  14. 13ed7fe Prototype implementation of new template-based dataflow solver. by Ted Kremenek · 17 years ago