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