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