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