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