Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 697ca6dc944fd1233a6f07f0777807fbab6a31c1 / lib / Checker / BasicStore.cpp
  1. 5e4cb34 StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRState now. by Zhongxing Xu · 15 years ago
  2. 57663fe Remove redundant method. by Zhongxing Xu · 15 years ago
  3. c2b7dfa 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
  4. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
  5. c070843 Explicitly guard in BasicStore from storing to non-scalars. by Ted Kremenek · 15 years ago
  6. ce2bc7e3 constify. by Zhongxing Xu · 15 years ago
  7. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 15 years ago
  8. 7dadf79 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
  9. 744b304 Correctly return early from BasicStoreManager::iterBindings() when the BindingsHandler returns false. by Ted Kremenek · 15 years ago
  10. 9579898 Remove extents of dead symbolic regions when RemoveDeadBindings. by Zhongxing Xu · 15 years ago
  11. fb87b89 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 15 years ago
  12. 17ddf1c Mark CXXThisRegion in the current or parent stack frame context as live so that by Zhongxing Xu · 15 years ago
  13. 30986dd Enhance basic store to also lazily symbolicate VarRegions by Ted Kremenek · 15 years ago
  14. 5ba290a [CFG] by Ted Kremenek · 15 years ago
  15. 14d2328 Since now we store the cast type with an ElementRegion, there is by Zhongxing Xu · 15 years ago
  16. b241cf6 BindInternal is redundant. Remove it. by Zhongxing Xu · 15 years ago
  17. 5253568 Unify the implementation of getLValueElement of store managers. by Zhongxing Xu · 15 years ago
  18. c1511e0 Unify the implementation of getLValueIvar and getLValueField of store managers. by Zhongxing Xu · 15 years ago
  19. 459731d Move common methods to the base StoreManager class. by Zhongxing Xu · 15 years ago
  20. 72119c4 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  21. f5416bd More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  22. b4a9c61 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  23. 576bb92 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  24. c999ed7 Now that CastRetrievedVal returns SVal, there is no need to use CastResult. by Zhongxing Xu · 16 years ago
  25. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (99%) from lib/Analysis/BasicStore.cpp]
  26. c410d4d Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 16 years ago
  27. a07cb93 Temporarily revert 91553. by Ted Kremenek · 16 years ago
  28. bc73b59 Remove use of ObjCObjectRegion from BasicStoreManager. by Ted Kremenek · 16 years ago
  29. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 16 years ago
  30. edeb5b6 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 16 years ago
  31. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  32. 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 16 years ago
  33. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 16 years ago
  34. f6f56d4 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
  35. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 16 years ago
  36. d0f8bb1 * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 16 years ago
  37. 8780679 Fix: by Ted Kremenek · 16 years ago
  38. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 16 years ago
  39. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  40. ab2f43c 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
  41. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 16 years ago
  42. 6cb7c1a Replace cerr with errs(). by Benjamin Kramer · 16 years ago
  43. 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 16 years ago
  44. d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 16 years ago
  45. eda9546 Get the code decl from the initial location context. by Zhongxing Xu · 16 years ago
  46. 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 16 years ago
  47. 2f26bc3 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 16 years ago
  48. 6217b80 Change uses of: by Ted Kremenek · 16 years ago
  49. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 16 years ago
  50. 1004a9f Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 16 years ago
  51. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 16 years ago
  52. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
  53. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
  54. fde2efe Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. by Ted Kremenek · 16 years ago
  55. 6f9b3a4 Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream. by Ted Kremenek · 16 years ago
  56. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 16 years ago
  57. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
  58. f6c9f42 BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a variable can be symbolicated. by Ted Kremenek · 16 years ago
  59. 1508636 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 16 years ago
  60. 6bf01d6 Combine two conditional branches into one. No functionality change. by Ted Kremenek · 16 years ago
  61. 2001b8e We do not require the super region of element region be typed. So do not by Zhongxing Xu · 16 years ago
  62. 6fb0aee Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 16 years ago
  63. 87453d1 Do not crash on binding concrete integer location. by Zhongxing Xu · 16 years ago
  64. c2a650a Simplify some code. As in region store, we always expect the location is a by Zhongxing Xu · 16 years ago
  65. 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  66. 25e751a Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 16 years ago
  67. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
  68. a43484a MemRegions: by Ted Kremenek · 16 years ago
  69. 67f2853 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 16 years ago
  70. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  71. d9b6ad6 Rename: by Zhongxing Xu · 16 years ago
  72. a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
  73. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  74. 921b0b5 Fix unused variable warning by Ted Kremenek · 16 years ago
  75. 0ac5618 Remove possibly incorrect assertion that doesn't matter. by Ted Kremenek · 16 years ago
  76. c2eeb72 Add array index assertion: BasicStore should not expect any fancy by Ted Kremenek · 16 years ago
  77. b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 16 years ago
  78. 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 16 years ago
  79. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
  80. d91719a Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a pointer. by Ted Kremenek · 16 years ago
  81. 5fa93d5 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 16 years ago
  82. c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 16 years ago
  83. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 16 years ago
  84. 7297134 FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 16 years ago
  85. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 16 years ago
  86. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  87. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
  88. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
  89. 93e7145 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 16 years ago
  90. f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
  91. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  92. 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 16 years ago
  93. ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
  94. f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 16 years ago
  95. 39fc715 Minor code compaction. No functionality change. by Ted Kremenek · 16 years ago
  96. 2c8e788 Rename VarBindings -> Bindings. by Ted Kremenek · 16 years ago
  97. be91224 BasicStore: by Ted Kremenek · 16 years ago
  98. 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 16 years ago
  99. 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 16 years ago
  100. 59e8f11 Add StoreManager::getSubRegionMap(). This method returns an opaque mapping for clients of StoreManagers from MemRegions to their subregions. by Ted Kremenek · 16 years ago