Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / d5b499d43c3526fae7f9ebb6e2d50e79d3496ced / lib / Analysis / GRExprEngine.cpp
  1. d5b499d Code cleanup. No functional change. by Zhongxing Xu · 16 years ago
  2. 22438a8 Add support for pluggable components of static analyzer. by Zhongxing Xu · 16 years ago
  3. a68c106 Remove FIXME comment. by Ted Kremenek · 16 years ago
  4. baf03a7 Add support for AllocaRegion extent with GDM. by Zhongxing Xu · 16 years ago
  5. 1ed8d4b Cleanup code with utility method. by Zhongxing Xu · 16 years ago
  6. 1c0c233 Add out-of-bound memory access warning report code. by Zhongxing Xu · 16 years ago
  7. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
  8. 5917d78 - Clean up transfer function logic for 'return' statements. by Ted Kremenek · 16 years ago
  9. cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 16 years ago
  10. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
  11. 0fb7c61 Reduce permissiveness of assertion. by Ted Kremenek · 16 years ago
  12. 60595da Reverted part of r59335: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20081110/009243.html by Ted Kremenek · 16 years ago
  13. 5631a73 Re-enable an assertion that I mistakenly removed. by Ted Kremenek · 16 years ago
  14. d291c8c Use the correct QualType when creating the '0' constant. by Ted Kremenek · 16 years ago
  15. e04a5cb Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conversions caused by the '!' operator. This required adding some logic to GRSimpleVals to reason about nonloc::LocAsInteger SVals. This code appears to work fine, but it should eventually be cleaned up. by Ted Kremenek · 16 years ago
  16. 06fb99f Second attempt at implementation transfer function support for ObjCForCollectionStmt. We now assume that the 'element' expression can be any lvalue. by Ted Kremenek · 16 years ago
  17. b460980 Add a new expression node, CXXOperatorCallExpr, which expresses a by Douglas Gregor · 16 years ago
  18. 37d682a Improve comments. by Zhongxing Xu · 16 years ago
  19. 82bd99f - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 16 years ago
  20. 6d82f9d Lift the pointer to alloca'ed region to the pointer to its first element. by Zhongxing Xu · 16 years ago
  21. 062e2f9 GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars. by Ted Kremenek · 16 years ago
  22. 76dba7b GRExprEngine::VisitInitListExpr: by Ted Kremenek · 16 years ago
  23. 116ed0a Shore up transfer function for ObjCForCollectionStmt. by Ted Kremenek · 16 years ago
  24. af33741 Add (preliminary) transfer function support for ObjCForCollectionStmt. Still need to flesh out some logic. by Ted Kremenek · 16 years ago
  25. 0518999 Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expressions, both of values and types. by Sebastian Redl · 16 years ago
  26. 8341be7 silence a warning from gcc. by Chris Lattner · 16 years ago
  27. 60156f0 Add a boilerplate for out-of-bound array checking. This has no real function currently. by Zhongxing Xu · 16 years ago
  28. f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
  29. b302133 Add transfer function logic for alloca(). by Ted Kremenek · 16 years ago
  30. e580c1b Comment out invalid assertion. I'm leaving it in the code for now as a reminder to produce a test case. by Ted Kremenek · 16 years ago
  31. d3118bd Fix 80-col violations. by Zhongxing Xu · 16 years ago
  32. da6b999 Add a tentative assertion. by Zhongxing Xu · 16 years ago
  33. a189dca Fix a comment. by Zhongxing Xu · 16 years ago
  34. a49e367 Handle the case in VisitInitListExprs where there are no initializers in the compound literal. by Ted Kremenek · 16 years ago
  35. 4456da5 Use the correct predecessor node. by Ted Kremenek · 16 years ago
  36. 8790307 Add missing return statement. by Ted Kremenek · 16 years ago
  37. f75b186 Use a worklist in GRExprEngine::VisitInitListExpr to process subexpressions. by Ted Kremenek · 16 years ago
  38. 05d1c57 Merge the array and struct case. They are essentially the same. by Zhongxing Xu · 16 years ago
  39. 8cd5aae Rename: by Zhongxing Xu · 16 years ago
  40. c4f8706 Implement VisitInitListExpr(). InitListExpr will have a nonloc::CompoundVal value. by Zhongxing Xu · 16 years ago
  41. 2598b57 Mark yy_fatal_error as a panic function. by Ted Kremenek · 16 years ago
  42. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  43. 6eec8e8 Rename ExplicitCCastExpr to CStyleCastExpr by Douglas Gregor · 16 years ago
  44. 9d293df Improve our handling of (C++) references within Clang. Specifically: by Douglas Gregor · 16 years ago
  45. 934e3e9 Remove type-punning warning in GRExprEngine. No functionality change. by Ted Kremenek · 16 years ago
  46. 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
  47. 49badde Refactor the expression class hierarchy for casts. Most importantly: by Douglas Gregor · 16 years ago
  48. 5b2316a Do not crash when performing VisitLValue on union types. This fixes PR 2948. by Ted Kremenek · 16 years ago
  49. 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 16 years ago
  50. c9b250e Now we can handle arrays. by Zhongxing Xu · 16 years ago
  51. 0b50f5b Implicit conversions from arrays can also be conversions to references (will add a test case shortly). by Ted Kremenek · 16 years ago
  52. 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
  53. 5b8b6f2 Fix 80-col violation. by Zhongxing Xu · 16 years ago
  54. 95c7b00 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 16 years ago
  55. e564b52 Add an assertion to make our intention more clear. by Zhongxing Xu · 16 years ago
  56. e1911af Let StoreManager do different cast on arrays. BasicStore will just keep it intact. by Zhongxing Xu · 16 years ago
  57. c92e5fe Adjust parameter order to more natural one. by Zhongxing Xu · 16 years ago
  58. ed340f7 Exprs of function type is another special case for ImplicitCast. by Zhongxing Xu · 16 years ago
  59. 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
  60. 8e9bebd Preliminary support for function overloading by Douglas Gregor · 16 years ago
  61. 933c3e1 Localize the special processing of array variable inside by Zhongxing Xu · 16 years ago
  62. 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
  63. 9ff267d Used conjured symbols to recover path-sensitivity when the result of a compound assignment is UnknownVal(). by Ted Kremenek · 16 years ago
  64. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 16 years ago
  65. f8cd1b2 Generalize VisitLValue: not only can CallExprs and ObjCMessageExprs return aggregate temporaries, so can many other expressions. by Ted Kremenek · 16 years ago
  66. 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
  67. 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
  68. 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
  69. 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
  70. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  71. a758173 Get array's lvalue through standard interface. by Zhongxing Xu · 16 years ago
  72. ab9f1a2 Return the corresponding MemRegionVal for both rvalue and lvalue of array of by Zhongxing Xu · 16 years ago
  73. cd162cc Remove an untrue assertion: lval::FuncVals can be returned in both rvalue and lvalue contexts. by Ted Kremenek · 16 years ago
  74. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 16 years ago
  75. 97ed4f6 Add transfer function support for ObjCIvarRefExpr. by Ted Kremenek · 16 years ago
  76. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
  77. a90d56e Check some cases for previous patch. Make the code more robust. by Zhongxing Xu · 16 years ago
  78. bb316c5 Added a function call case that generates sink nodes. by Zhongxing Xu · 16 years ago
  79. 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
  80. 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
  81. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
  82. 5a236cb Revert last patch, but add a fixme by Ted Kremenek · 16 years ago
  83. 855cd90 Within the transfer function of UnaryOperatorExpr, handle implicit promotions by Ted Kremenek · 16 years ago
  84. 82bae3f Add PostStore, a new ProgramPoint to distinguish between 'stores' and other PostStmts. by Ted Kremenek · 16 years ago
  85. 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
  86. f968308 Add panic function "__assert_fail". by Ted Kremenek · 16 years ago
  87. 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
  88. d452758 ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 16 years ago
  89. a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
  90. c0637cf Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h) by Ted Kremenek · 16 years ago
  91. 5f81c44 Make store "Regions" and "Bindings" more abstract instead of concrete variants. by Ted Kremenek · 16 years ago
  92. 982e674 Fixed analyzer caching bug involving the transfer function for loads. by Ted Kremenek · 16 years ago
  93. e6c62e3 Fixed analyzer caching bug in DeclStmt. by Ted Kremenek · 16 years ago
  94. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
  95. d0c4b28 Added 'extents' for Regions. by Ted Kremenek · 16 years ago
  96. bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 16 years ago
  97. caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 16 years ago
  98. 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
  99. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  100. fa07784 Default initialize only pointers and integer types (for now). by Ted Kremenek · 16 years ago