Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 6dfe2f544a5e601bd5ac1a7e31af17ec3bf1fe01 / lib / Analysis / GRExprEngine.cpp
  1. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 16 years ago
  2. f8cd1b2 Generalize VisitLValue: not only can CallExprs and ObjCMessageExprs return aggregate temporaries, so can many other expressions. by Ted Kremenek · 16 years ago
  3. c7df6d2 Function calls and ObjC message expressions can be used in a lvalue context if they return a structure. E.g foo().x == 1. We don't really support, however, such temporaries yet in the environment or the store. by Ted Kremenek · 16 years ago
  4. 5c456fe Use "VisitLValue" when processing the base for "x.f" field accesses, and "Visit" when processing the base for "x->f" field accesses. by Ted Kremenek · 16 years ago
  5. fd30194 When conjuring symbols to recover path-sensitivity, don't conjure symbols that represent an entire struct. We need to implement struct temporaries as an actual "region", and then bind symbols to the FieldRegion of those temporaries. by Ted Kremenek · 16 years ago
  6. b6b81d1 "Implement" GRExprEngine::VisitLValue for ObjCPropertyRefExpr. This is only a bandid; we need to properly handle properties by using locv/nonloc objects and specially handling property assignments in the transfer function for BinaryOperator. by Ted Kremenek · 16 years ago
  7. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  8. a758173 Get array's lvalue through standard interface. by Zhongxing Xu · 16 years ago
  9. ab9f1a2 Return the corresponding MemRegionVal for both rvalue and lvalue of array of by Zhongxing Xu · 16 years ago
  10. cd162cc Remove an untrue assertion: lval::FuncVals can be returned in both rvalue and lvalue contexts. by Ted Kremenek · 16 years ago
  11. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 16 years ago
  12. 97ed4f6 Add transfer function support for ObjCIvarRefExpr. by Ted Kremenek · 16 years ago
  13. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
  14. a90d56e Check some cases for previous patch. Make the code more robust. by Zhongxing Xu · 16 years ago
  15. bb316c5 Added a function call case that generates sink nodes. by Zhongxing Xu · 16 years ago
  16. 8369a8b Don't use DeclStmt::getDecl(); this will eventually disappear. Just fetch the first decl using the DeclStmt::decl_iterator. by Ted Kremenek · 16 years ago
  17. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago
  18. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
  19. 5a236cb Revert last patch, but add a fixme by Ted Kremenek · 16 years ago
  20. 855cd90 Within the transfer function of UnaryOperatorExpr, handle implicit promotions by Ted Kremenek · 16 years ago
  21. 82bae3f Add PostStore, a new ProgramPoint to distinguish between 'stores' and other PostStmts. by Ted Kremenek · 16 years ago
  22. a8fe39f Bug fix: for the base transfer function logic for casts, handle const casts as just propagating the value. by Ted Kremenek · 16 years ago
  23. f968308 Add panic function "__assert_fail". by Ted Kremenek · 16 years ago
  24. 7360fda Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced. by Ted Kremenek · 16 years ago
  25. d452758 ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 16 years ago
  26. a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
  27. c0637cf Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h) by Ted Kremenek · 16 years ago
  28. 5f81c44 Make store "Regions" and "Bindings" more abstract instead of concrete variants. by Ted Kremenek · 16 years ago
  29. 982e674 Fixed analyzer caching bug involving the transfer function for loads. by Ted Kremenek · 16 years ago
  30. e6c62e3 Fixed analyzer caching bug in DeclStmt. by Ted Kremenek · 16 years ago
  31. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
  32. d0c4b28 Added 'extents' for Regions. by Ted Kremenek · 16 years ago
  33. bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 16 years ago
  34. caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 16 years ago
  35. 0835a3c Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastExpr and ExplicitCastExpr derive from a common base class (CastExpr): by Argyrios Kyrtzidis · 16 years ago
  36. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  37. fa07784 Default initialize only pointers and integer types (for now). by Ted Kremenek · 16 years ago
  38. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  39. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  40. 72c59d0 Initialize tracked local variables to undefined. by Ted Kremenek · 16 years ago
  41. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  42. 7386d77 Add panic function. by Ted Kremenek · 16 years ago
  43. 6297a8e Created ValueStateSet class to manage the creation of multiple states by a method. by Ted Kremenek · 16 years ago
  44. 729a9a2 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  45. b48c645 Remove redundant logic. by Ted Kremenek · 16 years ago
  46. df7533b 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
  47. bdb435d 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
  48. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  49. 1fa7f58 Remove getParentMap() from GRExprEngine. by Ted Kremenek · 16 years ago
  50. c095997 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
  51. 8b23361 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 16 years ago
  52. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  53. b8e26e6 Introduce initial transfer function support for __imag__ and __real__. We don't by Ted Kremenek · 16 years ago
  54. 331b0ac 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
  55. 4111024 Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl. by Chris Lattner · 16 years ago
  56. 5c96c27 Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression. by Ted Kremenek · 17 years ago
  57. 489ecd5 Micro-optimization when checking for panic functions. by Ted Kremenek · 17 years ago
  58. 05a9112 Fix 80 col violation. by Ted Kremenek · 17 years ago
  59. ec8a1cb Added panic function _XCAssertionFailureHandler. by Ted Kremenek · 17 years ago
  60. 0e470a5 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 · 17 years ago
  61. 6ff6f8b Really noreturn on exceptions. by Ted Kremenek · 17 years ago
  62. e448ab4 Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions. by Ted Kremenek · 17 years ago
  63. 24cb8a2 Added __assert_rtn to list of panic functions. by Ted Kremenek · 17 years ago
  64. c7122d5 Added ziperr as a panic function. Eventually inter-procedural analysis by Ted Kremenek · 17 years ago
  65. ee90dba Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 17 years ago
  66. a084bb6 Add workaround for __builtin_offsetof in the static analyzer. by Ted Kremenek · 17 years ago
  67. f342d18 Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType. by Ted Kremenek · 17 years ago
  68. c52c89a When creating LVals for array entries, canonicalize entries with a 0 index. by Ted Kremenek · 17 years ago
  69. c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
  70. 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
  71. f47bb78 Add conjured symbols for decl initializations. Add db_error as panic function. by Ted Kremenek · 17 years ago
  72. 436f2b9 Invalidate old subexpression bindings when binding UnknownVal. by Ted Kremenek · 17 years ago
  73. 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 17 years ago
  74. 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 17 years ago
  75. 1b8bd4d Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 17 years ago
  76. 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 17 years ago
  77. 846d4e9 More boilerplate for handling specialized-transfer function logic for dead symbols. by Ted Kremenek · 17 years ago
  78. 77d7ef8 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 17 years ago
  79. 186350f Fixed: <rdar://problem/5881148> by Ted Kremenek · 17 years ago
  80. 5014ab1 Remove false path where the default branch in a switch statement would by Ted Kremenek · 17 years ago
  81. 688738f Added panic function "assfail". by Ted Kremenek · 17 years ago
  82. 5b7dcce Rewrote VisitDeclStmt to properly handle initializers that can do anything. by Ted Kremenek · 17 years ago
  83. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
  84. 0fe33bc 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 · 17 years ago
  85. 9a108ae Added panic function "dtrace_assfail". by Ted Kremenek · 17 years ago
  86. 9a094cb Hardcode "Assert" as a no-return function (panic). by Ted Kremenek · 17 years ago
  87. 540cbe2 Added null-dereference check for ArraySubscriptExpr. by Ted Kremenek · 17 years ago
  88. 469ecbd Added support for detected bad dereferences involving MemberExprs, e.g. x->f where "x" is NULL. by Ted Kremenek · 17 years ago
  89. b053396 Fixed more caching bugs related to the one fixed in r49914. Silence by Ted Kremenek · 17 years ago
  90. eaa9eda Fixed elusive caching bug that led to false positives. by Ted Kremenek · 17 years ago
  91. cb61292 Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errors by Ted Kremenek · 17 years ago
  92. 550a0f9 Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluating by Ted Kremenek · 17 years ago
  93. 6b31e8e Handle ReturnStmts by dispatching to "EvalReturn" in the transfer function object. by Ted Kremenek · 17 years ago
  94. 1392261 Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to by Ted Kremenek · 17 years ago
  95. ec96a2d Hook up "EvalStore" from GRTransferFuncs to GRExprEngine. by Ted Kremenek · 17 years ago
  96. e38718e Take first step to migrating handling of "stores" to values from GRExprEngine by Ted Kremenek · 17 years ago
  97. e695e1c Added some comments to GRExprEngine. Reorder some of the method definitions by Ted Kremenek · 17 years ago
  98. 248a753 Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVarDecl() and VarDecl::isFileVarDecl(). by Steve Naroff · 17 years ago
  99. 940b1d8 Fixed some logic errors in the CF ref count checker; we now can detect simple by Ted Kremenek · 17 years ago
  100. 50a6d0c Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. by Ted Kremenek · 17 years ago