Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / fa41714d8d3919a044fc27d17c46d2810219cb45 / clang / lib / Analysis / BasicStore.cpp
  1. cee28a4 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 16 years ago
  2. c23c7e6 Change uses of: by Ted Kremenek · 16 years ago
  3. 4301526 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 16 years ago
  4. bca7067 Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 16 years ago
  5. ac7c724 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 16 years ago
  6. 8a286fb Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
  7. e3fb4b6 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
  8. f3e1e4d Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. by Ted Kremenek · 16 years ago
  9. 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
  10. f665579 Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 16 years ago
  11. eea8c29 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
  12. 24c8513 BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a variable can be symbolicated. by Ted Kremenek · 16 years ago
  13. df67d42 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 16 years ago
  14. 8fd1879 Combine two conditional branches into one. No functionality change. by Ted Kremenek · 16 years ago
  15. 6377a98 We do not require the super region of element region be typed. So do not by Zhongxing Xu · 16 years ago
  16. ddcd132 Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 16 years ago
  17. d260db1 Do not crash on binding concrete integer location. by Zhongxing Xu · 16 years ago
  18. f7a6de3 Simplify some code. As in region store, we always expect the location is a by Zhongxing Xu · 16 years ago
  19. 799bb6e Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  20. 8cf2021 Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 16 years ago
  21. 7718ae4 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
  22. fb87e30 MemRegions: by Ted Kremenek · 16 years ago
  23. 609df30 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 16 years ago
  24. 838a0db Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  25. 91e2ab4 Rename: by Zhongxing Xu · 16 years ago
  26. 34d04b3 As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
  27. 8038f7b rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  28. e5c3158 Fix unused variable warning by Ted Kremenek · 17 years ago
  29. 6ae5615 Remove possibly incorrect assertion that doesn't matter. by Ted Kremenek · 17 years ago
  30. a68556c Add array index assertion: BasicStore should not expect any fancy by Ted Kremenek · 17 years ago
  31. 6ebde27 array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 17 years ago
  32. 758fda4 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 17 years ago
  33. 02e5089 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 17 years ago
  34. a11c607 Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a pointer. by Ted Kremenek · 17 years ago
  35. 3941d22 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 17 years ago
  36. 2d495a6 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 17 years ago
  37. 3070210 Remove loc::FuncVal. by Zhongxing Xu · 17 years ago
  38. e3dcb2d FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 17 years ago
  39. df24000 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 17 years ago
  40. dadf250 Finally nuke loc::SymbolVal. by Zhongxing Xu · 17 years ago
  41. f2489ea - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 17 years ago
  42. ec7e7df This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 17 years ago
  43. ac50898 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 17 years ago
  44. a865b79 Implement a FIXME. by Zhongxing Xu · 17 years ago
  45. 3e31c26 analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 17 years ago
  46. c7fef2a analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 17 years ago
  47. b36e01d Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 17 years ago
  48. fa3d77b Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 17 years ago
  49. 89f4781 Minor code compaction. No functionality change. by Ted Kremenek · 17 years ago
  50. 1fe63ac Rename VarBindings -> Bindings. by Ted Kremenek · 17 years ago
  51. 2f340d6c BasicStore: by Ted Kremenek · 17 years ago
  52. 9f276d6 Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 17 years ago
  53. 4c8a581 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 17 years ago
  54. 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
  55. 07e9568 Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 17 years ago
  56. 9103df1 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 17 years ago
  57. 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
  58. 7404083 Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 17 years ago
  59. 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
  60. f929b0a Update some doxygen comments to be more rich. Remove StoreManager::GetRegionSVal. by Ted Kremenek · 17 years ago
  61. 682c3a6 Refactor MemRegionManager instance variable into parent class. No functionality change. by Ted Kremenek · 17 years ago
  62. 40b0e50 Use utility method. by Zhongxing Xu · 17 years ago
  63. 303a6d4 Use utility methods. No functional change. by Zhongxing Xu · 17 years ago
  64. f97d95a Remove unused function. by Zhongxing Xu · 17 years ago
  65. af7415f Lazy bingding for region-store manager. by Zhongxing Xu · 17 years ago
  66. b5670fd MemRegion: by Ted Kremenek · 17 years ago
  67. f065b15 A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 17 years ago
  68. 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
  69. 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
  70. 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
  71. 8e8cc81 Update comment. by Ted Kremenek · 17 years ago
  72. 85b6e20 Use std::make_pair instead of std::pair's ctor. by Zhongxing Xu · 17 years ago
  73. 1cbaacc Migrate some stuff from NamedDecl::getName() to by Chris Lattner · 17 years ago
  74. 99a96d6 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 17 years ago
  75. ceca806 Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 17 years ago
  76. 461b4f4 Use the allocator of ExplodedGraph. The whole static analysis module uses it. by Zhongxing Xu · 17 years ago
  77. cd63921 StoreManager::BindDecl now takes an SVal* for the initialization value instead of an Expr* (which can be null). Lazy symbolication of conjured symbols is now the sole responsibility of GRExprEngine. by Ted Kremenek · 17 years ago
  78. 2c677c3 Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 17 years ago
  79. 628ae87 Rename: AddDecl => BindDecl by Zhongxing Xu · 17 years ago
  80. bf26368 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 17 years ago
  81. 60de6c6 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 17 years ago
  82. 0d2706f Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 17 years ago
  83. f3be44f Added method "getSelfRegion" to Store. This method returns the region associated with the "this" or "self" object (C++ and Objective-C respectively). by Ted Kremenek · 17 years ago
  84. b0a4875 Let StoreManager do different cast on arrays. BasicStore will just keep it intact. by Zhongxing Xu · 17 years ago
  85. c5382ea Adjust parameter order to more natural one. by Zhongxing Xu · 17 years ago
  86. 5251f1b Preliminary support for function overloading by Douglas Gregor · 17 years ago
  87. dab76fd Localize the special processing of array variable inside by Zhongxing Xu · 17 years ago
  88. 8f6855e64 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 17 years ago
  89. db5ae0a Hack: have BasicStore::getLValueElement return the "Base" lvalue. This restores null dereference checking with array accesses. by Ted Kremenek · 17 years ago
  90. 8b103c6 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 17 years ago
  91. 27f1742 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  92. 4e50045 Array and struct variables do have lvalue. For example, by Zhongxing Xu · 17 years ago
  93. 3ad391d Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 17 years ago
  94. 12dd55b Add transfer function support for ObjCIvarRefExpr. by Ted Kremenek · 17 years ago
  95. 232c792 This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 17 years ago
  96. f5e7c90 Migrate MemRegionManager from StateManager to StoreManager. by Zhongxing Xu · 17 years ago
  97. 8c9771b Remove redundant parameter and rename StMgr to StateMgr. by Zhongxing Xu · 17 years ago
  98. 5ca90a2 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 17 years ago
  99. 1b9e103 Store: (static analyzer) by Ted Kremenek · 17 years ago
  100. c83e755 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 17 years ago