Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / e0ad215b709fba79b3a1ead9af31a6f8bd3ee77a / lib / Analysis / GRExprEngine.cpp
  1. bbafa5b Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  2. d277421 Add panic function. by Ted Kremenek · 16 years ago
  3. 9c4ce60 Created ValueStateSet class to manage the creation of multiple states by a method. by Ted Kremenek · 16 years ago
  4. c746954 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  5. e4d3ffa Remove redundant logic. by Ted Kremenek · 16 years ago
  6. fa81dff Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of the methods only return an RVal; we want them to be able to create an arbitrary number of states. by Ted Kremenek · 16 years ago
  7. 7d4d9f3 Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "batch auditor" to dispatch to specialized auditors instead of having a separate vector for each audited Expr*. This not only provides a much cleaner implementation, but also allows us to install auditors for any expression. by Ted Kremenek · 16 years ago
  8. f22f868 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  9. 7f20dfb Remove getParentMap() from GRExprEngine. by Ted Kremenek · 16 years ago
  10. ba1c7ed Refactored some of the BugReporter interface so that data such as the ASTContext&, PathDiagnosticClient*, can be provided by an external source. by Ted Kremenek · 16 years ago
  11. 1607f51 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 16 years ago
  12. 72f52c0 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  13. fe952cb Introduce initial transfer function support for __imag__ and __real__. We don't by Ted Kremenek · 16 years ago
  14. f05eec4 Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad). This solves a caching bug observed in a recent bug report. by Ted Kremenek · 16 years ago
  15. 8c7c6a1 Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl. by Chris Lattner · 16 years ago
  16. bb9bd73 Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression. by Ted Kremenek · 16 years ago
  17. 0aa9a28 Micro-optimization when checking for panic functions. by Ted Kremenek · 16 years ago
  18. c3888a6 Fix 80 col violation. by Ted Kremenek · 16 years ago
  19. a46fea7 Added panic function _XCAssertionFailureHandler. by Ted Kremenek · 16 years ago
  20. 9e2c1ea Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary to use IsLValType when conjuring symbols for return values (this fixes a bug with an assertion firing in the analyzer when two qualified objective-c types were compared). by Ted Kremenek · 16 years ago
  21. 2227bdf Really noreturn on exceptions. by Ted Kremenek · 16 years ago
  22. 5f20a63 Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions. by Ted Kremenek · 16 years ago
  23. 0f84f66 Added __assert_rtn to list of panic functions. by Ted Kremenek · 16 years ago
  24. 6b008c6 Added ziperr as a panic function. Eventually inter-procedural analysis by Ted Kremenek · 16 years ago
  25. c59a8e7 Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 16 years ago
  26. 5c4d409 Add workaround for __builtin_offsetof in the static analyzer. by Ted Kremenek · 16 years ago
  27. a922326 Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType. by Ted Kremenek · 16 years ago
  28. b4aecd0 When creating LVals for array entries, canonicalize entries with a 0 index. by Ted Kremenek · 16 years ago
  29. 7cefcac Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
  30. 60728ac Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
  31. c37d49e Add conjured symbols for decl initializations. Add db_error as panic function. by Ted Kremenek · 16 years ago
  32. bf57385 Invalidate old subexpression bindings when binding UnknownVal. by Ted Kremenek · 16 years ago
  33. c4385b4 Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
  34. 465f25a Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
  35. 5f6b442 Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 16 years ago
  36. ac91ce9 Do a better job at computing dead symbols. by Ted Kremenek · 16 years ago
  37. fa7be36 More boilerplate for handling specialized-transfer function logic for dead symbols. by Ted Kremenek · 16 years ago
  38. 7487f94 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 16 years ago
  39. 0a6a80b Fixed: <rdar://problem/5881148> by Ted Kremenek · 16 years ago
  40. df3aaa1 Remove false path where the default branch in a switch statement would by Ted Kremenek · 16 years ago
  41. cbdc0ed Added panic function "assfail". by Ted Kremenek · 16 years ago
  42. cfbc56a Rewrote VisitDeclStmt to properly handle initializers that can do anything. by Ted Kremenek · 16 years ago
  43. be62129 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  44. fe1a0b1 Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 16 years ago
  45. 0d9ff34 Added panic function "dtrace_assfail". by Ted Kremenek · 16 years ago
  46. 23271be Hardcode "Assert" as a no-return function (panic). by Ted Kremenek · 16 years ago
  47. bb7c156 Added null-dereference check for ArraySubscriptExpr. by Ted Kremenek · 16 years ago
  48. d0d8620 Added support for detected bad dereferences involving MemberExprs, e.g. x->f where "x" is NULL. by Ted Kremenek · 16 years ago
  49. 0b03c6e Fixed more caching bugs related to the one fixed in r49914. Silence by Ted Kremenek · 16 years ago
  50. 3226570 Fixed elusive caching bug that led to false positives. by Ted Kremenek · 16 years ago
  51. eef8f1e Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errors by Ted Kremenek · 16 years ago
  52. 6da0f5a Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluating by Ted Kremenek · 16 years ago
  53. c208f4e Handle ReturnStmts by dispatching to "EvalReturn" in the transfer function object. by Ted Kremenek · 16 years ago
  54. 7aef484 Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to by Ted Kremenek · 16 years ago
  55. 4d22f0e Hook up "EvalStore" from GRTransferFuncs to GRExprEngine. by Ted Kremenek · 16 years ago
  56. f506958 Take first step to migrating handling of "stores" to values from GRExprEngine by Ted Kremenek · 16 years ago
  57. ca5f620 Added some comments to GRExprEngine. Reorder some of the method definitions by Ted Kremenek · 16 years ago
  58. 72a6ebc Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVarDecl() and VarDecl::isFileVarDecl(). by Steve Naroff · 16 years ago
  59. ab2fa2a Fixed some logic errors in the CF ref count checker; we now can detect simple by Ted Kremenek · 16 years ago
  60. 0e80dea Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. by Ted Kremenek · 16 years ago
  61. a05f7d2 simplify some code by using PointerLikeType. by Chris Lattner · 16 years ago
  62. 108048c Added path-sensitive check for return statements that return the address by Ted Kremenek · 16 years ago
  63. 583c438 Hooked up initial NSString interface checking to GRSimpleVals. by Ted Kremenek · 16 years ago
  64. b0a2e47 Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless checkers to be injected into the analyzer. by Ted Kremenek · 16 years ago
  65. 9ba5a1f Bug fix: use GetRVal instead of GetLVal (were getting the value of a DeclRefExpr, not it's address). by Ted Kremenek · 16 years ago
  66. 2380f37 Bug fix in transfer function for ObjCMessageExpr: Visit the receiver expression as an ordinary expression, not using VisitLVal. by Ted Kremenek · 16 years ago
  67. 7150747 Tweak to transfer function for ObjCMessageExpr: handle both instance methods by Ted Kremenek · 16 years ago
  68. 4b2bdd5 Added logic to check for uninitialized values as the receivers for message expressions by Ted Kremenek · 16 years ago
  69. c6b7a1e Added initial transfer function support for ObjCMessageExpr. by Ted Kremenek · 16 years ago
  70. f10f288 Rename "Nodify" to "MakeNode" by Ted Kremenek · 16 years ago
  71. 539269c Fix assertion. by Ted Kremenek · 16 years ago
  72. f1d623e Fix integer overflow bug when processing switch statements. by Ted Kremenek · 16 years ago
  73. 52b8d0e Properly hook up inline asm transfer function logic to the main GRExprEngine logic. by Ted Kremenek · 16 years ago
  74. 31803c3 Added initial transfer function support for inline asm. by Ted Kremenek · 16 years ago
  75. be1a7a0 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 16 years ago[Renamed from Analysis/GRExprEngine.cpp]
  76. a0a7c41 Handle StmtExprs whose last contained statement is not an expression. by Ted Kremenek · 16 years ago
  77. 8eac9c0 Compute alignment in bytes, not bits. by Ted Kremenek · 16 years ago
  78. c3b1283 Implement transfer function logic for alignof operator (types). by Ted Kremenek · 16 years ago
  79. 3c53607 Added transfer function support in GRExprEngine for __extension__. by Ted Kremenek · 16 years ago
  80. 550025b "panic" has 5 letters, not 4. Bug pointed out by Nuno Lopes! by Ted Kremenek · 16 years ago
  81. 02b1ff7 Hack to hardwire in some panic functions that are not marked noreturn. by Ted Kremenek · 16 years ago
  82. 2f0c0e1 Emit warnings for undefined control-flow. by Ted Kremenek · 16 years ago
  83. d467651 Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. by Ted Kremenek · 16 years ago
  84. 83f04aa Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS by Ted Kremenek · 16 years ago
  85. 9f59792 Expanded graph-visualization to include optional pretty-printing of checker-specific state. by Ted Kremenek · 16 years ago
  86. e44a830 Expanded graph visualization interface to include specifying a range of by Ted Kremenek · 16 years ago
  87. a1d070b More edge-case handling with using liveness information to prune dead state values. by Ted Kremenek · 16 years ago
  88. 50ef5ff More cleanups with using the liveness analysis to removed dead symbols and by Ted Kremenek · 16 years ago
  89. 0233146 When processing the transfer function for a statement, evaluate by Ted Kremenek · 16 years ago
  90. f973eb0 Refactored guards for "GRExprEngine::RemoveDeadBindings" directly into the by Ted Kremenek · 16 years ago
  91. 80cb2c8 Bug fix in the transfer function for compound assignments: if the value by Ted Kremenek · 16 years ago
  92. 48d0c6a Fixed crash where SetBlkExpr would attempt to query the liveness data when by Ted Kremenek · 16 years ago
  93. f97c668 Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions). by Ted Kremenek · 16 years ago
  94. 5e1e05c Added --trim-path-graph to the driver to trim paths from the ExplodedGraph by Ted Kremenek · 16 years ago
  95. 8b41e8c Improved graph visualization of ExplodedGraphs to include source line and column by Ted Kremenek · 16 years ago
  96. 8ad1987 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 16 years ago
  97. 75f32c6 Refined divide-by-zero checking to distinguish between must and may by Ted Kremenek · 16 years ago
  98. 21581c6 Added transfer function support for __builtin_expect. by Ted Kremenek · 16 years ago
  99. a2822eb Small bug fix when handling CallExprs that generate sink nodes. by Ted Kremenek · 16 years ago
  100. b451dd3 Fixed bug that could case unwanted bifurcation of states when evaluating calls. by Ted Kremenek · 16 years ago