Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / ad0ef840408ea54384e96c1d3b36650d95308828 / clang / lib / Checker / BasicStore.cpp
  1. ad0ef84 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  2. f668204 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  3. 7fcd8ac More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  4. c7b9f95 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  5. 4f8b989 Now that CastRetrievedVal returns SVal, there is no need to use CastResult. by Zhongxing Xu · 16 years ago
  6. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (99%) from clang/lib/Analysis/BasicStore.cpp]
  7. d970acb Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 16 years ago
  8. 3ab9e4c Temporarily revert 91553. by Ted Kremenek · 16 years ago
  9. 023bcea Remove use of ObjCObjectRegion from BasicStoreManager. by Ted Kremenek · 16 years ago
  10. 04af9f2 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 16 years ago
  11. c32f2c2 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 16 years ago
  12. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  13. 731f462 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 16 years ago
  14. f8f3f9d Rename: StripCasts describes what it does better. by Zhongxing Xu · 16 years ago
  15. 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
  16. 1eb6809 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 16 years ago
  17. 7d6387b * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 16 years ago
  18. e41b81e Fix: by Ted Kremenek · 16 years ago
  19. 7020eae Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 16 years ago
  20. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  21. 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
  22. 3ed9543 Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 16 years ago
  23. 89b422c Replace cerr with errs(). by Benjamin Kramer · 16 years ago
  24. 608677a Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 16 years ago
  25. 14536f6 Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 16 years ago
  26. 871918c Get the code decl from the initial location context. by Zhongxing Xu · 16 years ago
  27. 5f078cb To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 16 years ago
  28. cee28a4 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 16 years ago
  29. c23c7e6 Change uses of: by Ted Kremenek · 16 years ago
  30. 4301526 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 16 years ago
  31. bca7067 Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 16 years ago
  32. ac7c724 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 16 years ago
  33. 8a286fb Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
  34. e3fb4b6 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
  35. f3e1e4d Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. by Ted Kremenek · 16 years ago
  36. 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
  37. f665579 Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 16 years ago
  38. eea8c29 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
  39. 24c8513 BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a variable can be symbolicated. by Ted Kremenek · 16 years ago
  40. df67d42 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 16 years ago
  41. 8fd1879 Combine two conditional branches into one. No functionality change. by Ted Kremenek · 16 years ago
  42. 6377a98 We do not require the super region of element region be typed. So do not by Zhongxing Xu · 16 years ago
  43. ddcd132 Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 16 years ago
  44. d260db1 Do not crash on binding concrete integer location. by Zhongxing Xu · 16 years ago
  45. f7a6de3 Simplify some code. As in region store, we always expect the location is a by Zhongxing Xu · 16 years ago
  46. 799bb6e Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  47. 8cf2021 Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 16 years ago
  48. 7718ae4 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
  49. fb87e30 MemRegions: by Ted Kremenek · 16 years ago
  50. 609df30 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 16 years ago
  51. 838a0db Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  52. 91e2ab4 Rename: by Zhongxing Xu · 17 years ago
  53. 34d04b3 As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 17 years ago
  54. 8038f7b rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 17 years ago
  55. e5c3158 Fix unused variable warning by Ted Kremenek · 17 years ago
  56. 6ae5615 Remove possibly incorrect assertion that doesn't matter. by Ted Kremenek · 17 years ago
  57. a68556c Add array index assertion: BasicStore should not expect any fancy by Ted Kremenek · 17 years ago
  58. 6ebde27 array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 17 years ago
  59. 758fda4 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 17 years ago
  60. 02e5089 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 17 years ago
  61. a11c607 Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a pointer. by Ted Kremenek · 17 years ago
  62. 3941d22 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 17 years ago
  63. 2d495a6 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 17 years ago
  64. 3070210 Remove loc::FuncVal. by Zhongxing Xu · 17 years ago
  65. e3dcb2d FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 17 years ago
  66. df24000 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 17 years ago
  67. dadf250 Finally nuke loc::SymbolVal. by Zhongxing Xu · 17 years ago
  68. f2489ea - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 17 years ago
  69. ec7e7df This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 17 years ago
  70. ac50898 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 17 years ago
  71. a865b79 Implement a FIXME. by Zhongxing Xu · 17 years ago
  72. 3e31c26 analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 17 years ago
  73. c7fef2a analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 17 years ago
  74. b36e01d Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 17 years ago
  75. fa3d77b Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 17 years ago
  76. 89f4781 Minor code compaction. No functionality change. by Ted Kremenek · 17 years ago
  77. 1fe63ac Rename VarBindings -> Bindings. by Ted Kremenek · 17 years ago
  78. 2f340d6c BasicStore: by Ted Kremenek · 17 years ago
  79. 9f276d6 Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 17 years ago
  80. 4c8a581 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 17 years ago
  81. 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
  82. 07e9568 Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 17 years ago
  83. 9103df1 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 17 years ago
  84. 422d81d 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 · 17 years ago
  85. 7404083 Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 17 years ago
  86. 16fbfe6 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 · 17 years ago
  87. f929b0a Update some doxygen comments to be more rich. Remove StoreManager::GetRegionSVal. by Ted Kremenek · 17 years ago
  88. 682c3a6 Refactor MemRegionManager instance variable into parent class. No functionality change. by Ted Kremenek · 17 years ago
  89. 40b0e50 Use utility method. by Zhongxing Xu · 17 years ago
  90. 303a6d4 Use utility methods. No functional change. by Zhongxing Xu · 17 years ago
  91. f97d95a Remove unused function. by Zhongxing Xu · 17 years ago
  92. af7415f Lazy bingding for region-store manager. by Zhongxing Xu · 17 years ago
  93. b5670fd MemRegion: by Ted Kremenek · 17 years ago
  94. f065b15 A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 17 years ago
  95. 42a217f Fix to BasicStoreManager::getElementLValue: If the base region is a symbol, layer an AnonTypedRegion on top of it. by Ted Kremenek · 17 years ago
  96. 62cc9da Have BasicStoreManager::getLValueElement() have logic similar to BasicStoreManager::getLValueField() (i.e., don't just return the 'base' as the SVal) by Ted Kremenek · 17 years ago
  97. d368de7 StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRState* argument instead of a Store. This allows them to use the GDM for storing other data. by Ted Kremenek · 17 years ago
  98. 8e8cc81 Update comment. by Ted Kremenek · 17 years ago
  99. 85b6e20 Use std::make_pair instead of std::pair's ctor. by Zhongxing Xu · 17 years ago
  100. 1cbaacc Migrate some stuff from NamedDecl::getName() to by Chris Lattner · 17 years ago