Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / a49e3674e44104e34342d2c35ece7cb4f9bd96cb / lib / Analysis / GRExprEngine.cpp
  1. a49e367 Handle the case in VisitInitListExprs where there are no initializers in the compound literal. by Ted Kremenek · 16 years ago
  2. 4456da5 Use the correct predecessor node. by Ted Kremenek · 16 years ago
  3. 8790307 Add missing return statement. by Ted Kremenek · 16 years ago
  4. f75b186 Use a worklist in GRExprEngine::VisitInitListExpr to process subexpressions. by Ted Kremenek · 16 years ago
  5. 05d1c57 Merge the array and struct case. They are essentially the same. by Zhongxing Xu · 16 years ago
  6. 8cd5aae Rename: by Zhongxing Xu · 16 years ago
  7. c4f8706 Implement VisitInitListExpr(). InitListExpr will have a nonloc::CompoundVal value. by Zhongxing Xu · 16 years ago
  8. 2598b57 Mark yy_fatal_error as a panic function. by Ted Kremenek · 16 years ago
  9. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  10. 6eec8e8 Rename ExplicitCCastExpr to CStyleCastExpr by Douglas Gregor · 16 years ago
  11. 9d293df Improve our handling of (C++) references within Clang. Specifically: by Douglas Gregor · 16 years ago
  12. 934e3e9 Remove type-punning warning in GRExprEngine. No functionality change. by Ted Kremenek · 16 years ago
  13. 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
  14. 49badde Refactor the expression class hierarchy for casts. Most importantly: by Douglas Gregor · 16 years ago
  15. 5b2316a Do not crash when performing VisitLValue on union types. This fixes PR 2948. by Ted Kremenek · 16 years ago
  16. 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 16 years ago
  17. c9b250e Now we can handle arrays. by Zhongxing Xu · 16 years ago
  18. 0b50f5b Implicit conversions from arrays can also be conversions to references (will add a test case shortly). by Ted Kremenek · 16 years ago
  19. 9deb0e3 Added method "getSelfRegion" to Store. This method returns the region associated with the "this" or "self" object (C++ and Objective-C respectively). by Ted Kremenek · 16 years ago
  20. 5b8b6f2 Fix 80-col violation. by Zhongxing Xu · 16 years ago
  21. 95c7b00 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 16 years ago
  22. e564b52 Add an assertion to make our intention more clear. by Zhongxing Xu · 16 years ago
  23. e1911af Let StoreManager do different cast on arrays. BasicStore will just keep it intact. by Zhongxing Xu · 16 years ago
  24. c92e5fe Adjust parameter order to more natural one. by Zhongxing Xu · 16 years ago
  25. ed340f7 Exprs of function type is another special case for ImplicitCast. by Zhongxing Xu · 16 years ago
  26. 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
  27. 8e9bebd Preliminary support for function overloading by Douglas Gregor · 16 years ago
  28. 933c3e1 Localize the special processing of array variable inside by Zhongxing Xu · 16 years ago
  29. 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
  30. 9ff267d Used conjured symbols to recover path-sensitivity when the result of a compound assignment is UnknownVal(). by Ted Kremenek · 16 years ago
  31. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 16 years ago
  32. f8cd1b2 Generalize VisitLValue: not only can CallExprs and ObjCMessageExprs return aggregate temporaries, so can many other expressions. by Ted Kremenek · 16 years ago
  33. 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
  34. 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
  35. 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
  36. 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
  37. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  38. a758173 Get array's lvalue through standard interface. by Zhongxing Xu · 16 years ago
  39. ab9f1a2 Return the corresponding MemRegionVal for both rvalue and lvalue of array of by Zhongxing Xu · 16 years ago
  40. cd162cc Remove an untrue assertion: lval::FuncVals can be returned in both rvalue and lvalue contexts. by Ted Kremenek · 16 years ago
  41. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 16 years ago
  42. 97ed4f6 Add transfer function support for ObjCIvarRefExpr. by Ted Kremenek · 16 years ago
  43. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
  44. a90d56e Check some cases for previous patch. Make the code more robust. by Zhongxing Xu · 16 years ago
  45. bb316c5 Added a function call case that generates sink nodes. by Zhongxing Xu · 16 years ago
  46. 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
  47. 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
  48. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
  49. 5a236cb Revert last patch, but add a fixme by Ted Kremenek · 16 years ago
  50. 855cd90 Within the transfer function of UnaryOperatorExpr, handle implicit promotions by Ted Kremenek · 16 years ago
  51. 82bae3f Add PostStore, a new ProgramPoint to distinguish between 'stores' and other PostStmts. by Ted Kremenek · 16 years ago
  52. 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
  53. f968308 Add panic function "__assert_fail". by Ted Kremenek · 16 years ago
  54. 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
  55. d452758 ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 16 years ago
  56. a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
  57. c0637cf Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h) by Ted Kremenek · 16 years ago
  58. 5f81c44 Make store "Regions" and "Bindings" more abstract instead of concrete variants. by Ted Kremenek · 16 years ago
  59. 982e674 Fixed analyzer caching bug involving the transfer function for loads. by Ted Kremenek · 16 years ago
  60. e6c62e3 Fixed analyzer caching bug in DeclStmt. by Ted Kremenek · 16 years ago
  61. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
  62. d0c4b28 Added 'extents' for Regions. by Ted Kremenek · 16 years ago
  63. bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 16 years ago
  64. caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 16 years ago
  65. 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
  66. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  67. fa07784 Default initialize only pointers and integer types (for now). by Ted Kremenek · 16 years ago
  68. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  69. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  70. 72c59d0 Initialize tracked local variables to undefined. by Ted Kremenek · 16 years ago
  71. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  72. 7386d77 Add panic function. by Ted Kremenek · 16 years ago
  73. 6297a8e Created ValueStateSet class to manage the creation of multiple states by a method. by Ted Kremenek · 16 years ago
  74. 729a9a2 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  75. b48c645 Remove redundant logic. by Ted Kremenek · 16 years ago
  76. 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
  77. 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
  78. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  79. 1fa7f58 Remove getParentMap() from GRExprEngine. by Ted Kremenek · 16 years ago
  80. 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
  81. 8b23361 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 16 years ago
  82. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  83. b8e26e6 Introduce initial transfer function support for __imag__ and __real__. We don't by Ted Kremenek · 16 years ago
  84. 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
  85. 4111024 Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl. by Chris Lattner · 16 years ago
  86. 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
  87. 489ecd5 Micro-optimization when checking for panic functions. by Ted Kremenek · 17 years ago
  88. 05a9112 Fix 80 col violation. by Ted Kremenek · 17 years ago
  89. ec8a1cb Added panic function _XCAssertionFailureHandler. by Ted Kremenek · 17 years ago
  90. 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
  91. 6ff6f8b Really noreturn on exceptions. by Ted Kremenek · 17 years ago
  92. e448ab4 Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions. by Ted Kremenek · 17 years ago
  93. 24cb8a2 Added __assert_rtn to list of panic functions. by Ted Kremenek · 17 years ago
  94. c7122d5 Added ziperr as a panic function. Eventually inter-procedural analysis by Ted Kremenek · 17 years ago
  95. ee90dba Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 17 years ago
  96. a084bb6 Add workaround for __builtin_offsetof in the static analyzer. by Ted Kremenek · 17 years ago
  97. f342d18 Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType. by Ted Kremenek · 17 years ago
  98. c52c89a When creating LVals for array entries, canonicalize entries with a 0 index. by Ted Kremenek · 17 years ago
  99. c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
  100. 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago