Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 40bbff0a96fc3e4077313eb08d21b7824fbc3e5e / lib / Analysis / GRExprEngine.cpp
  1. 40bbff0 Add panic function. by Ted Kremenek · 16 years ago
  2. 29ba6b4 Add '_assert' to list of known panic functions. by Ted Kremenek · 16 years ago
  3. 3c385e5 Add hook to add attributes to function declarations that we know by Douglas Gregor · 16 years ago
  4. a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 16 years ago
  5. 5b8d901 Use GRTransferFuncs::EvalBind when processing variable initializations. by Ted Kremenek · 16 years ago
  6. 41573eb Static analyzer: by Ted Kremenek · 16 years ago
  7. 3e41d60 Implicitly declare certain C library functions (malloc, strcpy, memmove, by Douglas Gregor · 16 years ago
  8. a8538d9 GRExprEngine: by Ted Kremenek · 16 years ago
  9. cad2996 GRExprEngine: When processing compound assignments, do a switch table lookup to get the non-compound opcode from the compound opcode instead of relying on the order of BinaryOperator::opcode values. This unbreaks the misc-ps.c test. by Ted Kremenek · 16 years ago
  10. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  11. 97c4d47 Remove dead code. by Zhongxing Xu · 16 years ago
  12. 7da5aea make SM::getColumnNumber take a predecomposed FileID/offset, which by Chris Lattner · 16 years ago
  13. 1e2b1fc Move method out-of-line. by Ted Kremenek · 16 years ago
  14. d7eb846 Switch Type::isAggregateType to use the C++ definition of "aggregate by Douglas Gregor · 16 years ago
  15. 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
  16. 4afa39d Remove ScopedDecl, collapsing all of its functionality into Decl, so by Douglas Gregor · 16 years ago
  17. 72afb37 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. by Ted Kremenek · 16 years ago
  18. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  19. 1a49af9 Add QualifiedDeclRefExpr, which retains additional source-location by Douglas Gregor · 16 years ago
  20. a5a4166 Fix initialization order. by Zhongxing Xu · 16 years ago
  21. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  22. 86f1940 Add support for member references (E1.E2, E1->E2) with C++ semantics, by Douglas Gregor · 16 years ago
  23. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  24. 8c35475 ProgramPoint: by Ted Kremenek · 16 years ago
  25. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago
  26. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  27. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  28. bbfd07a In GRExprEngine treat @throw as an 'abort' that ends the current path. This is a temporary solution. by Ted Kremenek · 16 years ago
  29. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
  30. efd5994 Add checking for zero-sized VLAs. by Ted Kremenek · 16 years ago
  31. 759623e Add bandaid transfer function support for assignments involving ObjCKVCRefExpr. by Ted Kremenek · 16 years ago
  32. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  33. 6987c7b Add support for initializing array with string literal. by Zhongxing Xu · 16 years ago
  34. d5b499d Code cleanup. No functional change. by Zhongxing Xu · 16 years ago
  35. 22438a8 Add support for pluggable components of static analyzer. by Zhongxing Xu · 16 years ago
  36. a68c106 Remove FIXME comment. by Ted Kremenek · 16 years ago
  37. baf03a7 Add support for AllocaRegion extent with GDM. by Zhongxing Xu · 16 years ago
  38. 1ed8d4b Cleanup code with utility method. by Zhongxing Xu · 16 years ago
  39. 1c0c233 Add out-of-bound memory access warning report code. by Zhongxing Xu · 16 years ago
  40. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
  41. 5917d78 - Clean up transfer function logic for 'return' statements. by Ted Kremenek · 16 years ago
  42. cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 16 years ago
  43. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
  44. 0fb7c61 Reduce permissiveness of assertion. by Ted Kremenek · 16 years ago
  45. 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
  46. 5631a73 Re-enable an assertion that I mistakenly removed. by Ted Kremenek · 16 years ago
  47. d291c8c Use the correct QualType when creating the '0' constant. by Ted Kremenek · 16 years ago
  48. 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
  49. 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
  50. b460980 Add a new expression node, CXXOperatorCallExpr, which expresses a by Douglas Gregor · 16 years ago
  51. 37d682a Improve comments. by Zhongxing Xu · 16 years ago
  52. 82bd99f - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 16 years ago
  53. 6d82f9d Lift the pointer to alloca'ed region to the pointer to its first element. by Zhongxing Xu · 16 years ago
  54. 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
  55. 76dba7b GRExprEngine::VisitInitListExpr: by Ted Kremenek · 16 years ago
  56. 116ed0a Shore up transfer function for ObjCForCollectionStmt. by Ted Kremenek · 16 years ago
  57. af33741 Add (preliminary) transfer function support for ObjCForCollectionStmt. Still need to flesh out some logic. by Ted Kremenek · 16 years ago
  58. 0518999 Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expressions, both of values and types. by Sebastian Redl · 16 years ago
  59. 8341be7 silence a warning from gcc. by Chris Lattner · 16 years ago
  60. 60156f0 Add a boilerplate for out-of-bound array checking. This has no real function currently. by Zhongxing Xu · 16 years ago
  61. f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
  62. b302133 Add transfer function logic for alloca(). by Ted Kremenek · 16 years ago
  63. 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
  64. d3118bd Fix 80-col violations. by Zhongxing Xu · 16 years ago
  65. da6b999 Add a tentative assertion. by Zhongxing Xu · 16 years ago
  66. a189dca Fix a comment. by Zhongxing Xu · 16 years ago
  67. a49e367 Handle the case in VisitInitListExprs where there are no initializers in the compound literal. by Ted Kremenek · 16 years ago
  68. 4456da5 Use the correct predecessor node. by Ted Kremenek · 16 years ago
  69. 8790307 Add missing return statement. by Ted Kremenek · 16 years ago
  70. f75b186 Use a worklist in GRExprEngine::VisitInitListExpr to process subexpressions. by Ted Kremenek · 16 years ago
  71. 05d1c57 Merge the array and struct case. They are essentially the same. by Zhongxing Xu · 16 years ago
  72. 8cd5aae Rename: by Zhongxing Xu · 16 years ago
  73. c4f8706 Implement VisitInitListExpr(). InitListExpr will have a nonloc::CompoundVal value. by Zhongxing Xu · 16 years ago
  74. 2598b57 Mark yy_fatal_error as a panic function. by Ted Kremenek · 16 years ago
  75. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  76. 6eec8e8 Rename ExplicitCCastExpr to CStyleCastExpr by Douglas Gregor · 16 years ago
  77. 9d293df Improve our handling of (C++) references within Clang. Specifically: by Douglas Gregor · 16 years ago
  78. 934e3e9 Remove type-punning warning in GRExprEngine. No functionality change. by Ted Kremenek · 16 years ago
  79. 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
  80. 49badde Refactor the expression class hierarchy for casts. Most importantly: by Douglas Gregor · 16 years ago
  81. 5b2316a Do not crash when performing VisitLValue on union types. This fixes PR 2948. by Ted Kremenek · 16 years ago
  82. 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 16 years ago
  83. c9b250e Now we can handle arrays. by Zhongxing Xu · 16 years ago
  84. 0b50f5b Implicit conversions from arrays can also be conversions to references (will add a test case shortly). by Ted Kremenek · 16 years ago
  85. 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
  86. 5b8b6f2 Fix 80-col violation. by Zhongxing Xu · 16 years ago
  87. 95c7b00 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 16 years ago
  88. e564b52 Add an assertion to make our intention more clear. by Zhongxing Xu · 16 years ago
  89. e1911af Let StoreManager do different cast on arrays. BasicStore will just keep it intact. by Zhongxing Xu · 16 years ago
  90. c92e5fe Adjust parameter order to more natural one. by Zhongxing Xu · 16 years ago
  91. ed340f7 Exprs of function type is another special case for ImplicitCast. by Zhongxing Xu · 16 years ago
  92. 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
  93. 8e9bebd Preliminary support for function overloading by Douglas Gregor · 16 years ago
  94. 933c3e1 Localize the special processing of array variable inside by Zhongxing Xu · 16 years ago
  95. 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
  96. 9ff267d Used conjured symbols to recover path-sensitivity when the result of a compound assignment is UnknownVal(). by Ted Kremenek · 16 years ago
  97. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 16 years ago
  98. f8cd1b2 Generalize VisitLValue: not only can CallExprs and ObjCMessageExprs return aggregate temporaries, so can many other expressions. by Ted Kremenek · 16 years ago
  99. 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
  100. 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