Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 0ba9fd6c47bc1a49ec9db249d9c30d9cba85564f / clang / lib / Checker / BasicStore.cpp
  1. 0ba9fd6 Remove redundant method. by Zhongxing Xu · 15 years ago
  2. ac0ab20e Add a callback for when region changes occur. Still somewhat of a work-in-progress, but working! Effect on clients: all changes to a store now go through GRState. by Jordy Rose · 15 years ago
  3. 8de0a3d MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
  4. ab178fa Explicitly guard in BasicStore from storing to non-scalars. by Ted Kremenek · 15 years ago
  5. 3e02548 constify. by Zhongxing Xu · 15 years ago
  6. bd86271 Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 15 years ago
  7. f7488ec Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents. by Jordy Rose · 15 years ago
  8. 70c0908 Correctly return early from BasicStoreManager::iterBindings() when the BindingsHandler returns false. by Ted Kremenek · 15 years ago
  9. d4f1294 Remove extents of dead symbolic regions when RemoveDeadBindings. by Zhongxing Xu · 15 years ago
  10. 8385a06 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 16 years ago
  11. 03fd766 Mark CXXThisRegion in the current or parent stack frame context as live so that by Zhongxing Xu · 16 years ago
  12. 7de5f32 Enhance basic store to also lazily symbolicate VarRegions by Ted Kremenek · 16 years ago
  13. 5d2bb1b [CFG] by Ted Kremenek · 16 years ago
  14. 6d3cc38 Since now we store the cast type with an ElementRegion, there is by Zhongxing Xu · 16 years ago
  15. c5f825e BindInternal is redundant. Remove it. by Zhongxing Xu · 16 years ago
  16. b02d4a0 Unify the implementation of getLValueElement of store managers. by Zhongxing Xu · 16 years ago
  17. f7f0cdc Unify the implementation of getLValueIvar and getLValueField of store managers. by Zhongxing Xu · 16 years ago
  18. 08515a5 Move common methods to the base StoreManager class. by Zhongxing Xu · 16 years ago
  19. ad0ef84 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  20. f668204 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  21. 7fcd8ac More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  22. c7b9f95 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  23. 4f8b989 Now that CastRetrievedVal returns SVal, there is no need to use CastResult. by Zhongxing Xu · 16 years ago
  24. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (99%) from clang/lib/Analysis/BasicStore.cpp]
  25. d970acb Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 16 years ago
  26. 3ab9e4c Temporarily revert 91553. by Ted Kremenek · 16 years ago
  27. 023bcea Remove use of ObjCObjectRegion from BasicStoreManager. by Ted Kremenek · 16 years ago
  28. 04af9f2 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 16 years ago
  29. c32f2c2 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 16 years ago
  30. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  31. 731f462 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 16 years ago
  32. f8f3f9d Rename: StripCasts describes what it does better. by Zhongxing Xu · 16 years ago
  33. b006b82 Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*, and modify GRExprEngine::EvalBind() to handle decl initialization as well. This paves the way for adding "checker" visitation in EvalBind(). by Ted Kremenek · 16 years ago
  34. 1eb6809 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 16 years ago
  35. 7d6387b * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 16 years ago
  36. e41b81e Fix: by Ted Kremenek · 16 years ago
  37. 7020eae Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 16 years ago
  38. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  39. c4c48be Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays. RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager. This fixes PR 4781. by Ted Kremenek · 16 years ago
  40. 3ed9543 Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 16 years ago
  41. 89b422c Replace cerr with errs(). by Benjamin Kramer · 16 years ago
  42. 608677a Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 16 years ago
  43. 14536f6 Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 16 years ago
  44. 871918c Get the code decl from the initial location context. by Zhongxing Xu · 16 years ago
  45. 5f078cb To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 16 years ago
  46. cee28a4 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 16 years ago
  47. c23c7e6 Change uses of: by Ted Kremenek · 16 years ago
  48. 4301526 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 16 years ago
  49. bca7067 Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 16 years ago
  50. ac7c724 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 16 years ago
  51. 8a286fb Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
  52. e3fb4b6 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
  53. f3e1e4d Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. by Ted Kremenek · 16 years ago
  54. a6904ff Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream. by Ted Kremenek · 16 years ago
  55. f665579 Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 16 years ago
  56. eea8c29 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
  57. 24c8513 BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a variable can be symbolicated. by Ted Kremenek · 16 years ago
  58. df67d42 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 16 years ago
  59. 8fd1879 Combine two conditional branches into one. No functionality change. by Ted Kremenek · 16 years ago
  60. 6377a98 We do not require the super region of element region be typed. So do not by Zhongxing Xu · 16 years ago
  61. ddcd132 Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 16 years ago
  62. d260db1 Do not crash on binding concrete integer location. by Zhongxing Xu · 16 years ago
  63. f7a6de3 Simplify some code. As in region store, we always expect the location is a by Zhongxing Xu · 16 years ago
  64. 799bb6e Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  65. 8cf2021 Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 16 years ago
  66. 7718ae4 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
  67. fb87e30 MemRegions: by Ted Kremenek · 16 years ago
  68. 609df30 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 16 years ago
  69. 838a0db Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  70. 91e2ab4 Rename: by Zhongxing Xu · 16 years ago
  71. 34d04b3 As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
  72. 8038f7b rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  73. e5c3158 Fix unused variable warning by Ted Kremenek · 17 years ago
  74. 6ae5615 Remove possibly incorrect assertion that doesn't matter. by Ted Kremenek · 17 years ago
  75. a68556c Add array index assertion: BasicStore should not expect any fancy by Ted Kremenek · 17 years ago
  76. 6ebde27 array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 17 years ago
  77. 758fda4 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 17 years ago
  78. 02e5089 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 17 years ago
  79. a11c607 Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a pointer. by Ted Kremenek · 17 years ago
  80. 3941d22 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 17 years ago
  81. 2d495a6 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 17 years ago
  82. 3070210 Remove loc::FuncVal. by Zhongxing Xu · 17 years ago
  83. e3dcb2d FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 17 years ago
  84. df24000 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 17 years ago
  85. dadf250 Finally nuke loc::SymbolVal. by Zhongxing Xu · 17 years ago
  86. f2489ea - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 17 years ago
  87. ec7e7df This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 17 years ago
  88. ac50898 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 17 years ago
  89. a865b79 Implement a FIXME. by Zhongxing Xu · 17 years ago
  90. 3e31c26 analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 17 years ago
  91. c7fef2a analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 17 years ago
  92. b36e01d Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 17 years ago
  93. fa3d77b Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 17 years ago
  94. 89f4781 Minor code compaction. No functionality change. by Ted Kremenek · 17 years ago
  95. 1fe63ac Rename VarBindings -> Bindings. by Ted Kremenek · 17 years ago
  96. 2f340d6c BasicStore: by Ted Kremenek · 17 years ago
  97. 9f276d6 Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 17 years ago
  98. 4c8a581 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 17 years ago
  99. 8dc671c Add StoreManager::getSubRegionMap(). This method returns an opaque mapping for clients of StoreManagers from MemRegions to their subregions. by Ted Kremenek · 17 years ago
  100. 07e9568 Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 17 years ago