Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 36f07d8c36fad7b71488d5ba147b472d779b37f0 / Analysis
  1. 6fe8b27 Add a new Rewriter::getRangeSize method. by Chris Lattner · 17 years ago
  2. 2fd1c65 move IdentifierTable.h from liblex to libbasic. by Chris Lattner · 17 years ago
  3. 8ce772b Migrated LiveVariables and UninitializedVariables to now use the by Ted Kremenek · 17 years ago
  4. 83a6ba1 Fixed bug where assignments to variables wrapped in parentheses would not by Ted Kremenek · 17 years ago
  5. f87111b Fixed UninitializedValues to properly propagate uninitialized "taint" by Ted Kremenek · 17 years ago
  6. 4f20054 DeadStores no longer reports warnings for stores to non-local variables. by Ted Kremenek · 17 years ago
  7. eebf131 Significant cleanups and bug-fixes to LiveVariables. Uses new refactored by Ted Kremenek · 17 years ago
  8. 6b57649 Fixed several bugs in the propagation of "uninitialized value" by Ted Kremenek · 17 years ago
  9. bfbb7fb Created new "ExprDeclBitVector" type bundle for dataflow analyses that need boolean by Ted Kremenek · 17 years ago
  10. 10d8046 Moved "DataflowSolver.h" to the "include/" subtree. Adjusted client by Ted Kremenek · 17 years ago
  11. 7b33451 Comment formatting changes. No real content changes. by Ted Kremenek · 17 years ago
  12. ecc54af Minor comment changes. by Ted Kremenek · 17 years ago
  13. 2456192 Removed "EverKilled" class in DeadStores checker; it is no longer used. by Ted Kremenek · 17 years ago
  14. d7a2f81 Further refactored DataflowSolver. Now most code for the solver is shared by Ted Kremenek · 17 years ago
  15. 26e4746 Updated header file inlcude to new location of by Ted Kremenek · 17 years ago
  16. 2b60687 Updated VC++ project files. Disambiguated a variable. by Hartmut Kaiser · 17 years ago
  17. 1ff4115 More refactoring: decl and expr regisitration now uses CFGRecStmtDeclVisitor. by Ted Kremenek · 17 years ago
  18. 5b3036e DataflowSolver now acccepts an "_Equal" template parameter that allows the user by Ted Kremenek · 17 years ago
  19. 17aac83 Changed solver to use "==" operator when comparing dataflow values by Ted Kremenek · 17 years ago
  20. a1d3586 Minor performance fix in transfer function logic. Previously we by Ted Kremenek · 17 years ago
  21. f92ba51 More refactoring and code reduction. by Ted Kremenek · 17 years ago
  22. 3fa5e09 Add overloaded versions of DataflowSolver::runOnBlock to simplify by Ted Kremenek · 17 years ago
  23. 68447a6 Added member template CFG::VisitBlockStmts to provide a succinct way by Ted Kremenek · 17 years ago
  24. 2a20356 Moved TransferFunction object within DataflowSolver to be a instance by Ted Kremenek · 17 years ago
  25. 2e3e630 Modified DataFlowValues and DataflowSolver to associate dataflow value by Ted Kremenek · 17 years ago
  26. e6148f3 Bug fix to merging of data flow values (merge incorrectly made values by Ted Kremenek · 17 years ago
  27. a866f5d Renamed file due to mispelling. by Ted Kremenek · 17 years ago
  28. 0a03ce6 UninitialuzedValues now only tracks BlockVarDecls; obviating false positives with by Ted Kremenek · 17 years ago
  29. 3871d8e More progress on UnitializedValues checker. We now have preliminary support by Ted Kremenek · 17 years ago
  30. 334b30a Split tracking of unitialized values for Decls and CFGBlock-level expressions. by Ted Kremenek · 17 years ago
  31. 3e03975 Removed "ObserverTy" from core DataflowValues types. The observer by Ted Kremenek · 17 years ago
  32. 52332d0 switch the various CFG-based stuff over to using ASTConsumer interface, by Chris Lattner · 17 years ago
  33. e5c871a fix comment by Chris Lattner · 17 years ago
  34. 7f49f50 Prototype implementation of new template-based dataflow solver. by Ted Kremenek · 17 years ago
  35. 2591e1b by Steve Naroff · 17 years ago
  36. 409dfd1 make the sourcemgr available through ASTContext. by Chris Lattner · 17 years ago
  37. 45d8f0b Minor space tightening. by Ted Kremenek · 17 years ago
  38. cee54de Fixed recursion bug: should call Visit on child instead of VisitStmt. by Ted Kremenek · 17 years ago
  39. 00b6327 Migrated LiveVariables to use the new DataflowStmtVisitor interface. The code by Ted Kremenek · 17 years ago
  40. 1278929 For looking at "dead stores" in declarations, we now check to see by Ted Kremenek · 17 years ago
  41. c0c3d73 Fixed potential NULL dereference when iterating over a chain of Decls. by Ted Kremenek · 17 years ago
  42. 61ce98c get rid of ugly "warning: no newline at end of file" by Gabor Greif · 17 years ago
  43. 6b2b4e3 Fixed LiveVariables to no longer track the liveness of function pointers by Ted Kremenek · 17 years ago
  44. d1d8826 Renaming of the LiveVariablesAuditor interface. Changed "Auditor" and by Ted Kremenek · 17 years ago
  45. 42276bc Added more checking in "dead stores" for values that are initialized by Ted Kremenek · 17 years ago
  46. f63bda5 Minor bug fixes to corner cases where LiveVariables would crash on some CFGs by Ted Kremenek · 17 years ago
  47. e9646a0 Forgot to check in the actual "dead stores" checker in the last commit! by Ted Kremenek · 17 years ago
  48. e805c4a Added "Dead Stores", a flow-sensitive checker that checks for stores by Ted Kremenek · 17 years ago
  49. 0533468 LiveVariables: by Ted Kremenek · 17 years ago
  50. aa04c51 Added an early implementation of Live-Variables analysis built on by Ted Kremenek · 17 years ago