1. 311ff02 Add a new Rewriter::getRangeSize method. by Chris Lattner · 17 years ago
  2. c7229c3 move IdentifierTable.h from liblex to libbasic. by Chris Lattner · 17 years ago
  3. 11e7218 Migrated LiveVariables and UninitializedVariables to now use the by Ted Kremenek · 17 years ago
  4. bcb07d5 Fixed bug where assignments to variables wrapped in parentheses would not by Ted Kremenek · 17 years ago
  5. 6ce2b63 Fixed UninitializedValues to properly propagate uninitialized "taint" by Ted Kremenek · 17 years ago
  6. c6a1faf DeadStores no longer reports warnings for stores to non-local variables. by Ted Kremenek · 17 years ago
  7. f63aa45 Significant cleanups and bug-fixes to LiveVariables. Uses new refactored 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. e88f683 Comment formatting changes. No real content changes. by Ted Kremenek · 17 years ago
  12. 6179aaf Minor comment changes. by Ted Kremenek · 17 years ago
  13. 4cd8b3c Removed "EverKilled" class in DeadStores checker; it is no longer used. by Ted Kremenek · 17 years ago
  14. fdd225e Further refactored DataflowSolver. Now most code for the solver is shared by Ted Kremenek · 17 years ago
  15. 11de5cb Updated header file inlcude to new location of by Ted Kremenek · 17 years ago
  16. 2367e63 Updated VC++ project files. Disambiguated a variable. by Hartmut Kaiser · 17 years ago
  17. b297754 More refactoring: decl and expr regisitration now uses CFGRecStmtDeclVisitor. by Ted Kremenek · 17 years ago
  18. fe1b1e6 DataflowSolver now acccepts an "_Equal" template parameter that allows the user by Ted Kremenek · 17 years ago
  19. 44e4026 Changed solver to use "==" operator when comparing dataflow values by Ted Kremenek · 17 years ago
  20. 59d1827 Minor performance fix in transfer function logic. Previously we by Ted Kremenek · 17 years ago
  21. 43a1698 More refactoring and code reduction. by Ted Kremenek · 17 years ago
  22. 294a7c9 Add overloaded versions of DataflowSolver::runOnBlock to simplify by Ted Kremenek · 17 years ago
  23. a90b0d1 Added member template CFG::VisitBlockStmts to provide a succinct way by Ted Kremenek · 17 years ago
  24. 8e28065 Moved TransferFunction object within DataflowSolver to be a instance by Ted Kremenek · 17 years ago
  25. 105bfee Modified DataFlowValues and DataflowSolver to associate dataflow value by Ted Kremenek · 17 years ago
  26. 2a9d82a Bug fix to merging of data flow values (merge incorrectly made values by Ted Kremenek · 17 years ago
  27. 599e29c Renamed file due to mispelling. by Ted Kremenek · 17 years ago
  28. 2bf5514 UninitialuzedValues now only tracks BlockVarDecls; obviating false positives with by Ted Kremenek · 17 years ago
  29. cd5860c More progress on UnitializedValues checker. We now have preliminary support by Ted Kremenek · 17 years ago
  30. 20ee4fb Split tracking of unitialized values for Decls and CFGBlock-level expressions. by Ted Kremenek · 17 years ago
  31. 56d516d Removed "ObserverTy" from core DataflowValues types. The observer by Ted Kremenek · 17 years ago
  32. c0508f9 switch the various CFG-based stuff over to using ASTConsumer interface, by Chris Lattner · 17 years ago
  33. 30df93b fix comment by Chris Lattner · 17 years ago
  34. 13ed7fe Prototype implementation of new template-based dataflow solver. by Ted Kremenek · 17 years ago
  35. 9474504 by Steve Naroff · 17 years ago
  36. b800dc2 make the sourcemgr available through ASTContext. by Chris Lattner · 17 years ago
  37. 97487a0 Minor space tightening. by Ted Kremenek · 17 years ago
  38. 37f9701 Fixed recursion bug: should call Visit on child instead of VisitStmt. by Ted Kremenek · 17 years ago
  39. f175805 Migrated LiveVariables to use the new DataflowStmtVisitor interface. The code by Ted Kremenek · 17 years ago
  40. ce1cab9 For looking at "dead stores" in declarations, we now check to see by Ted Kremenek · 17 years ago
  41. a596533 Fixed potential NULL dereference when iterating over a chain of Decls. by Ted Kremenek · 17 years ago
  42. 8467583 get rid of ugly "warning: no newline at end of file" by Gabor Greif · 17 years ago
  43. c0576ca Fixed LiveVariables to no longer track the liveness of function pointers by Ted Kremenek · 17 years ago
  44. b00c95e Renaming of the LiveVariablesAuditor interface. Changed "Auditor" and by Ted Kremenek · 17 years ago
  45. 83522a3 Added more checking in "dead stores" for values that are initialized by Ted Kremenek · 17 years ago
  46. e2ca142 Minor bug fixes to corner cases where LiveVariables would crash on some CFGs by Ted Kremenek · 17 years ago
  47. 1ed6d2e Forgot to check in the actual "dead stores" checker in the last commit! by Ted Kremenek · 17 years ago
  48. 055c275 Added "Dead Stores", a flow-sensitive checker that checks for stores by Ted Kremenek · 17 years ago
  49. 27b07c5 LiveVariables: by Ted Kremenek · 17 years ago
  50. e4e6334 Added an early implementation of Live-Variables analysis built on by Ted Kremenek · 17 years ago