Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 8c354758c2d39db87c77c723d81e34b4d967f762 / lib / Analysis / GRExprEngine.cpp
  1. 8c35475 ProgramPoint: by Ted Kremenek · 16 years ago
  2. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago
  3. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  4. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  5. bbfd07a In GRExprEngine treat @throw as an 'abort' that ends the current path. This is a temporary solution. by Ted Kremenek · 16 years ago
  6. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
  7. efd5994 Add checking for zero-sized VLAs. by Ted Kremenek · 16 years ago
  8. 759623e Add bandaid transfer function support for assignments involving ObjCKVCRefExpr. by Ted Kremenek · 16 years ago
  9. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  10. 6987c7b Add support for initializing array with string literal. by Zhongxing Xu · 16 years ago
  11. d5b499d Code cleanup. No functional change. by Zhongxing Xu · 16 years ago
  12. 22438a8 Add support for pluggable components of static analyzer. by Zhongxing Xu · 16 years ago
  13. a68c106 Remove FIXME comment. by Ted Kremenek · 16 years ago
  14. baf03a7 Add support for AllocaRegion extent with GDM. by Zhongxing Xu · 16 years ago
  15. 1ed8d4b Cleanup code with utility method. by Zhongxing Xu · 16 years ago
  16. 1c0c233 Add out-of-bound memory access warning report code. by Zhongxing Xu · 16 years ago
  17. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
  18. 5917d78 - Clean up transfer function logic for 'return' statements. by Ted Kremenek · 16 years ago
  19. cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 16 years ago
  20. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
  21. 0fb7c61 Reduce permissiveness of assertion. by Ted Kremenek · 16 years ago
  22. 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
  23. 5631a73 Re-enable an assertion that I mistakenly removed. by Ted Kremenek · 16 years ago
  24. d291c8c Use the correct QualType when creating the '0' constant. by Ted Kremenek · 16 years ago
  25. 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
  26. 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
  27. b460980 Add a new expression node, CXXOperatorCallExpr, which expresses a by Douglas Gregor · 16 years ago
  28. 37d682a Improve comments. by Zhongxing Xu · 16 years ago
  29. 82bd99f - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 16 years ago
  30. 6d82f9d Lift the pointer to alloca'ed region to the pointer to its first element. by Zhongxing Xu · 16 years ago
  31. 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
  32. 76dba7b GRExprEngine::VisitInitListExpr: by Ted Kremenek · 16 years ago
  33. 116ed0a Shore up transfer function for ObjCForCollectionStmt. by Ted Kremenek · 16 years ago
  34. af33741 Add (preliminary) transfer function support for ObjCForCollectionStmt. Still need to flesh out some logic. by Ted Kremenek · 16 years ago
  35. 0518999 Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expressions, both of values and types. by Sebastian Redl · 16 years ago
  36. 8341be7 silence a warning from gcc. by Chris Lattner · 16 years ago
  37. 60156f0 Add a boilerplate for out-of-bound array checking. This has no real function currently. by Zhongxing Xu · 16 years ago
  38. f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
  39. b302133 Add transfer function logic for alloca(). by Ted Kremenek · 16 years ago
  40. 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
  41. d3118bd Fix 80-col violations. by Zhongxing Xu · 16 years ago
  42. da6b999 Add a tentative assertion. by Zhongxing Xu · 16 years ago
  43. a189dca Fix a comment. by Zhongxing Xu · 16 years ago
  44. a49e367 Handle the case in VisitInitListExprs where there are no initializers in the compound literal. by Ted Kremenek · 16 years ago
  45. 4456da5 Use the correct predecessor node. by Ted Kremenek · 16 years ago
  46. 8790307 Add missing return statement. by Ted Kremenek · 16 years ago
  47. f75b186 Use a worklist in GRExprEngine::VisitInitListExpr to process subexpressions. by Ted Kremenek · 16 years ago
  48. 05d1c57 Merge the array and struct case. They are essentially the same. by Zhongxing Xu · 16 years ago
  49. 8cd5aae Rename: by Zhongxing Xu · 16 years ago
  50. c4f8706 Implement VisitInitListExpr(). InitListExpr will have a nonloc::CompoundVal value. by Zhongxing Xu · 16 years ago
  51. 2598b57 Mark yy_fatal_error as a panic function. by Ted Kremenek · 16 years ago
  52. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  53. 6eec8e8 Rename ExplicitCCastExpr to CStyleCastExpr by Douglas Gregor · 16 years ago
  54. 9d293df Improve our handling of (C++) references within Clang. Specifically: by Douglas Gregor · 16 years ago
  55. 934e3e9 Remove type-punning warning in GRExprEngine. No functionality change. by Ted Kremenek · 16 years ago
  56. 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
  57. 49badde Refactor the expression class hierarchy for casts. Most importantly: by Douglas Gregor · 16 years ago
  58. 5b2316a Do not crash when performing VisitLValue on union types. This fixes PR 2948. by Ted Kremenek · 16 years ago
  59. 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 16 years ago
  60. c9b250e Now we can handle arrays. by Zhongxing Xu · 16 years ago
  61. 0b50f5b Implicit conversions from arrays can also be conversions to references (will add a test case shortly). by Ted Kremenek · 16 years ago
  62. 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
  63. 5b8b6f2 Fix 80-col violation. by Zhongxing Xu · 16 years ago
  64. 95c7b00 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 16 years ago
  65. e564b52 Add an assertion to make our intention more clear. by Zhongxing Xu · 16 years ago
  66. e1911af Let StoreManager do different cast on arrays. BasicStore will just keep it intact. by Zhongxing Xu · 16 years ago
  67. c92e5fe Adjust parameter order to more natural one. by Zhongxing Xu · 16 years ago
  68. ed340f7 Exprs of function type is another special case for ImplicitCast. by Zhongxing Xu · 16 years ago
  69. 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
  70. 8e9bebd Preliminary support for function overloading by Douglas Gregor · 16 years ago
  71. 933c3e1 Localize the special processing of array variable inside by Zhongxing Xu · 16 years ago
  72. 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
  73. 9ff267d Used conjured symbols to recover path-sensitivity when the result of a compound assignment is UnknownVal(). by Ted Kremenek · 16 years ago
  74. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 16 years ago
  75. f8cd1b2 Generalize VisitLValue: not only can CallExprs and ObjCMessageExprs return aggregate temporaries, so can many other expressions. by Ted Kremenek · 16 years ago
  76. 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
  77. 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
  78. 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
  79. 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
  80. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  81. a758173 Get array's lvalue through standard interface. by Zhongxing Xu · 16 years ago
  82. ab9f1a2 Return the corresponding MemRegionVal for both rvalue and lvalue of array of by Zhongxing Xu · 16 years ago
  83. cd162cc Remove an untrue assertion: lval::FuncVals can be returned in both rvalue and lvalue contexts. by Ted Kremenek · 16 years ago
  84. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 16 years ago
  85. 97ed4f6 Add transfer function support for ObjCIvarRefExpr. by Ted Kremenek · 16 years ago
  86. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
  87. a90d56e Check some cases for previous patch. Make the code more robust. by Zhongxing Xu · 16 years ago
  88. bb316c5 Added a function call case that generates sink nodes. by Zhongxing Xu · 16 years ago
  89. 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
  90. 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
  91. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
  92. 5a236cb Revert last patch, but add a fixme by Ted Kremenek · 16 years ago
  93. 855cd90 Within the transfer function of UnaryOperatorExpr, handle implicit promotions by Ted Kremenek · 16 years ago
  94. 82bae3f Add PostStore, a new ProgramPoint to distinguish between 'stores' and other PostStmts. by Ted Kremenek · 16 years ago
  95. 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
  96. f968308 Add panic function "__assert_fail". by Ted Kremenek · 16 years ago
  97. 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
  98. d452758 ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 16 years ago
  99. a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
  100. c0637cf Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h) by Ted Kremenek · 16 years ago