Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 56cd7e3848c2d59ca2ec3b72d0834192edf0bcdf / Analysis
  1. 994a09b Better handling of calls to functions via function pointers. by Ted Kremenek · 17 years ago
  2. 29db75c Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over the by Ted Kremenek · 17 years ago
  3. 3c8d0c5 Expanded transfer function support for divide-by-zero checking to include by Ted Kremenek · 17 years ago
  4. 3bca92b Added hack to transfer function logic to handle the case where a DeclRefExpr by Ted Kremenek · 17 years ago
  5. 07d83aa Added transfer function support for checking for divide-by-zero errors. by Ted Kremenek · 17 years ago
  6. d156d53 Fixed horrid bug in LiveVariables analysis where we were only merging at by Ted Kremenek · 17 years ago
  7. f700df2 Punt on unifying symbolic lvalues. This won't be needed for many checkers. by Ted Kremenek · 17 years ago
  8. dc3936b Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified by Ted Kremenek · 17 years ago
  9. f7ca696 Bug fix: For transfer function for unary "!", compare the subexpression value by Ted Kremenek · 17 years ago
  10. 5620631 Bug fix in liveness: Only compute liveness information for VarDecls. by Ted Kremenek · 17 years ago
  11. 9c37417 Return "Unknown" when using the value of a function pointer whose value by Ted Kremenek · 17 years ago
  12. 03da0d7 Added transfer function support for dispatching to functions we don't know by Ted Kremenek · 17 years ago
  13. c3055ab RemoveDeadBindings should now check for UninitalizedVal, as it is a now by Ted Kremenek · 17 years ago
  14. 443003b Regression fix: Handle pointer arithmetic in unary ++/--. by Ted Kremenek · 17 years ago
  15. 89063af Removed bogus assertions regard LValues binding to UnknownVal; they can by Ted Kremenek · 17 years ago
  16. 9258a64 Remove incorrect casts from UnknownVal to NonLVal. by Ted Kremenek · 17 years ago
  17. 61e090c FIX: Promote the correct operand. by Ted Kremenek · 17 years ago
  18. 9ef1ec9 Simplified and generalized transfer function logic for casts, allowing by Ted Kremenek · 17 years ago
  19. 297d0d7 Added transfer function support for sizeof(void) by Ted Kremenek · 17 years ago
  20. aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
  21. 90e4203 Implemented transfer function logic for unary '+' by Ted Kremenek · 17 years ago
  22. d8e9f0d Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago
  23. 1caf26a Added missing case in constant propagation logic for handling the Xor of by Ted Kremenek · 17 years ago
  24. b533912 Added special handling for UninitializedVals for the transfer function logic by Ted Kremenek · 17 years ago
  25. a888c98 Implemented "getType()" for symbolic values representing the "contents" of by Ted Kremenek · 17 years ago
  26. 5d3003a Fixed transfer function for casts to always evaluate the effects of the by Ted Kremenek · 17 years ago
  27. 402563b Added transfer function support for casting to "void". by Ted Kremenek · 17 years ago
  28. e6ea2d5 Fixed bug classof() bug with RValues that could cause an UninitializedVal by Ted Kremenek · 17 years ago
  29. 7263910 Added back explicit state/node creation when visiting IntegerLiterals and by Ted Kremenek · 17 years ago
  30. de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
  31. c2c95b0 Added FIXME for properly handling local arrays using symbolic LValues. by Ted Kremenek · 17 years ago
  32. 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 17 years ago
  33. 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 17 years ago
  34. f0c8ef0 Temporary solution to push analysis through to analyzing PCRE. by Ted Kremenek · 17 years ago
  35. 7df3d71 A couple of msvc compile fixes from the ml; I haven't tested with msvc, by Eli Friedman · 17 years ago
  36. d70d0b0 Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 17 years ago
  37. c6fbdcd Refactored code for transfer functions for binary operators involving two LValues. by Ted Kremenek · 17 years ago
  38. b233183 Added transfer function support for conditional branches with a NULL condition (e.g., "for(;;)"). by Ted Kremenek · 17 years ago
  39. 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  40. d868856 Remove unnecessary references to VariableArrayType from Analysis. by Eli Friedman · 17 years ago
  41. b640b3b Added boilerplate transfer function support for pointer arithmetic operations. by Ted Kremenek · 17 years ago
  42. d55fe52 Added --grsimple-view option to clang driver; this is the same as by Ted Kremenek · 17 years ago
  43. 90e1481 Added "symbol iterators" for RValues, allowing easy iteration over the symbols by Ted Kremenek · 17 years ago
  44. a3fadfc When visualizing ExplodedNodes created by GRExprEngine, color nodes with by Ted Kremenek · 17 years ago
  45. 546bded Don't analyze functions when we have parse errors. by Ted Kremenek · 17 years ago
  46. e01c987 Renamed GRConstants => GRSimpleVals. by Ted Kremenek · 17 years ago
  47. b387a3f #include cleanups in GRExprEngine.cpp/GRExprEngine.h. Moved GRExprEngine to by Ted Kremenek · 17 years ago
  48. 77349cb Partitioned definition/implementation of GRExperEngine into .h and .cpp. by Ted Kremenek · 17 years ago
  49. 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 17 years ago
  50. c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 17 years ago
  51. d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 17 years ago
  52. cc409b7 Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive". by Ted Kremenek · 17 years ago
  53. daeb9a7 Added support to GRCoreEngine/GRExprEngine for processing control-flow by Ted Kremenek · 17 years ago
  54. 44842c2 Fixed 80 col violations. by Ted Kremenek · 17 years ago
  55. 0ee2571 Unbreak the build. by Ted Kremenek · 17 years ago
  56. a82799e Renamed files to match class renaming in r47070: by Ted Kremenek · 17 years ago
  57. 4d4dd85 Renamed class GREngine => GRCoreEngine. by Ted Kremenek · 17 years ago
  58. 24f1a96 Simplify GRIndirectGotoNodeBuilder. by Ted Kremenek · 17 years ago
  59. a58e833 Added GREngine support for "break" and "continue". by Ted Kremenek · 17 years ago
  60. 754607e Added support to GREngine/GRConstants for handling computed gotos. by Ted Kremenek · 17 years ago
  61. f810869 Added GREngine support for GotoStmt. by Ted Kremenek · 17 years ago
  62. 2a50257 Added transfer function/value track logic for taking the address of a label. by Ted Kremenek · 17 years ago
  63. 230aaab Minor (cosmetic) reshuffling of code. Fixed a bug in "Assume" logic when by Ted Kremenek · 17 years ago
  64. d9435bf Added transfer function logic for sizeof(expr)/sizeof(type). This currently by Ted Kremenek · 17 years ago
  65. 5d2986b Renamed local variable. Added transfer function support for CharacterLiteral. by Ted Kremenek · 17 years ago
  66. 8e49dd6 Added GRBlockCounter class, which tracks the number of times blocks by Ted Kremenek · 17 years ago
  67. 8158a0e Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMap by Ted Kremenek · 17 years ago
  68. e7d2211 Separate bindings for subexpressions to be in a separate map for by Ted Kremenek · 17 years ago
  69. 016f52f Split off expression-bindings in ValueState from variable-bindings. by Ted Kremenek · 17 years ago
  70. d70b62e Changed "GetValue" methods to take an by Ted Kremenek · 17 years ago
  71. b87d909 Moved implementation of "RemoveDeadBindings" from the main by Ted Kremenek · 17 years ago
  72. 071679d Removed ability to create symbol bindings in VarKey and VariableBindingsTy. by Ted Kremenek · 17 years ago
  73. 59c2d26 Implemented transfer functions for "<<" and ">>" when the RValues are by Ted Kremenek · 17 years ago
  74. da9bd09 Implemented transfer functions for Statement-Expressions and Commas. by Ted Kremenek · 17 years ago
  75. 53c641a More variable renamings. by Ted Kremenek · 17 years ago
  76. 2203118 Renamed InvalidValue to UnknownVal. by Ted Kremenek · 17 years ago
  77. 7e59336 Added some more opcode pretty-printing. by Ted Kremenek · 17 years ago
  78. 19227e3 Added proof-of-concept NULL pointer diagnostics to GRConstants. by Ted Kremenek · 17 years ago
  79. 63a4f69 Added support to distinguish between both implicit and explicit null dereferences. by Ted Kremenek · 17 years ago
  80. d131c4f Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 17 years ago
  81. fd88bb9 get the tree building again by Chris Lattner · 17 years ago
  82. 3271f8d Added several guards in transfer functions for "InvalidValues". by Ted Kremenek · 17 years ago
  83. 2bca5e4 Fixed bug in LiveVariables analysis where Block-level exprs appearing by Ted Kremenek · 17 years ago
  84. 5b6dc2d Added transfer function logic for ReturnStmts. by Ted Kremenek · 17 years ago
  85. cf78b6a Major code refactoring/cleanup with transfer function logic. Now the by Ted Kremenek · 17 years ago
  86. c60f0f7 Added main transfer function support for unary operator "!". by Ted Kremenek · 17 years ago
  87. feb01f6 Added assumption logic for symbolic non-lvalues when used in conditions such as by Ted Kremenek · 17 years ago
  88. 3434b08 Fixed bug in '=' transfer function: RHS does not have to be a non-LValue. by Ted Kremenek · 17 years ago
  89. 08b6625 Fixed signedness bug in cast transfer function when casting integers to pointers. by Ted Kremenek · 17 years ago
  90. ed4de31 Modified state pretty-printing to include the '!=' and '==' constraints on by Ted Kremenek · 17 years ago
  91. a40ba02 Disabled operator= for ValueStateImpl. by Ted Kremenek · 17 years ago
  92. 41652a9 Fixed bug when allocating a ValueStateImpl object in getPersistentState() by Ted Kremenek · 17 years ago
  93. 862d5bb Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0). by Ted Kremenek · 17 years ago
  94. 0806acf Added pretty-printing support for lval::SymIntConstraintVal and by Ted Kremenek · 17 years ago
  95. 0f10d50 Moved implementation of cast<> for SymbolData closer to SymbolData's definition. by Ted Kremenek · 17 years ago
  96. 9466aa8 Added new "NonLValue" class: SymIntConstraintVal. This class represents a binary by Ted Kremenek · 17 years ago
  97. 329f854 Moved subclasses of LValue and NonLValue into their own namespaces. by Ted Kremenek · 17 years ago
  98. 1fbdb02 Added "SymIntConstraint", a utility class to represent intermediate values for by Ted Kremenek · 17 years ago
  99. cba2e43 Added "batch" processing versions of Nodify and SetValue. Created typedefs by Ted Kremenek · 17 years ago
  100. 174aea4 Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager). by Ted Kremenek · 17 years ago