1. 7a9d49f Mega-patch: ripped SourceManager out of Diagnostic/DiagnosticClient. Now by Ted Kremenek · 17 years ago
  2. 3907323 GCC has an extension where the left hand side of the ? : operator can be omitted. Handle this in a few more places. by Anders Carlsson · 17 years ago
  3. ff7c538 Fixed bogus culling of uninitialized-values "taint" propagation during assignments. by Ted Kremenek · 17 years ago
  4. 9f9141c Updated CFGStmtVisitor and CFGRecStmtVisitor to have a notion of by Ted Kremenek · 17 years ago
  5. 311ff02 Add a new Rewriter::getRangeSize method. by Chris Lattner · 17 years ago
  6. 11e7218 Migrated LiveVariables and UninitializedVariables to now use the by Ted Kremenek · 17 years ago
  7. 6ce2b63 Fixed UninitializedValues to properly propagate uninitialized "taint" by Ted Kremenek · 17 years ago
  8. a1de8c7 Fixed several bugs in the propagation of "uninitialized value" by Ted Kremenek · 17 years ago
  9. aead153 Created new "ExprDeclBitVector" type bundle for dataflow analyses that need boolean by Ted Kremenek · 17 years ago
  10. 1de632b Moved "DataflowSolver.h" to the "include/" subtree. Adjusted client by Ted Kremenek · 17 years ago
  11. 11de5cb Updated header file inlcude to new location of by Ted Kremenek · 17 years ago
  12. b297754 More refactoring: decl and expr regisitration now uses CFGRecStmtDeclVisitor. by Ted Kremenek · 17 years ago
  13. 59d1827 Minor performance fix in transfer function logic. Previously we by Ted Kremenek · 17 years ago
  14. 43a1698 More refactoring and code reduction. by Ted Kremenek · 17 years ago
  15. 294a7c9 Add overloaded versions of DataflowSolver::runOnBlock to simplify by Ted Kremenek · 17 years ago
  16. a90b0d1 Added member template CFG::VisitBlockStmts to provide a succinct way by Ted Kremenek · 17 years ago
  17. 105bfee Modified DataFlowValues and DataflowSolver to associate dataflow value by Ted Kremenek · 17 years ago
  18. 2a9d82a Bug fix to merging of data flow values (merge incorrectly made values by Ted Kremenek · 17 years ago
  19. 599e29c Renamed file due to mispelling. by Ted Kremenek · 17 years ago[Renamed from Analysis/UnintializedValues.cpp]
  20. 2bf5514 UninitialuzedValues now only tracks BlockVarDecls; obviating false positives with by Ted Kremenek · 17 years ago
  21. cd5860c More progress on UnitializedValues checker. We now have preliminary support by Ted Kremenek · 17 years ago
  22. 20ee4fb Split tracking of unitialized values for Decls and CFGBlock-level expressions. by Ted Kremenek · 17 years ago
  23. 56d516d Removed "ObserverTy" from core DataflowValues types. The observer by Ted Kremenek · 17 years ago
  24. 13ed7fe Prototype implementation of new template-based dataflow solver. by Ted Kremenek · 17 years ago