Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 9880ba94ca625952eeccd486bb22d0a659cbe00f / Analysis
  1. 016f52f Split off expression-bindings in ValueState from variable-bindings. by Ted Kremenek · 17 years ago
  2. d70b62e Changed "GetValue" methods to take an by Ted Kremenek · 17 years ago
  3. b87d909 Moved implementation of "RemoveDeadBindings" from the main by Ted Kremenek · 17 years ago
  4. 071679d Removed ability to create symbol bindings in VarKey and VariableBindingsTy. by Ted Kremenek · 17 years ago
  5. 59c2d26 Implemented transfer functions for "<<" and ">>" when the RValues are by Ted Kremenek · 17 years ago
  6. da9bd09 Implemented transfer functions for Statement-Expressions and Commas. by Ted Kremenek · 17 years ago
  7. 53c641a More variable renamings. by Ted Kremenek · 17 years ago
  8. 2203118 Renamed InvalidValue to UnknownVal. by Ted Kremenek · 17 years ago
  9. 7e59336 Added some more opcode pretty-printing. by Ted Kremenek · 17 years ago
  10. 19227e3 Added proof-of-concept NULL pointer diagnostics to GRConstants. by Ted Kremenek · 17 years ago
  11. 63a4f69 Added support to distinguish between both implicit and explicit null dereferences. by Ted Kremenek · 17 years ago
  12. d131c4f Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 17 years ago
  13. fd88bb9 get the tree building again by Chris Lattner · 17 years ago
  14. 3271f8d Added several guards in transfer functions for "InvalidValues". by Ted Kremenek · 17 years ago
  15. 2bca5e4 Fixed bug in LiveVariables analysis where Block-level exprs appearing by Ted Kremenek · 17 years ago
  16. 5b6dc2d Added transfer function logic for ReturnStmts. by Ted Kremenek · 17 years ago
  17. cf78b6a Major code refactoring/cleanup with transfer function logic. Now the by Ted Kremenek · 17 years ago
  18. c60f0f7 Added main transfer function support for unary operator "!". by Ted Kremenek · 17 years ago
  19. feb01f6 Added assumption logic for symbolic non-lvalues when used in conditions such as by Ted Kremenek · 17 years ago
  20. 3434b08 Fixed bug in '=' transfer function: RHS does not have to be a non-LValue. by Ted Kremenek · 17 years ago
  21. 08b6625 Fixed signedness bug in cast transfer function when casting integers to pointers. by Ted Kremenek · 17 years ago
  22. ed4de31 Modified state pretty-printing to include the '!=' and '==' constraints on by Ted Kremenek · 17 years ago
  23. a40ba02 Disabled operator= for ValueStateImpl. by Ted Kremenek · 17 years ago
  24. 41652a9 Fixed bug when allocating a ValueStateImpl object in getPersistentState() by Ted Kremenek · 17 years ago
  25. 862d5bb Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0). by Ted Kremenek · 17 years ago
  26. 0806acf Added pretty-printing support for lval::SymIntConstraintVal and by Ted Kremenek · 17 years ago
  27. 0f10d50 Moved implementation of cast<> for SymbolData closer to SymbolData's definition. by Ted Kremenek · 17 years ago
  28. 9466aa8 Added new "NonLValue" class: SymIntConstraintVal. This class represents a binary by Ted Kremenek · 17 years ago
  29. 329f854 Moved subclasses of LValue and NonLValue into their own namespaces. by Ted Kremenek · 17 years ago
  30. 1fbdb02 Added "SymIntConstraint", a utility class to represent intermediate values for by Ted Kremenek · 17 years ago
  31. cba2e43 Added "batch" processing versions of Nodify and SetValue. Created typedefs by Ted Kremenek · 17 years ago
  32. 174aea4 Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager). by Ted Kremenek · 17 years ago
  33. 6f886bd Added some comments. by Ted Kremenek · 17 years ago
  34. b80cbfe Renamed typedef "iterator" in ValueState to "vb_iterator" (for "VariableBindings"). by Ted Kremenek · 17 years ago
  35. ed90021 Reordered fields/methods in ValueState to make it more aesthetically pleasing. by Ted Kremenek · 17 years ago
  36. 9153f73 Overhauling of "ValueState" so that it represents its own functional data by Ted Kremenek · 17 years ago
  37. 768ad16 ValueManager now uses the BumpPtrAllocator owned by the ExplodedGraph. by Ted Kremenek · 17 years ago
  38. 0ff9a4d Simplified transfer functions for '++' and '--' by Ted Kremenek · 17 years ago
  39. f233d48 Implemented initial transfer function support for '&&', '||', '?', and by Ted Kremenek · 17 years ago
  40. f66ea2cd Added file that should have been in my previous commit. by Ted Kremenek · 17 years ago
  41. e070a1d Created ValueStateManager, a full-blown class to manage the states by Ted Kremenek · 17 years ago
  42. c5d3b4c Implemented transfer function for unary '~'. by Ted Kremenek · 17 years ago
  43. a6e4d21 Implemented casts for ConcreteInt and ConcreteIntLValue. by Ted Kremenek · 17 years ago
  44. 516f91b Added skeleton for new LValue class ConcereteIntLValue. by Ted Kremenek · 17 years ago
  45. a90ccfe Moved RValue code in GRConstants.cpp to RValue.[h,cpp]. by Ted Kremenek · 17 years ago
  46. 4af8431 Fixed misspelling of "LLVM" due to some editor+Ted madness. by Ted Kremenek · 17 years ago
  47. 6492485 Added transfer function support for unary '&' and '*', providing basic by Ted Kremenek · 17 years ago
  48. 4150abf Added 'SymbolicLValue' class to represent LValues whose value is symbolic. by Ted Kremenek · 17 years ago
  49. 3b4f670 We now delay adding nodes created by GRBranchNodeBuilder to the analysis by Ted Kremenek · 17 years ago
  50. b38911f Implemented some branch pruning in GRConstants using != and == for by Ted Kremenek · 17 years ago
  51. 6753fe3 Minor cosmetic cleanups: replaced some integer literals with constants and by Ted Kremenek · 17 years ago
  52. 71c29bd Implemented more boilerplate in GREngine for processing branches. Now by Ted Kremenek · 17 years ago
  53. 45c63bd Fixed bit-setting bug for ExplodedNodeImpl::NodeGroup. by Ted Kremenek · 17 years ago
  54. 7d7fe6d Added boilerplate logic in GREngine for processing branches. by Ted Kremenek · 17 years ago
  55. f4b7a69 Renamed GRNodeBuilder to GRStmtNodeBuilder. by Ted Kremenek · 17 years ago
  56. 0370167 Minor fix in transfer function of '!=' where a 'false' literal should by Ted Kremenek · 17 years ago
  57. 687af80 Added preliminary transfer function support for '==' and '!='. by Ted Kremenek · 17 years ago
  58. 68fd257 Added "SymbolManager", which manages the set of symbolic values used by Ted Kremenek · 17 years ago
  59. 65cac13 Fixed bug where not all dead subexpressions were being pruned from the analysis by Ted Kremenek · 17 years ago
  60. bffaa83 Modified LiveVariables to perform all of its base initialization in the ctor, by Ted Kremenek · 17 years ago
  61. ff6e3c5 Added skeleton code for tracking the values of function parameters. by Ted Kremenek · 17 years ago
  62. cb48b9c Driver now passes the top-level FunctionDecl* to GRConstants. by Ted Kremenek · 17 years ago
  63. 403c181 Added RValue class "UninitializedValue". by Ted Kremenek · 17 years ago
  64. 10099a6 Added transfer function logic for "%=" operator. by Ted Kremenek · 17 years ago
  65. cce207d Added transfer function hookups for "modulo" operator. by Ted Kremenek · 17 years ago
  66. f264562 Minor tweaking with hierarchy of NonLValue objects: SymbolValue is by Ted Kremenek · 17 years ago
  67. bd03f1d Some additional cleanups with method names. by Ted Kremenek · 17 years ago
  68. 33d4aab Added back logic in patch r46361 (http://llvm.org/viewvc/llvm-project?rev=46361&view=rev) with the addition of by Ted Kremenek · 17 years ago
  69. 5c1e262 Implemented transfer function for '/='. by Ted Kremenek · 17 years ago
  70. cc1c365 Further refactoring of transfer functions by having APSIntSetOp take by Ted Kremenek · 17 years ago
  71. 5ee4ff8 Renamed RValueDisjunctiveEqual to RValEqualityORSet. by Ted Kremenek · 17 years ago
  72. ef20c11 Fixed 80 col. violation. by Ted Kremenek · 17 years ago
  73. 2cd65c8 Renamed RValueMayEqualSet to RValueDisjunctiveEqual. by Ted Kremenek · 17 years ago
  74. f13794e Some minor restructuring around LValue and RValue types. The value "kind" by Ted Kremenek · 17 years ago
  75. 565256e enum value name change. by Ted Kremenek · 17 years ago
  76. 9ff731d More cleanups to pretty-printing of states in GraphViz output. by Ted Kremenek · 17 years ago
  77. 9de04c4 Added transfer function for DeclStmt. by Ted Kremenek · 17 years ago
  78. 5c1b996 Adjusted storage of values for Stmt* so that we need only query if by Ted Kremenek · 17 years ago
  79. daadf45 Fixed a bug where the values of block-level expressions were being recorded in by Ted Kremenek · 17 years ago
  80. e0cf9c8 Minor tweaks in the transfer functions for pre- and post- ++/-- where by Ted Kremenek · 17 years ago
  81. dacbb4f Added support for unary operator '-' for equality sets. by Ted Kremenek · 17 years ago
  82. 7b8009a Added transfer functions for pre- and post- increment/decrement operators. by Ted Kremenek · 17 years ago
  83. 874d63f Added passing "ASTContext" to both GREngine and GRConstants. by Ted Kremenek · 17 years ago
  84. 671c9e8 Minor tweak in GetValue to avoid an extra check for ParenExprs. by Ted Kremenek · 17 years ago
  85. 2eafd0e Implemented value tracking support for '*' and '*='. by Ted Kremenek · 17 years ago
  86. b4ae33f Implemented value tracking support for '+=' and '-='. by Ted Kremenek · 17 years ago
  87. 8cc09d5 Removed extra GraphViz node attributes for GRConstants, as some of them were by Ted Kremenek · 17 years ago
  88. 803c9ed some prettying of the GraphViz visualization of GRConstants analysis results. by Ted Kremenek · 17 years ago
  89. ab2b8c5 Major "architectural" changes to the GRConstants analysis. We now reason about by Ted Kremenek · 17 years ago
  90. f84469b Fixed bug in 'GetBinding' when doing the lookup of stored values. We now by Ted Kremenek · 17 years ago
  91. 2a9da9c Fixed bug in 'LiveVariables' analysis where we incorrectly marked a variable by Ted Kremenek · 17 years ago
  92. 8694674 Modified the notion of "Block-level expressions" in CFGs to include Stmt*. This by Ted Kremenek · 17 years ago
  93. 79649df Added support to dataflow solver to (when requested) also record dataflow by Ted Kremenek · 17 years ago
  94. 5e2b609 Removed FindDeclRef, and used Expr::IgnoreParens instead (code refactoring). by Ted Kremenek · 17 years ago
  95. 4e99a5f Added method Expr::IgnoreParens(), which returns the first non-ParenExpr Expr*. by Ted Kremenek · 17 years ago
  96. e00fe3f Added some experimental optimizations to remove dead values from the state. by Ted Kremenek · 17 years ago
  97. e3d7c24 Changed sorting criteria for DSPtr to put sub-expressions first in the value by Ted Kremenek · 17 years ago
  98. b3d2dca Changed sorting criteria for DSPtr to sort Decl* before Expr*, and by Ted Kremenek · 17 years ago
  99. ca3e857 IntegerLiterals are no longer evaluated to create separate nodes; their by Ted Kremenek · 17 years ago
  100. 95b3f6f Fixed bug where we performed addition instead of subtraction during by Ted Kremenek · 17 years ago