Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / ef44bfb9d0f15ba0391f8346c9f01355fb450a09 / lib / Analysis / GRExprEngine.cpp
  1. ef44bfb Added initial transfer function support for inline asm. by Ted Kremenek · 17 years ago
  2. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/GRExprEngine.cpp]
  3. 3b4a8ef Handle StmtExprs whose last contained statement is not an expression. by Ted Kremenek · 17 years ago
  4. 897781a Compute alignment in bytes, not bits. by Ted Kremenek · 17 years ago
  5. 87e8034 Implement transfer function logic for alignof operator (types). by Ted Kremenek · 17 years ago
  6. 5139c78 Added transfer function support in GRExprEngine for __extension__. by Ted Kremenek · 17 years ago
  7. 76fdbde "panic" has 5 letters, not 4. Bug pointed out by Nuno Lopes! by Ted Kremenek · 17 years ago
  8. 636e6ba Hack to hardwire in some panic functions that are not marked noreturn. by Ted Kremenek · 17 years ago
  9. 1b9df4c Emit warnings for undefined control-flow. by Ted Kremenek · 17 years ago
  10. 361fa8e Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. by Ted Kremenek · 17 years ago
  11. 7ec07fd Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS by Ted Kremenek · 17 years ago
  12. 75da3e8 Expanded graph-visualization to include optional pretty-printing of checker-specific state. by Ted Kremenek · 17 years ago
  13. 493d7a2 Expanded graph visualization interface to include specifying a range of by Ted Kremenek · 17 years ago
  14. 3bbad55 More edge-case handling with using liveness information to prune dead state values. by Ted Kremenek · 17 years ago
  15. 0d093d3 More cleanups with using the liveness analysis to removed dead symbols and by Ted Kremenek · 17 years ago
  16. 512c913 When processing the transfer function for a statement, evaluate by Ted Kremenek · 17 years ago
  17. daa497e Refactored guards for "GRExprEngine::RemoveDeadBindings" directly into the by Ted Kremenek · 17 years ago
  18. 3ce9214 Bug fix in the transfer function for compound assignments: if the value by Ted Kremenek · 17 years ago
  19. 89413fe Fixed crash where SetBlkExpr would attempt to query the liveness data when by Ted Kremenek · 17 years ago
  20. 9b5551d Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions). by Ted Kremenek · 17 years ago
  21. ffe0f43 Added --trim-path-graph to the driver to trim paths from the ExplodedGraph by Ted Kremenek · 17 years ago
  22. e97ca06 Improved graph visualization of ExplodedGraphs to include source line and column by Ted Kremenek · 17 years ago
  23. 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago
  24. 4d839b4 Refined divide-by-zero checking to distinguish between must and may by Ted Kremenek · 17 years ago
  25. 55aea31 Added transfer function support for __builtin_expect. by Ted Kremenek · 17 years ago
  26. 5dc7f8b Small bug fix when handling CallExprs that generate sink nodes. by Ted Kremenek · 17 years ago
  27. 4bf38da Fixed bug that could case unwanted bifurcation of states when evaluating calls. by Ted Kremenek · 17 years ago
  28. 8ecfc85 Minor cleanups (mainly indentation). by Ted Kremenek · 17 years ago
  29. 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
  30. 330dddd Plug-in transfer function "EvalCall" now takes as an argument the current by Ted Kremenek · 17 years ago
  31. 5c684c4 Moved implementation of GRExprEngine::Nodify into GRStmtNodeBuilder. This will by Ted Kremenek · 17 years ago
  32. 65cfb73 Added preliminary transfer function support for references. by Ted Kremenek · 17 years ago
  33. d753f3c For the transfer function for CallExpr, invalidate all arguments by Ted Kremenek · 17 years ago
  34. fcb092b For the transfer function of DeclStmt, for now initialize the values of by Ted Kremenek · 17 years ago
  35. 16d8156 Add transfer function support for the default initialization of static by Ted Kremenek · 17 years ago
  36. ed2d2ed Fixed insidious state propagation bug that would sometimes cause the state by Ted Kremenek · 17 years ago
  37. 1e80aa4 Enhanced pretty-printing of undefined-argument errors. by Ted Kremenek · 17 years ago
  38. a1354a5 Added FIXME. by Ted Kremenek · 17 years ago
  39. 2ded35a Added extra check for calls to functions where we pass undefined values by Ted Kremenek · 17 years ago
  40. 5e03fcb Add checks for function calls via a function pointer that is NULL, Undefined, by Ted Kremenek · 17 years ago
  41. 6a6719a "Refinement" of hack to bound loop-traversals: visit any block at a maximum of 3 times along a given path. by Ted Kremenek · 17 years ago
  42. 8cc13ea Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 17 years ago
  43. aed9b6a Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*. by Ted Kremenek · 17 years ago
  44. 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 17 years ago
  45. affb215 End paths when calling a function marked "noreturn." by Ted Kremenek · 17 years ago
  46. b0ab212 Small tweaks to the transfer function for DeclStmt: do not mark external global by Ted Kremenek · 17 years ago
  47. 2ad8868 Small fix to VisitLVal: this method can be called on Block-Level expressions. by Ted Kremenek · 17 years ago
  48. 0793263 When analyzing a function, eagerly create symbolic values for all by Ted Kremenek · 17 years ago
  49. 0f5f059 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 17 years ago
  50. 3ef1512 Similar bug fix to r47650; when processing CallExprs if we did not generate an by Ted Kremenek · 17 years ago
  51. a6fbe80 Fixed bug in the core transfer function logic for CallExprs where we would by Ted Kremenek · 17 years ago
  52. 5a7b382 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. by Ted Kremenek · 17 years ago
  53. 0015541 Don't emit divide-by-zero errors when we divide by an unknown (not by Ted Kremenek · 17 years ago
  54. d87a321 Removed static analysis-specific diagnostics from DiagnosticKinds.def. by Ted Kremenek · 17 years ago
  55. 58b3321 Small fixes to shore up overhauling of transfer function logic for '&&' and '||. by Ted Kremenek · 17 years ago
  56. 189c305 optimization: no longer create ExplodedNodes for IntegerLiteral and by Ted Kremenek · 17 years ago
  57. 05a2378 Major cleanup of the transfer function logic for '&&', '||', and '?'. We by Ted Kremenek · 17 years ago
  58. 018c15f Fixed inverted condition. by Ted Kremenek · 17 years ago
  59. d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
  60. 4dc3522 Added FIXME. by Ted Kremenek · 17 years ago
  61. 994a09b Better handling of calls to functions via function pointers. by Ted Kremenek · 17 years ago
  62. 3c8d0c5 Expanded transfer function support for divide-by-zero checking to include by Ted Kremenek · 17 years ago
  63. 07d83aa Added transfer function support for checking for divide-by-zero errors. by Ted Kremenek · 17 years ago
  64. dc3936b Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified by Ted Kremenek · 17 years ago
  65. f7ca696 Bug fix: For transfer function for unary "!", compare the subexpression value by Ted Kremenek · 17 years ago
  66. 03da0d7 Added transfer function support for dispatching to functions we don't know by Ted Kremenek · 17 years ago
  67. 443003b Regression fix: Handle pointer arithmetic in unary ++/--. by Ted Kremenek · 17 years ago
  68. 89063af Removed bogus assertions regard LValues binding to UnknownVal; they can by Ted Kremenek · 17 years ago
  69. 61e090c FIX: Promote the correct operand. by Ted Kremenek · 17 years ago
  70. 9ef1ec9 Simplified and generalized transfer function logic for casts, allowing by Ted Kremenek · 17 years ago
  71. 297d0d7 Added transfer function support for sizeof(void) by Ted Kremenek · 17 years ago
  72. aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
  73. 90e4203 Implemented transfer function logic for unary '+' by Ted Kremenek · 17 years ago
  74. d8e9f0d Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago
  75. b533912 Added special handling for UninitializedVals for the transfer function logic by Ted Kremenek · 17 years ago
  76. 5d3003a Fixed transfer function for casts to always evaluate the effects of the by Ted Kremenek · 17 years ago
  77. 402563b Added transfer function support for casting to "void". by Ted Kremenek · 17 years ago
  78. 7263910 Added back explicit state/node creation when visiting IntegerLiterals and by Ted Kremenek · 17 years ago
  79. de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
  80. c2c95b0 Added FIXME for properly handling local arrays using symbolic LValues. by Ted Kremenek · 17 years ago
  81. 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 17 years ago
  82. 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 17 years ago
  83. c6fbdcd Refactored code for transfer functions for binary operators involving two LValues. by Ted Kremenek · 17 years ago
  84. b233183 Added transfer function support for conditional branches with a NULL condition (e.g., "for(;;)"). by Ted Kremenek · 17 years ago
  85. 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  86. d868856 Remove unnecessary references to VariableArrayType from Analysis. by Eli Friedman · 17 years ago
  87. b640b3b Added boilerplate transfer function support for pointer arithmetic operations. by Ted Kremenek · 17 years ago
  88. a3fadfc When visualizing ExplodedNodes created by GRExprEngine, color nodes with by Ted Kremenek · 17 years ago
  89. e01c987 Renamed GRConstants => GRSimpleVals. by Ted Kremenek · 17 years ago
  90. b387a3f #include cleanups in GRExprEngine.cpp/GRExprEngine.h. Moved GRExprEngine to by Ted Kremenek · 17 years ago
  91. 77349cb Partitioned definition/implementation of GRExperEngine into .h and .cpp. by Ted Kremenek · 17 years ago
  92. 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 17 years ago
  93. c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 17 years ago
  94. d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 17 years ago
  95. cc409b7 Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive". by Ted Kremenek · 17 years ago
  96. daeb9a7 Added support to GRCoreEngine/GRExprEngine for processing control-flow by Ted Kremenek · 17 years ago
  97. 44842c2 Fixed 80 col violations. by Ted Kremenek · 17 years ago
  98. 0ee2571 Unbreak the build. by Ted Kremenek · 17 years ago
  99. a82799e Renamed files to match class renaming in r47070: by Ted Kremenek · 17 years ago[Renamed from Analysis/GRConstants.cpp]
  100. 4d4dd85 Renamed class GREngine => GRCoreEngine. by Ted Kremenek · 17 years ago