Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 95c7b00fe857a61a19185483aa0d85492ec9e258 / lib / Analysis / GRExprEngine.cpp
  1. 95c7b00 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 16 years ago
  2. e564b52 Add an assertion to make our intention more clear. by Zhongxing Xu · 16 years ago
  3. e1911af Let StoreManager do different cast on arrays. BasicStore will just keep it intact. by Zhongxing Xu · 16 years ago
  4. c92e5fe Adjust parameter order to more natural one. by Zhongxing Xu · 16 years ago
  5. ed340f7 Exprs of function type is another special case for ImplicitCast. by Zhongxing Xu · 16 years ago
  6. 0944ccc When conjuring symbols for compound assignments, use the promoted type to determine if the symbolic value as a "loc::" or "nonloc::" value. by Ted Kremenek · 16 years ago
  7. 8e9bebd Preliminary support for function overloading by Douglas Gregor · 16 years ago
  8. 933c3e1 Localize the special processing of array variable inside by Zhongxing Xu · 16 years ago
  9. c13b6e2 Further improve path-sensitivity with divide-by-zero checking by assuming that a denominator cannot be zero even when the result of an '/' or '%' expression is unknown. by Ted Kremenek · 16 years ago
  10. 9ff267d Used conjured symbols to recover path-sensitivity when the result of a compound assignment is UnknownVal(). by Ted Kremenek · 16 years ago
  11. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 16 years ago
  12. f8cd1b2 Generalize VisitLValue: not only can CallExprs and ObjCMessageExprs return aggregate temporaries, so can many other expressions. by Ted Kremenek · 16 years ago
  13. 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
  14. 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
  15. 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
  16. 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
  17. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  18. a758173 Get array's lvalue through standard interface. by Zhongxing Xu · 16 years ago
  19. ab9f1a2 Return the corresponding MemRegionVal for both rvalue and lvalue of array of by Zhongxing Xu · 16 years ago
  20. cd162cc Remove an untrue assertion: lval::FuncVals can be returned in both rvalue and lvalue contexts. by Ted Kremenek · 16 years ago
  21. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 16 years ago
  22. 97ed4f6 Add transfer function support for ObjCIvarRefExpr. by Ted Kremenek · 16 years ago
  23. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
  24. a90d56e Check some cases for previous patch. Make the code more robust. by Zhongxing Xu · 16 years ago
  25. bb316c5 Added a function call case that generates sink nodes. by Zhongxing Xu · 16 years ago
  26. 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
  27. 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
  28. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
  29. 5a236cb Revert last patch, but add a fixme by Ted Kremenek · 16 years ago
  30. 855cd90 Within the transfer function of UnaryOperatorExpr, handle implicit promotions by Ted Kremenek · 16 years ago
  31. 82bae3f Add PostStore, a new ProgramPoint to distinguish between 'stores' and other PostStmts. by Ted Kremenek · 16 years ago
  32. 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
  33. f968308 Add panic function "__assert_fail". by Ted Kremenek · 16 years ago
  34. 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
  35. d452758 ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 16 years ago
  36. a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
  37. c0637cf Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h) by Ted Kremenek · 16 years ago
  38. 5f81c44 Make store "Regions" and "Bindings" more abstract instead of concrete variants. by Ted Kremenek · 16 years ago
  39. 982e674 Fixed analyzer caching bug involving the transfer function for loads. by Ted Kremenek · 16 years ago
  40. e6c62e3 Fixed analyzer caching bug in DeclStmt. by Ted Kremenek · 16 years ago
  41. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
  42. d0c4b28 Added 'extents' for Regions. by Ted Kremenek · 16 years ago
  43. bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 16 years ago
  44. caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 16 years ago
  45. 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
  46. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  47. fa07784 Default initialize only pointers and integer types (for now). by Ted Kremenek · 16 years ago
  48. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  49. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  50. 72c59d0 Initialize tracked local variables to undefined. by Ted Kremenek · 16 years ago
  51. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  52. 7386d77 Add panic function. by Ted Kremenek · 16 years ago
  53. 6297a8e Created ValueStateSet class to manage the creation of multiple states by a method. by Ted Kremenek · 16 years ago
  54. 729a9a2 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  55. b48c645 Remove redundant logic. by Ted Kremenek · 16 years ago
  56. 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
  57. 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
  58. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  59. 1fa7f58 Remove getParentMap() from GRExprEngine. by Ted Kremenek · 16 years ago
  60. 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
  61. 8b23361 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 16 years ago
  62. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  63. b8e26e6 Introduce initial transfer function support for __imag__ and __real__. We don't by Ted Kremenek · 16 years ago
  64. 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
  65. 4111024 Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl. by Chris Lattner · 16 years ago
  66. 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 · 16 years ago
  67. 489ecd5 Micro-optimization when checking for panic functions. by Ted Kremenek · 16 years ago
  68. 05a9112 Fix 80 col violation. by Ted Kremenek · 16 years ago
  69. ec8a1cb Added panic function _XCAssertionFailureHandler. by Ted Kremenek · 16 years ago
  70. 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 · 16 years ago
  71. 6ff6f8b Really noreturn on exceptions. by Ted Kremenek · 16 years ago
  72. e448ab4 Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions. by Ted Kremenek · 16 years ago
  73. 24cb8a2 Added __assert_rtn to list of panic functions. by Ted Kremenek · 16 years ago
  74. c7122d5 Added ziperr as a panic function. Eventually inter-procedural analysis by Ted Kremenek · 16 years ago
  75. ee90dba Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 16 years ago
  76. a084bb6 Add workaround for __builtin_offsetof in the static analyzer. by Ted Kremenek · 16 years ago
  77. f342d18 Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType. by Ted Kremenek · 16 years ago
  78. c52c89a When creating LVals for array entries, canonicalize entries with a 0 index. by Ted Kremenek · 16 years ago
  79. c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
  80. 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
  81. f47bb78 Add conjured symbols for decl initializations. Add db_error as panic function. by Ted Kremenek · 16 years ago
  82. 436f2b9 Invalidate old subexpression bindings when binding UnknownVal. by Ted Kremenek · 16 years ago
  83. 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
  84. 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
  85. 1b8bd4d Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 16 years ago
  86. 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 16 years ago
  87. 846d4e9 More boilerplate for handling specialized-transfer function logic for dead symbols. by Ted Kremenek · 16 years ago
  88. 77d7ef8 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 16 years ago
  89. 186350f Fixed: <rdar://problem/5881148> by Ted Kremenek · 16 years ago
  90. 5014ab1 Remove false path where the default branch in a switch statement would by Ted Kremenek · 16 years ago
  91. 688738f Added panic function "assfail". by Ted Kremenek · 16 years ago
  92. 5b7dcce Rewrote VisitDeclStmt to properly handle initializers that can do anything. by Ted Kremenek · 16 years ago
  93. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  94. 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 · 16 years ago
  95. 9a108ae Added panic function "dtrace_assfail". by Ted Kremenek · 16 years ago
  96. 9a094cb Hardcode "Assert" as a no-return function (panic). by Ted Kremenek · 16 years ago
  97. 540cbe2 Added null-dereference check for ArraySubscriptExpr. by Ted Kremenek · 16 years ago
  98. 469ecbd Added support for detected bad dereferences involving MemberExprs, e.g. x->f where "x" is NULL. by Ted Kremenek · 16 years ago
  99. b053396 Fixed more caching bugs related to the one fixed in r49914. Silence by Ted Kremenek · 16 years ago
  100. eaa9eda Fixed elusive caching bug that led to false positives. by Ted Kremenek · 16 years ago