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