Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / b387a3f23e423d62c053be86294b703da1d1a222 / Analysis / GRExprEngine.cpp
  1. b387a3f #include cleanups in GRExprEngine.cpp/GRExprEngine.h. Moved GRExprEngine to by Ted Kremenek · 18 years ago
  2. 77349cb Partitioned definition/implementation of GRExperEngine into .h and .cpp. by Ted Kremenek · 18 years ago
  3. 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 18 years ago
  4. c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 18 years ago
  5. d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 18 years ago
  6. cc409b7 Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive". by Ted Kremenek · 18 years ago
  7. daeb9a7 Added support to GRCoreEngine/GRExprEngine for processing control-flow by Ted Kremenek · 18 years ago
  8. 44842c2 Fixed 80 col violations. by Ted Kremenek · 18 years ago
  9. 0ee2571 Unbreak the build. by Ted Kremenek · 18 years ago
  10. a82799e Renamed files to match class renaming in r47070: by Ted Kremenek · 18 years ago[Renamed from Analysis/GRConstants.cpp]
  11. 4d4dd85 Renamed class GREngine => GRCoreEngine. by Ted Kremenek · 18 years ago
  12. 24f1a96 Simplify GRIndirectGotoNodeBuilder. by Ted Kremenek · 18 years ago
  13. 754607e Added support to GREngine/GRConstants for handling computed gotos. by Ted Kremenek · 18 years ago
  14. 230aaab Minor (cosmetic) reshuffling of code. Fixed a bug in "Assume" logic when by Ted Kremenek · 18 years ago
  15. d9435bf Added transfer function logic for sizeof(expr)/sizeof(type). This currently by Ted Kremenek · 18 years ago
  16. 8e49dd6 Added GRBlockCounter class, which tracks the number of times blocks by Ted Kremenek · 18 years ago
  17. e7d2211 Separate bindings for subexpressions to be in a separate map for by Ted Kremenek · 18 years ago
  18. 016f52f Split off expression-bindings in ValueState from variable-bindings. by Ted Kremenek · 18 years ago
  19. d70b62e Changed "GetValue" methods to take an by Ted Kremenek · 18 years ago
  20. b87d909 Moved implementation of "RemoveDeadBindings" from the main by Ted Kremenek · 18 years ago
  21. 071679d Removed ability to create symbol bindings in VarKey and VariableBindingsTy. by Ted Kremenek · 18 years ago
  22. da9bd09 Implemented transfer functions for Statement-Expressions and Commas. by Ted Kremenek · 18 years ago
  23. 53c641a More variable renamings. by Ted Kremenek · 18 years ago
  24. 2203118 Renamed InvalidValue to UnknownVal. by Ted Kremenek · 18 years ago
  25. 7e59336 Added some more opcode pretty-printing. by Ted Kremenek · 18 years ago
  26. 19227e3 Added proof-of-concept NULL pointer diagnostics to GRConstants. by Ted Kremenek · 18 years ago
  27. 63a4f69 Added support to distinguish between both implicit and explicit null dereferences. by Ted Kremenek · 18 years ago
  28. d131c4f Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 18 years ago
  29. 3271f8d Added several guards in transfer functions for "InvalidValues". by Ted Kremenek · 18 years ago
  30. 5b6dc2d Added transfer function logic for ReturnStmts. by Ted Kremenek · 18 years ago
  31. cf78b6a Major code refactoring/cleanup with transfer function logic. Now the by Ted Kremenek · 18 years ago
  32. c60f0f7 Added main transfer function support for unary operator "!". by Ted Kremenek · 18 years ago
  33. feb01f6 Added assumption logic for symbolic non-lvalues when used in conditions such as by Ted Kremenek · 18 years ago
  34. 3434b08 Fixed bug in '=' transfer function: RHS does not have to be a non-LValue. by Ted Kremenek · 18 years ago
  35. 08b6625 Fixed signedness bug in cast transfer function when casting integers to pointers. by Ted Kremenek · 18 years ago
  36. ed4de31 Modified state pretty-printing to include the '!=' and '==' constraints on by Ted Kremenek · 18 years ago
  37. 862d5bb Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0). by Ted Kremenek · 18 years ago
  38. 329f854 Moved subclasses of LValue and NonLValue into their own namespaces. by Ted Kremenek · 18 years ago
  39. cba2e43 Added "batch" processing versions of Nodify and SetValue. Created typedefs by Ted Kremenek · 18 years ago
  40. b80cbfe Renamed typedef "iterator" in ValueState to "vb_iterator" (for "VariableBindings"). by Ted Kremenek · 18 years ago
  41. 9153f73 Overhauling of "ValueState" so that it represents its own functional data by Ted Kremenek · 18 years ago
  42. 768ad16 ValueManager now uses the BumpPtrAllocator owned by the ExplodedGraph. by Ted Kremenek · 18 years ago
  43. 0ff9a4d Simplified transfer functions for '++' and '--' by Ted Kremenek · 18 years ago
  44. f233d48 Implemented initial transfer function support for '&&', '||', '?', and by Ted Kremenek · 18 years ago
  45. e070a1d Created ValueStateManager, a full-blown class to manage the states by Ted Kremenek · 18 years ago
  46. c5d3b4c Implemented transfer function for unary '~'. by Ted Kremenek · 18 years ago
  47. a6e4d21 Implemented casts for ConcreteInt and ConcreteIntLValue. by Ted Kremenek · 18 years ago
  48. a90ccfe Moved RValue code in GRConstants.cpp to RValue.[h,cpp]. by Ted Kremenek · 18 years ago
  49. 4af8431 Fixed misspelling of "LLVM" due to some editor+Ted madness. by Ted Kremenek · 18 years ago
  50. 6492485 Added transfer function support for unary '&' and '*', providing basic by Ted Kremenek · 18 years ago
  51. 4150abf Added 'SymbolicLValue' class to represent LValues whose value is symbolic. by Ted Kremenek · 18 years ago
  52. 3b4f670 We now delay adding nodes created by GRBranchNodeBuilder to the analysis by Ted Kremenek · 18 years ago
  53. b38911f Implemented some branch pruning in GRConstants using != and == for by Ted Kremenek · 18 years ago
  54. 6753fe3 Minor cosmetic cleanups: replaced some integer literals with constants and by Ted Kremenek · 18 years ago
  55. 71c29bd Implemented more boilerplate in GREngine for processing branches. Now by Ted Kremenek · 18 years ago
  56. 7d7fe6d Added boilerplate logic in GREngine for processing branches. by Ted Kremenek · 18 years ago
  57. f4b7a69 Renamed GRNodeBuilder to GRStmtNodeBuilder. by Ted Kremenek · 18 years ago
  58. 0370167 Minor fix in transfer function of '!=' where a 'false' literal should by Ted Kremenek · 18 years ago
  59. 687af80 Added preliminary transfer function support for '==' and '!='. by Ted Kremenek · 18 years ago
  60. 68fd257 Added "SymbolManager", which manages the set of symbolic values used by Ted Kremenek · 18 years ago
  61. 65cac13 Fixed bug where not all dead subexpressions were being pruned from the analysis by Ted Kremenek · 18 years ago
  62. bffaa83 Modified LiveVariables to perform all of its base initialization in the ctor, by Ted Kremenek · 18 years ago
  63. ff6e3c5 Added skeleton code for tracking the values of function parameters. by Ted Kremenek · 18 years ago
  64. cb48b9c Driver now passes the top-level FunctionDecl* to GRConstants. by Ted Kremenek · 18 years ago
  65. 403c181 Added RValue class "UninitializedValue". by Ted Kremenek · 18 years ago
  66. 10099a6 Added transfer function logic for "%=" operator. by Ted Kremenek · 18 years ago
  67. cce207d Added transfer function hookups for "modulo" operator. by Ted Kremenek · 18 years ago
  68. f264562 Minor tweaking with hierarchy of NonLValue objects: SymbolValue is by Ted Kremenek · 18 years ago
  69. bd03f1d Some additional cleanups with method names. by Ted Kremenek · 18 years ago
  70. 5c1e262 Implemented transfer function for '/='. by Ted Kremenek · 18 years ago
  71. cc1c365 Further refactoring of transfer functions by having APSIntSetOp take by Ted Kremenek · 18 years ago
  72. 5ee4ff8 Renamed RValueDisjunctiveEqual to RValEqualityORSet. by Ted Kremenek · 18 years ago
  73. ef20c11 Fixed 80 col. violation. by Ted Kremenek · 18 years ago
  74. 2cd65c8 Renamed RValueMayEqualSet to RValueDisjunctiveEqual. by Ted Kremenek · 18 years ago
  75. f13794e Some minor restructuring around LValue and RValue types. The value "kind" by Ted Kremenek · 18 years ago
  76. 565256e enum value name change. by Ted Kremenek · 18 years ago
  77. 9ff731d More cleanups to pretty-printing of states in GraphViz output. by Ted Kremenek · 18 years ago
  78. 9de04c4 Added transfer function for DeclStmt. by Ted Kremenek · 18 years ago
  79. 5c1b996 Adjusted storage of values for Stmt* so that we need only query if by Ted Kremenek · 18 years ago
  80. daadf45 Fixed a bug where the values of block-level expressions were being recorded in by Ted Kremenek · 18 years ago
  81. e0cf9c8 Minor tweaks in the transfer functions for pre- and post- ++/-- where by Ted Kremenek · 18 years ago
  82. dacbb4f Added support for unary operator '-' for equality sets. by Ted Kremenek · 18 years ago
  83. 7b8009a Added transfer functions for pre- and post- increment/decrement operators. by Ted Kremenek · 18 years ago
  84. 874d63f Added passing "ASTContext" to both GREngine and GRConstants. by Ted Kremenek · 18 years ago
  85. 671c9e8 Minor tweak in GetValue to avoid an extra check for ParenExprs. by Ted Kremenek · 18 years ago
  86. 2eafd0e Implemented value tracking support for '*' and '*='. by Ted Kremenek · 18 years ago
  87. b4ae33f Implemented value tracking support for '+=' and '-='. by Ted Kremenek · 18 years ago
  88. 8cc09d5 Removed extra GraphViz node attributes for GRConstants, as some of them were by Ted Kremenek · 18 years ago
  89. 803c9ed some prettying of the GraphViz visualization of GRConstants analysis results. by Ted Kremenek · 18 years ago
  90. ab2b8c5 Major "architectural" changes to the GRConstants analysis. We now reason about by Ted Kremenek · 18 years ago
  91. f84469b Fixed bug in 'GetBinding' when doing the lookup of stored values. We now by Ted Kremenek · 18 years ago
  92. 79649df Added support to dataflow solver to (when requested) also record dataflow by Ted Kremenek · 18 years ago
  93. 4e99a5f Added method Expr::IgnoreParens(), which returns the first non-ParenExpr Expr*. by Ted Kremenek · 18 years ago
  94. e00fe3f Added some experimental optimizations to remove dead values from the state. by Ted Kremenek · 18 years ago
  95. e3d7c24 Changed sorting criteria for DSPtr to put sub-expressions first in the value by Ted Kremenek · 18 years ago
  96. b3d2dca Changed sorting criteria for DSPtr to sort Decl* before Expr*, and by Ted Kremenek · 18 years ago
  97. ca3e857 IntegerLiterals are no longer evaluated to create separate nodes; their by Ted Kremenek · 18 years ago
  98. 95b3f6f Fixed bug where we performed addition instead of subtraction during by Ted Kremenek · 18 years ago
  99. aa66a32 Added initial graph visualization support for the GRConstants analysis. by Ted Kremenek · 18 years ago
  100. 0525a4f Added support from retrieving stored values to variables. by Ted Kremenek · 18 years ago