Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / a92bd303a6aed5cf12de5f76938c112b00cc06e6 / lib / Analysis / BasicStore.cpp
  1. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  2. edeb5b6 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 15 years ago
  3. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  4. 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
  5. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  6. 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
  7. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  8. d0f8bb1 * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 15 years ago
  9. 8780679 Fix: by Ted Kremenek · 15 years ago
  10. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  11. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  12. 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
  13. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  14. 6cb7c1a Replace cerr with errs(). by Benjamin Kramer · 15 years ago
  15. 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
  16. d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 15 years ago
  17. eda9546 Get the code decl from the initial location context. by Zhongxing Xu · 15 years ago
  18. 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 15 years ago
  19. 2f26bc3 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 15 years ago
  20. 6217b80 Change uses of: by Ted Kremenek · 15 years ago
  21. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  22. 1004a9f Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 15 years ago
  23. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  24. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
  25. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
  26. fde2efe Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. by Ted Kremenek · 15 years ago
  27. 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
  28. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  29. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  30. f6c9f42 BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a variable can be symbolicated. by Ted Kremenek · 15 years ago
  31. 1508636 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 15 years ago
  32. 6bf01d6 Combine two conditional branches into one. No functionality change. by Ted Kremenek · 15 years ago
  33. 2001b8e We do not require the super region of element region be typed. So do not by Zhongxing Xu · 15 years ago
  34. 6fb0aee Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 15 years ago
  35. 87453d1 Do not crash on binding concrete integer location. by Zhongxing Xu · 15 years ago
  36. c2a650a Simplify some code. As in region store, we always expect the location is a by Zhongxing Xu · 15 years ago
  37. 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
  38. 25e751a Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 15 years ago
  39. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
  40. a43484a MemRegions: by Ted Kremenek · 15 years ago
  41. 67f2853 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 15 years ago
  42. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 15 years ago
  43. d9b6ad6 Rename: by Zhongxing Xu · 15 years ago
  44. a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 15 years ago
  45. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 15 years ago
  46. 921b0b5 Fix unused variable warning by Ted Kremenek · 15 years ago
  47. 0ac5618 Remove possibly incorrect assertion that doesn't matter. by Ted Kremenek · 15 years ago
  48. c2eeb72 Add array index assertion: BasicStore should not expect any fancy by Ted Kremenek · 15 years ago
  49. b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 15 years ago
  50. 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 15 years ago
  51. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 15 years ago
  52. d91719a Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a pointer. by Ted Kremenek · 15 years ago
  53. 5fa93d5 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 15 years ago
  54. c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 15 years ago
  55. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 15 years ago
  56. 7297134 FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 15 years ago
  57. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 15 years ago
  58. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 15 years ago
  59. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 15 years ago
  60. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 15 years ago
  61. 93e7145 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 15 years ago
  62. f1d537f Implement a FIXME. by Zhongxing Xu · 15 years ago
  63. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
  64. 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 15 years ago
  65. ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 15 years ago
  66. f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 15 years ago
  67. 39fc715 Minor code compaction. No functionality change. by Ted Kremenek · 15 years ago
  68. 2c8e788 Rename VarBindings -> Bindings. by Ted Kremenek · 15 years ago
  69. be91224 BasicStore: by Ted Kremenek · 15 years ago
  70. 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 15 years ago
  71. 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 15 years ago
  72. 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
  73. 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 15 years ago
  74. 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 16 years ago
  75. 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
  76. 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 16 years ago
  77. 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
  78. c6ed384 Update some doxygen comments to be more rich. Remove StoreManager::GetRegionSVal. by Ted Kremenek · 16 years ago
  79. d6cfbe4 Refactor MemRegionManager instance variable into parent class. No functionality change. by Ted Kremenek · 16 years ago
  80. 47b3240 Use utility method. by Zhongxing Xu · 16 years ago
  81. 56a3460 Use utility methods. No functional change. by Zhongxing Xu · 16 years ago
  82. a90dce3 Remove unused function. by Zhongxing Xu · 16 years ago
  83. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  84. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  85. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  86. 1d6c14b Fix to BasicStoreManager::getElementLValue: If the base region is a symbol, layer an AnonTypedRegion on top of it. by Ted Kremenek · 16 years ago
  87. 7d71b29 Have BasicStoreManager::getLValueElement() have logic similar to BasicStoreManager::getLValueField() (i.e., don't just return the 'base' as the SVal) by Ted Kremenek · 16 years ago
  88. 2ed14be 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 · 16 years ago
  89. de63bdc Update comment. by Ted Kremenek · 16 years ago
  90. 353cbe1 Use std::make_pair instead of std::pair's ctor. by Zhongxing Xu · 16 years ago
  91. 39f34e9 Migrate some stuff from NamedDecl::getName() to by Chris Lattner · 16 years ago
  92. cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 16 years ago
  93. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
  94. 0adfbf6 Use the allocator of ExplodedGraph. The whole static analysis module uses it. by Zhongxing Xu · 16 years ago
  95. 42577d1 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 · 16 years ago
  96. f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
  97. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  98. 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
  99. 197fa58 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 16 years ago
  100. 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 16 years ago