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