Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / ec820c6bc49aef01767b5810e765bba853909ef8 / lib / Analysis / GRExprEngine.cpp
  1. 5200354 Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the case by Ted Kremenek · 16 years ago
  2. 1152fc0 Fix caching bug revealed by analyzing ClamAV using RegionStore. by Ted Kremenek · 16 years ago
  3. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
  4. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
  5. 06669c8 Two changes: by Ted Kremenek · 16 years ago
  6. 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 16 years ago
  7. 43d74a5 Handle insidious corner case exposed by RegionStoreManager when handling void* values that are bound by Ted Kremenek · 16 years ago
  8. 40b598e Remove the ASTContext parameter from the attribute-related methods of Decl. by Argyrios Kyrtzidis · 16 years ago
  9. e4f2142 Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. by Chris Lattner · 16 years ago
  10. 1140186 Remove '#include <sstream>' from libAnalysis. by Ted Kremenek · 16 years ago
  11. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  12. 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  13. 02995ce Update for LLVM API changes. by Owen Anderson · 16 years ago
  14. 25e751a Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 16 years ago
  15. 76500d0 Remove GRStateManager::BindLoc() and GRStateManager::Unbind(). by Ted Kremenek · 16 years ago
  16. f3b0975 Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit(). by Ted Kremenek · 16 years ago
  17. ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 16 years ago
  18. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
  19. 3038c5a ValueManager::makeNonLoc -> ValueManager::makeIntVal by Zhongxing Xu · 16 years ago
  20. 3ff1259 Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, instead by Ted Kremenek · 16 years ago
  21. 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 16 years ago
  22. a591bc0 libAnalysis: by Ted Kremenek · 16 years ago
  23. 68584ed Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. by Douglas Gregor · 16 years ago
  24. b65be70 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 16 years ago
  25. 1b63e4f Sink the BuiltinInfo object from ASTContext into the by Chris Lattner · 16 years ago
  26. 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
  27. a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
  28. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  29. 7090d54 analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for by Ted Kremenek · 16 years ago
  30. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
  31. 16f0049 split ObjC and C++ Statements out into their own headers. by Chris Lattner · 16 years ago
  32. b3cfd58 Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic by Ted Kremenek · 16 years ago
  33. 868210e Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr. by Ted Kremenek · 16 years ago
  34. af48fdd Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness by Ted Kremenek · 16 years ago
  35. 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 16 years ago
  36. b3bf76f Add analyzer support for objc_atomicCompareAndSwap() by Ted Kremenek · 16 years ago
  37. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 16 years ago
  38. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  39. 52e5602 Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1) by Ted Kremenek · 16 years ago
  40. b725232 Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allows by Ted Kremenek · 16 years ago
  41. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
  42. 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 16 years ago
  43. caf8ce1 clean up code with new API. by Zhongxing Xu · 16 years ago
  44. 9cafcd5 clean up code with new API. by Zhongxing Xu · 16 years ago
  45. cfe2991 clean up code with new API. by Zhongxing Xu · 16 years ago
  46. ea7c5ce stop using loc::SymbolVal. by Zhongxing Xu · 16 years ago
  47. f8769c8 Fix a null pointer dereference error due to state caching in a loop involving by Ted Kremenek · 16 years ago
  48. 867418f Create a symbolic region instead of a loc::SymbolVal. This is a continued step by Zhongxing Xu · 16 years ago
  49. fe630b9 GRExprEngine: Don't try to reason about the size of 'void' for the return type by Ted Kremenek · 16 years ago
  50. e644939 Fix another regression introduced by changes to the analyzer's reasoning about by Ted Kremenek · 16 years ago
  51. e8dbf06 Refactor/cleanup reasoning of nil receivers in message expressions. by Ted Kremenek · 16 years ago
  52. da9ae60 Enhance analyzer reasoning about sending messages to nil. A nil receiver returns 0 for scalars of size <= sizeof(void*). by Ted Kremenek · 16 years ago
  53. 899b3de New static analyzer check by Nikita Zhuk! by Ted Kremenek · 16 years ago
  54. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
  55. b930d7a Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct by Ted Kremenek · 16 years ago
  56. 536aa02 Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck that by Ted Kremenek · 16 years ago
  57. f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
  58. 7e24e82 rename some methods. by Chris Lattner · 16 years ago
  59. ab3a852 Change compound assignment operators to keep track of both the promoted by Eli Friedman · 16 years ago
  60. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  61. bb9b271 GRExprEngine: by Ted Kremenek · 16 years ago
  62. 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
  63. 6ae8a36 Add a hack in the analyzer to recover some path-sensitivity at branch by Ted Kremenek · 16 years ago
  64. 21028dd GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the Condition is null. by Ted Kremenek · 16 years ago
  65. 0bed8a1 GRExprEngine: Add pretty-stack trace printing for crashes and assertion failures. by Ted Kremenek · 16 years ago
  66. 276c6ac GRExprEngine: For places we might conjure up a new symbol to recover by Ted Kremenek · 16 years ago
  67. 940abcc Use the BugReports in BugReporter to determine the root nodes for "trim-egraph". by Ted Kremenek · 16 years ago
  68. fda79d1 Remove some dead spacing. No functionality change. by Ted Kremenek · 16 years ago
  69. 5c42f9b Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers. by Ted Kremenek · 16 years ago
  70. c530291 Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions. by Ted Kremenek · 16 years ago
  71. ac78d6b Add 'cast<>' to remove an extra function call and dynamic cast. by Ted Kremenek · 16 years ago
  72. e121da4 More fixes in cast logic. by Ted Kremenek · 16 years ago
  73. efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
  74. 16aac32 Fix regression in transparent translation of nonloc::ConcreteInto to loc::ConcreteInt. by Ted Kremenek · 16 years ago
  75. a4cb9d3 GRExprEngine::VisitCast: Just pass through function and block pointers. by Ted Kremenek · 16 years ago
  76. dc40290 Create "TypedViewRegions" that layer on top of SymbolicRegions when handling by Ted Kremenek · 16 years ago
  77. f5cae63 Revert 65707 (causes stack memory to be referenced after it is released). by Ted Kremenek · 16 years ago
  78. 56627e6 remove static ctor. by Chris Lattner · 16 years ago
  79. 161d36d improve compatibility with the VC++'08 C++ compiler. Patch by Niklas Larsson! by Chris Lattner · 16 years ago
  80. 72564e7 Create a new TypeNodes.def file that enumerates all of the types, by Douglas Gregor · 16 years ago
  81. b293902 Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the same statement. by Ted Kremenek · 16 years ago
  82. 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 16 years ago
  83. 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
  84. 21fe837 Implemented simple check in <rdar://problem/6600344>: When the receiver of a by Ted Kremenek · 16 years ago
  85. 40bbff0 Add panic function. by Ted Kremenek · 16 years ago
  86. 29ba6b4 Add '_assert' to list of known panic functions. by Ted Kremenek · 16 years ago
  87. 3c385e5 Add hook to add attributes to function declarations that we know by Douglas Gregor · 16 years ago
  88. a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 16 years ago
  89. 5b8d901 Use GRTransferFuncs::EvalBind when processing variable initializations. by Ted Kremenek · 16 years ago
  90. 41573eb Static analyzer: by Ted Kremenek · 16 years ago
  91. 3e41d60 Implicitly declare certain C library functions (malloc, strcpy, memmove, by Douglas Gregor · 16 years ago
  92. a8538d9 GRExprEngine: by Ted Kremenek · 16 years ago
  93. 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 · 17 years ago
  94. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 17 years ago
  95. 97c4d47 Remove dead code. by Zhongxing Xu · 17 years ago
  96. 7da5aea make SM::getColumnNumber take a predecomposed FileID/offset, which by Chris Lattner · 17 years ago
  97. 1e2b1fc Move method out-of-line. by Ted Kremenek · 17 years ago
  98. d7eb846 Switch Type::isAggregateType to use the C++ definition of "aggregate by Douglas Gregor · 17 years ago
  99. 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 · 17 years ago
  100. 4afa39d Remove ScopedDecl, collapsing all of its functionality into Decl, so by Douglas Gregor · 17 years ago