Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / fe5f9736723cbaae5423f98ebbd0f0f537b51de4 / lib / Analysis / BasicStore.cpp
  1. 646547c Do not crash on binding concrete integer location. by Zhongxing Xu · 16 years ago
  2. e361a9a Simplify some code. As in region store, we always expect the location is a by Zhongxing Xu · 16 years ago
  3. dd04ed6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  4. f6f0a87 Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 16 years ago
  5. e32c765 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
  6. d8f4cef MemRegions: by Ted Kremenek · 16 years ago
  7. 5c9b454 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 16 years ago
  8. fe483ee Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  9. 9381004 Rename: by Zhongxing Xu · 17 years ago
  10. 2036270 As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 17 years ago
  11. b02c852 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 17 years ago
  12. abbdd08 Fix unused variable warning by Ted Kremenek · 17 years ago
  13. c616fc1 Remove possibly incorrect assertion that doesn't matter. by Ted Kremenek · 17 years ago
  14. edb9f5a Add array index assertion: BasicStore should not expect any fancy by Ted Kremenek · 17 years ago
  15. 398d8f8 array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 17 years ago
  16. 440f2ce BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 17 years ago
  17. af81ece Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 17 years ago
  18. 54e60a9 Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a pointer. by Ted Kremenek · 17 years ago
  19. 4e76b98 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 17 years ago
  20. 4c91a40 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 17 years ago
  21. c5d0d04 Remove loc::FuncVal. by Zhongxing Xu · 17 years ago
  22. e3241e9 FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 17 years ago
  23. 8765ebc Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 17 years ago
  24. 18bcec0 Finally nuke loc::SymbolVal. by Zhongxing Xu · 17 years ago
  25. e4cb3c8 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 17 years ago
  26. 1f48e43 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 17 years ago
  27. 54d9913 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 17 years ago
  28. 9ddfd19 Implement a FIXME. by Zhongxing Xu · 17 years ago
  29. 74556a1 analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 17 years ago
  30. bf090d3 analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 17 years ago
  31. 3bd1e48 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 17 years ago
  32. 8d19459 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 17 years ago
  33. 505ea6a Minor code compaction. No functionality change. by Ted Kremenek · 17 years ago
  34. 246a047 Rename VarBindings -> Bindings. by Ted Kremenek · 17 years ago
  35. b6b0bb8 BasicStore: by Ted Kremenek · 17 years ago
  36. b004b1d Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 17 years ago
  37. fe2e9fa Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 17 years ago
  38. 6f71847 Add StoreManager::getSubRegionMap(). This method returns an opaque mapping for clients of StoreManagers from MemRegions to their subregions. by Ted Kremenek · 17 years ago
  39. 6a9b535 Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 17 years ago
  40. 93b8066 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 17 years ago
  41. 622f8df 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
  42. 65865a0 Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 17 years ago
  43. 5c0729b 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
  44. b1d9eb3 Update some doxygen comments to be more rich. Remove StoreManager::GetRegionSVal. by Ted Kremenek · 17 years ago
  45. 7b61ab7 Refactor MemRegionManager instance variable into parent class. No functionality change. by Ted Kremenek · 17 years ago
  46. ba63787 Use utility method. by Zhongxing Xu · 17 years ago
  47. ffbd8d6 Use utility methods. No functional change. by Zhongxing Xu · 17 years ago
  48. f6fff23 Remove unused function. by Zhongxing Xu · 17 years ago
  49. 5ea4ad0 Lazy bingding for region-store manager. by Zhongxing Xu · 17 years ago
  50. f5da325 MemRegion: by Ted Kremenek · 17 years ago
  51. 2c0de35 A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 17 years ago
  52. a912365 Fix to BasicStoreManager::getElementLValue: If the base region is a symbol, layer an AnonTypedRegion on top of it. by Ted Kremenek · 17 years ago
  53. 371dd11 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
  54. 0de2e0f 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
  55. 956b2a6 Update comment. by Ted Kremenek · 17 years ago
  56. bcfbb9a Use std::make_pair instead of std::pair's ctor. by Zhongxing Xu · 17 years ago
  57. 6c5ec62 Migrate some stuff from NamedDecl::getName() to by Chris Lattner · 17 years ago
  58. 0a322a5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 17 years ago
  59. 8fbe7ae Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 17 years ago
  60. 6d8c7dc Use the allocator of ExplodedGraph. The whole static analysis module uses it. by Zhongxing Xu · 17 years ago
  61. 37b78a1 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
  62. c88ca9d Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 17 years ago
  63. f05e4ed Rename: AddDecl => BindDecl by Zhongxing Xu · 17 years ago
  64. d83daa5 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 17 years ago
  65. 7ac59b1 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 17 years ago
  66. 2abba44 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 17 years ago
  67. 73a36c9 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
  68. a9e8e08 Let StoreManager do different cast on arrays. BasicStore will just keep it intact. by Zhongxing Xu · 17 years ago
  69. 60dabc6 Adjust parameter order to more natural one. by Zhongxing Xu · 17 years ago
  70. d2baafd Preliminary support for function overloading by Douglas Gregor · 17 years ago
  71. 3739b0b Localize the special processing of array variable inside by Zhongxing Xu · 17 years ago
  72. 7324932 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 17 years ago
  73. a0f833d Hack: have BasicStore::getLValueElement return the "Base" lvalue. This restores null dereference checking with array accesses. by Ted Kremenek · 17 years ago
  74. 38a4b4b - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 17 years ago
  75. 097fc98 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  76. 3c9fec7 Array and struct variables do have lvalue. For example, by Zhongxing Xu · 17 years ago
  77. 6eaf0e3 Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 17 years ago
  78. e7b0b27 Add transfer function support for ObjCIvarRefExpr. by Ted Kremenek · 17 years ago
  79. 44e00b0 This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 17 years ago
  80. 2a59edd Migrate MemRegionManager from StateManager to StoreManager. by Zhongxing Xu · 17 years ago
  81. ed02bf1 Remove redundant parameter and rename StMgr to StateMgr. by Zhongxing Xu · 17 years ago
  82. b15eba4 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
  83. 58c2960 Store: (static analyzer) by Ted Kremenek · 17 years ago
  84. be9b6f7 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 17 years ago
  85. 1486404 Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h) by Ted Kremenek · 17 years ago
  86. 6e91367 Make store "Regions" and "Bindings" more abstract instead of concrete variants. by Ted Kremenek · 17 years ago
  87. f5fce10 Added 'extents' for Regions. by Ted Kremenek · 17 years ago
  88. 4fbc641 Simplify interface to Store::AddDecl by Ted Kremenek · 17 years ago
  89. 2378ba0 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 17 years ago
  90. bdff9a9 Move store pretty-printing logic inside of StoreManager (previously in GRState). by Ted Kremenek · 17 years ago
  91. e2fb8c7 Patch by Zhongxing Xu! by Ted Kremenek · 17 years ago
  92. ee93012 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 17 years ago
  93. f22f868 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago