Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 0c6db9417dceeb082296c4e097be5de3ee1c5eb7 / lib / Analysis / BasicStore.cpp
  1. d91719a Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a pointer. by Ted Kremenek · 16 years ago
  2. 5fa93d5 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 16 years ago
  3. c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 16 years ago
  4. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 16 years ago
  5. 7297134 FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 16 years ago
  6. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 16 years ago
  7. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  8. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
  9. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
  10. 93e7145 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 16 years ago
  11. f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
  12. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  13. 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 16 years ago
  14. ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
  15. f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 16 years ago
  16. 39fc715 Minor code compaction. No functionality change. by Ted Kremenek · 16 years ago
  17. 2c8e788 Rename VarBindings -> Bindings. by Ted Kremenek · 16 years ago
  18. be91224 BasicStore: by Ted Kremenek · 16 years ago
  19. 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 16 years ago
  20. 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 16 years ago
  21. 59e8f11 Add StoreManager::getSubRegionMap(). This method returns an opaque mapping for clients of StoreManagers from MemRegions to their subregions. by Ted Kremenek · 16 years ago
  22. 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 16 years ago
  23. 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 17 years ago
  24. 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 · 17 years ago
  25. 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 17 years ago
  26. 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 · 17 years ago
  27. c6ed384 Update some doxygen comments to be more rich. Remove StoreManager::GetRegionSVal. by Ted Kremenek · 17 years ago
  28. d6cfbe4 Refactor MemRegionManager instance variable into parent class. No functionality change. by Ted Kremenek · 17 years ago
  29. 47b3240 Use utility method. by Zhongxing Xu · 17 years ago
  30. 56a3460 Use utility methods. No functional change. by Zhongxing Xu · 17 years ago
  31. a90dce3 Remove unused function. by Zhongxing Xu · 17 years ago
  32. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 17 years ago
  33. 6eddeb1 MemRegion: by Ted Kremenek · 17 years ago
  34. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 17 years ago
  35. 1d6c14b Fix to BasicStoreManager::getElementLValue: If the base region is a symbol, layer an AnonTypedRegion on top of it. by Ted Kremenek · 17 years ago
  36. 7d71b29 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
  37. 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 · 17 years ago
  38. de63bdc Update comment. by Ted Kremenek · 17 years ago
  39. 353cbe1 Use std::make_pair instead of std::pair's ctor. by Zhongxing Xu · 17 years ago
  40. 39f34e9 Migrate some stuff from NamedDecl::getName() to by Chris Lattner · 17 years ago
  41. cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 17 years ago
  42. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 17 years ago
  43. 0adfbf6 Use the allocator of ExplodedGraph. The whole static analysis module uses it. by Zhongxing Xu · 17 years ago
  44. 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 · 17 years ago
  45. f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 17 years ago
  46. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 17 years ago
  47. 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 17 years ago
  48. 197fa58 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 17 years ago
  49. 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 17 years ago
  50. 9deb0e3 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
  51. e1911af Let StoreManager do different cast on arrays. BasicStore will just keep it intact. by Zhongxing Xu · 17 years ago
  52. c92e5fe Adjust parameter order to more natural one. by Zhongxing Xu · 17 years ago
  53. 8e9bebd Preliminary support for function overloading by Douglas Gregor · 17 years ago
  54. 933c3e1 Localize the special processing of array variable inside by Zhongxing Xu · 17 years ago
  55. 8485ec6 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 17 years ago
  56. 134e749 Hack: have BasicStore::getLValueElement return the "Base" lvalue. This restores null dereference checking with array accesses. by Ted Kremenek · 17 years ago
  57. 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 17 years ago
  58. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  59. cb3a795 Array and struct variables do have lvalue. For example, by Zhongxing Xu · 17 years ago
  60. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 17 years ago
  61. 97ed4f6 Add transfer function support for ObjCIvarRefExpr. by Ted Kremenek · 17 years ago
  62. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 17 years ago
  63. bc678fd Migrate MemRegionManager from StateManager to StoreManager. by Zhongxing Xu · 17 years ago
  64. c1d1bbf Remove redundant parameter and rename StMgr to StateMgr. by Zhongxing Xu · 17 years ago
  65. 9e24049 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
  66. 60dbad8 Store: (static analyzer) by Ted Kremenek · 17 years ago
  67. 2bc39c6 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 17 years ago
  68. c0637cf Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h) by Ted Kremenek · 17 years ago
  69. 5f81c44 Make store "Regions" and "Bindings" more abstract instead of concrete variants. by Ted Kremenek · 17 years ago
  70. d0c4b28 Added 'extents' for Regions. by Ted Kremenek · 17 years ago
  71. e53c069 Simplify interface to Store::AddDecl by Ted Kremenek · 17 years ago
  72. bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 17 years ago
  73. a622d8c Move store pretty-printing logic inside of StoreManager (previously in GRState). by Ted Kremenek · 17 years ago
  74. caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 17 years ago
  75. f59bf48 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 17 years ago
  76. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago