Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 33c4ba87948b7cad1e4ab4848a27b51a259b8981 / lib / Analysis / GRExprEngine.cpp
  1. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 16 years ago
  2. 8780679 Fix: by Ted Kremenek · 16 years ago
  3. 657406d Fix PR 4988 by removing an invalid assertion (a function can be referenced in by Ted Kremenek · 16 years ago
  4. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 16 years ago
  5. 183700f Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 16 years ago
  6. 7682302 Remove ImplicitBadDivides/ExplicitBadDivides node sets. This checking is now down by a 'Checker' and not build into GRExprEngine. by Ted Kremenek · 16 years ago
  7. aab7efe Per feedback from Eli, recognize in the transfer function logic for by Ted Kremenek · 16 years ago
  8. e2b5744 Add static analyzer transfer function support for __builtin_offsetof. by Ted Kremenek · 16 years ago
  9. 7814e6d Remove unnecessary ASTContext parameter from FunctionDecl::isBuiltinID by Douglas Gregor · 16 years ago
  10. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 16 years ago
  11. b317f8f Make AnalysisManager stateless. Now other analyzer components only depends on by Zhongxing Xu · 16 years ago
  12. cfcd7fd Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon entry to a method by Ted Kremenek · 16 years ago
  13. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  14. aeba284 pass the correct predecessor node. by Zhongxing Xu · 16 years ago
  15. 248072a Refactor builtin function evaluation code into its own function. by Zhongxing Xu · 16 years ago
  16. 4e71ddb move the check into MarkNoReturnFunction. by Zhongxing Xu · 16 years ago
  17. 326d617 Extract mark-no-return-function code into a function. by Zhongxing Xu · 16 years ago
  18. e1ccccf Fix 80 column violations. by Ted Kremenek · 16 years ago
  19. 6403b57 Refactor the check for bad divide into a checker. by Zhongxing Xu · 16 years ago
  20. d99f361 Refactor bad callee check into a Checker. by Zhongxing Xu · 16 years ago
  21. 83f6faf Eliminate CXXAdornedMemberExpr entirely. Instead, optionally allocate by Douglas Gregor · 16 years ago
  22. 0979c80 Rename CXXQualifiedMemberExpr -> CXXAdornedMemberExpr, since we will by Douglas Gregor · 16 years ago
  23. 9a5bca3 Refactor undefined argument checking into a Checker. by Zhongxing Xu · 16 years ago
  24. 8e02934 Rename 'bindExpr' to 'BindExpr'. by Ted Kremenek · 16 years ago
  25. c999496 Remove a unused member variable. Instead query the option from AnalysisManager. by Zhongxing Xu · 16 years ago
  26. 0fb0bc4 Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, greatly simplifying the logic of the analyzer in many places. We now only distinguish between block-level expressions and subexpressions in Environment::RemoveDeadBindings and GRState pretty-printing. by Ted Kremenek · 16 years ago
  27. bd4c4ae When a member reference expression includes a qualifier on the member by Douglas Gregor · 16 years ago
  28. ff4264d Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp. by Ted Kremenek · 16 years ago
  29. 5032ffe Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 16 years ago
  30. cc02553 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 16 years ago
  31. 6cb7c1a Replace cerr with errs(). by Benjamin Kramer · 16 years ago
  32. 2376002 Remove 'AnalysisContext::setDecl()', as we the Decl associated with an by Ted Kremenek · 16 years ago
  33. d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 16 years ago
  34. b8310ea Get the code decl from the initial location context. by Zhongxing Xu · 16 years ago
  35. 09105f5 Using "ObjCImplicitSetterGetterRefExpr" instead of "ObjCImplctSetterGetterRefExpr". by Fariborz Jahanian · 16 years ago
  36. 154440e Renamed ObjCKVCRefExpr to ObjCImplctSetterGetterRefExpr. by Fariborz Jahanian · 16 years ago
  37. 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 16 years ago
  38. 25e695b Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 16 years ago
  39. 031ccc0 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 16 years ago
  40. c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 16 years ago
  41. a52ad4e If the UnaryOperator has non-location type, use its type to create the by Zhongxing Xu · 16 years ago
  42. 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
  43. 6217b80 Change uses of: by Ted Kremenek · 16 years ago
  44. f3bfa21 Fix PR 4631. The compound initializers of unions were not being evaluated, which by Ted Kremenek · 16 years ago
  45. 3629255 Revert r76831, there are many Analyzer test failures on multiple platforms. by Daniel Dunbar · 16 years ago
  46. 7a2d953 Add 'previsit' Checker pass for ObjCMessageExprs. by Ted Kremenek · 16 years ago
  47. 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 16 years ago
  48. 5a5d98b Add support for registering 'Checker' objects with GRExprEngine. by Ted Kremenek · 16 years ago
  49. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 16 years ago
  50. bc59aa5 Enhance GRExprEngine::EvalBind to handle some implicit casts from nonlocs to by Ted Kremenek · 16 years ago
  51. 1ff8339 Add FIXME. by Ted Kremenek · 16 years ago
  52. 5200354 Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the case by Ted Kremenek · 16 years ago
  53. 1152fc0 Fix caching bug revealed by analyzing ClamAV using RegionStore. by Ted Kremenek · 16 years ago
  54. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
  55. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
  56. 06669c8 Two changes: by Ted Kremenek · 16 years ago
  57. 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 16 years ago
  58. 43d74a5 Handle insidious corner case exposed by RegionStoreManager when handling void* values that are bound by Ted Kremenek · 16 years ago
  59. 40b598e Remove the ASTContext parameter from the attribute-related methods of Decl. by Argyrios Kyrtzidis · 16 years ago
  60. e4f2142 Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. by Chris Lattner · 16 years ago
  61. 1140186 Remove '#include <sstream>' from libAnalysis. by Ted Kremenek · 16 years ago
  62. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  63. 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  64. 02995ce Update for LLVM API changes. by Owen Anderson · 16 years ago
  65. 25e751a Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 16 years ago
  66. 76500d0 Remove GRStateManager::BindLoc() and GRStateManager::Unbind(). by Ted Kremenek · 16 years ago
  67. f3b0975 Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit(). by Ted Kremenek · 16 years ago
  68. ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 16 years ago
  69. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
  70. 3038c5a ValueManager::makeNonLoc -> ValueManager::makeIntVal by Zhongxing Xu · 16 years ago
  71. 3ff1259 Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, instead by Ted Kremenek · 16 years ago
  72. 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 16 years ago
  73. a591bc0 libAnalysis: by Ted Kremenek · 16 years ago
  74. 68584ed Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. by Douglas Gregor · 16 years ago
  75. b65be70 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 16 years ago
  76. 1b63e4f Sink the BuiltinInfo object from ASTContext into the by Chris Lattner · 16 years ago
  77. 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
  78. a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
  79. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  80. 7090d54 analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for by Ted Kremenek · 16 years ago
  81. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
  82. 16f0049 split ObjC and C++ Statements out into their own headers. by Chris Lattner · 16 years ago
  83. b3cfd58 Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic by Ted Kremenek · 16 years ago
  84. 868210e Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr. by Ted Kremenek · 16 years ago
  85. af48fdd Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness by Ted Kremenek · 16 years ago
  86. 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 16 years ago
  87. b3bf76f Add analyzer support for objc_atomicCompareAndSwap() by Ted Kremenek · 16 years ago
  88. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 16 years ago
  89. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  90. 52e5602 Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1) by Ted Kremenek · 16 years ago
  91. b725232 Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allows by Ted Kremenek · 16 years ago
  92. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
  93. 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 16 years ago
  94. caf8ce1 clean up code with new API. by Zhongxing Xu · 16 years ago
  95. 9cafcd5 clean up code with new API. by Zhongxing Xu · 16 years ago
  96. cfe2991 clean up code with new API. by Zhongxing Xu · 16 years ago
  97. ea7c5ce stop using loc::SymbolVal. by Zhongxing Xu · 16 years ago
  98. f8769c8 Fix a null pointer dereference error due to state caching in a loop involving by Ted Kremenek · 16 years ago
  99. 867418f Create a symbolic region instead of a loc::SymbolVal. This is a continued step by Zhongxing Xu · 16 years ago
  100. fe630b9 GRExprEngine: Don't try to reason about the size of 'void' for the return type by Ted Kremenek · 16 years ago