Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 55b3b5f5c6c92f5dbb10dfe96a7de07a2b364338 / lib / Analysis / RegionStore.cpp
  1. c2fdb07 Use a work list to recursively build up the subregion mapping, and mark live by Zhongxing Xu · 16 years ago
  2. 1060a3c Updated comment. by Ted Kremenek · 16 years ago
  3. 610e81d Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the target by Ted Kremenek · 16 years ago
  4. b13ecdb Use getAsRecordType() to get around sugar types. by Zhongxing Xu · 16 years ago
  5. c45a825 Do not stipulate the record type is a definition in BindStruct(). by Zhongxing Xu · 16 years ago
  6. 2b1dc17 Fix crash when LHS of pointer arithmetic is not ElementRegion. by Zhongxing Xu · 16 years ago
  7. ac6ff48 RegionStore::getLValueElement: Handle the case where the signedness of the by Ted Kremenek · 16 years ago
  8. de7ec63 RegionStore::getElementLValue(): Handle the case where the base is a null pointer. by Ted Kremenek · 16 years ago
  9. ff8d204 Only track integer and pointer values. by Zhongxing Xu · 16 years ago
  10. 1038f9f Now we do not retrieve untyped regions. by Zhongxing Xu · 16 years ago
  11. bd4f745 Fix a serious bug in RegionStore: we got the new state with new store from by Zhongxing Xu · 16 years ago
  12. 3de2d3c Add initial support for tracking ivars, with special handling for ivars of 'self'. by Ted Kremenek · 16 years ago
  13. cec3525 RegionStore: Handle implicit parameters. by Ted Kremenek · 16 years ago
  14. 02c4d2d RegionStore::RemoveDeadBindings needs to check all the symbols of the super region of a scanned region as well. by Ted Kremenek · 16 years ago
  15. 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 16 years ago
  16. 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 16 years ago
  17. 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
  18. 588fdfa remove an implemented fixme. by Zhongxing Xu · 16 years ago
  19. 94aa6c1 Initial support for pointer arithmetic. Only support concrete indexes and by Zhongxing Xu · 16 years ago
  20. 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 16 years ago
  21. 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
  22. 779747c Add an example in comments. by Zhongxing Xu · 16 years ago
  23. d8895f6 only track integer and pointer values for now. by Zhongxing Xu · 16 years ago
  24. 5ea2ffc Convert the offset to signed before making an ElementRegion with it. It seems by Zhongxing Xu · 16 years ago
  25. 02ebefb SymbolicRegions really have unknown sizes. by Zhongxing Xu · 16 years ago
  26. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
  27. 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 16 years ago
  28. 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
  29. 1be3da5 Correct size assumption; fixes a crash on amd64. by Sebastian Redl · 16 years ago
  30. 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 16 years ago
  31. cbb0b47 Now this comment should be resolved. See the comments for the KillSet. by Zhongxing Xu · 16 years ago
  32. 2e84257 For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedRegions. It wasn't really doing the right thing and was crashing on rdar-6442306-1.m. This fix causes all path-sensitive test cases to pass with RegionStore. by Ted Kremenek · 16 years ago
  33. 6fd8f91 Add RegionStore support for the implicit object region that 'self' references. This causes tests 'ObjCProperties.m' and 'refcnt_naming.m' to now pass with RegionStore. by Ted Kremenek · 16 years ago
  34. a7ac944 Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic). by Ted Kremenek · 16 years ago
  35. 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 16 years ago
  36. c979e80 Combine two branches into one. No functionality change. by Ted Kremenek · 16 years ago
  37. 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
  38. 0964a06 Get RegionStore to work with the retain/release checker and its test cases. by Ted Kremenek · 16 years ago
  39. 9c2a3db add a fixme. by Zhongxing Xu · 16 years ago
  40. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago
  41. bbee1a7 Invert condition on branch (was causing RegionStore::ArrayToPointer to return 'unknown' on most cases. by Ted Kremenek · 16 years ago
  42. d6cfbe4 Refactor MemRegionManager instance variable into parent class. No functionality change. by Ted Kremenek · 16 years ago
  43. a21362d Return UnknownVal in RegionStoreManager::getSizeInElements() for unsupported regions. This silences a warning when compiling Release-Asserts builds. by Ted Kremenek · 16 years ago
  44. 869fb4a Add a bunch of comments and FIXMEs. by Ted Kremenek · 16 years ago
  45. 1302016 set region default value if there are not enough init values for array and struct. by Zhongxing Xu · 16 years ago
  46. 50dc1b3 Comment and fixup GDM entries for RegionStore to use unique 'tag classes' to identify GDM entries. by Ted Kremenek · 16 years ago
  47. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  48. 9c9ca08 Implement RegionStoreManager::Remove(). by Zhongxing Xu · 16 years ago
  49. 2ef9372 I think we should getRValueType here. The lvaluetype of an array region is 'pointer to array'. by Zhongxing Xu · 16 years ago
  50. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  51. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  52. e267ff3 Address some comments on the name lookup/DeclContext patch from Chris by Douglas Gregor · 16 years ago
  53. 44b4321 Unifies the name-lookup mechanisms used in various parts of the AST by Douglas Gregor · 16 years ago
  54. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  55. 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
  56. c48ea6e Revamp RegionStoreManager::RemoveDeadBindings. This method now does a complete mark-and-sweep of the store, removing dead regions and recording the set of live and dead symbols appropriately. by Ted Kremenek · 16 years ago
  57. 0b242ec Add comments. by Zhongxing Xu · 16 years ago
  58. 5003861 Make RegionStoreManager::InitializeArray safe against array sizes that don't have pointer width. by Sebastian Redl · 16 years ago
  59. 6987c7b Add support for initializing array with string literal. by Zhongxing Xu · 16 years ago
  60. 0395b5d To be consistent, make the index of the ElementRegion always signed. by Zhongxing Xu · 16 years ago
  61. 96cb9fb Fix a serious bug. by Zhongxing Xu · 16 years ago
  62. 353cbe1 Use std::make_pair instead of std::pair's ctor. by Zhongxing Xu · 16 years ago
  63. d548479 RegionViewMap factory is actually not used. All GDMs should use factories from by Zhongxing Xu · 16 years ago
  64. ddee68b Fix the fix of revision 59974. Now array-struct.c passes too. by Sebastian Redl · 16 years ago
  65. e95db4f Fix crash of array bounds checking under 64-bit. by Sebastian Redl · 16 years ago
  66. baf03a7 Add support for AllocaRegion extent with GDM. by Zhongxing Xu · 16 years ago
  67. 4b89e03 Strings are NULL terminated. So the region size should plus one. by Zhongxing Xu · 16 years ago
  68. d0fd3b7 Add a comment about the signedness. by Zhongxing Xu · 16 years ago
  69. 6613d08 Add getSize() support for StringRegion. by Zhongxing Xu · 16 years ago
  70. 63123d8 Clean up code by using utility methods. by Zhongxing Xu · 16 years ago
  71. 369f429 Remove debug code. by Zhongxing Xu · 16 years ago
  72. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
  73. c3a0599 Add support for symbolicating global structs and arrays in RegionStoreManager::getInitialStore(). by Zhongxing Xu · 16 years ago
  74. ab7b32b Fix warning about RegionStoreManager::Retrieve() not always returning a value. by Ted Kremenek · 16 years ago
  75. 9b6ceb1 handle the case that the array element is of structure type when bind the whole array to a single value (for example, UnknownVal, UndefinedVal). by Zhongxing Xu · 16 years ago
  76. cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 16 years ago
  77. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
  78. a09300a Improve zero value generation. by Zhongxing Xu · 16 years ago
  79. e4d1393 Process array base expression of any type. by Zhongxing Xu · 16 years ago
  80. cc0d0ec Array index might be unsigned. We have to generate a temporary signed value for by Zhongxing Xu · 16 years ago
  81. a4f28ff Incomplete struct pointer can be used as a function argument. by Zhongxing Xu · 16 years ago
  82. 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
  83. 8916d5b Implement RegionStoreManager::RemoveDeadBindings(). This prunes several false warning caused by removal of symbolic constraints. Currently we just mark all symbols live. Further optimization for dead binding removal needed. by Zhongxing Xu · 16 years ago
  84. f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
  85. 13d1ee2 Make the assertion real. by Zhongxing Xu · 16 years ago
  86. d463d44 1. When a pointer to struct is used as an argument, GRSimpleVals::EvalCall() by Zhongxing Xu · 16 years ago
  87. ea8a185 Simplify interface. We can get canonical type from the base region directly. No need for an extra type argument. by Zhongxing Xu · 16 years ago
  88. af0a844 Implement struct initialization for SCA. by Zhongxing Xu · 16 years ago
  89. 1a12a0e Implement array initialization for SCA. by Zhongxing Xu · 16 years ago
  90. f0dfa8d Implement BindStruct and fix a bug in RetriveStruct. by Zhongxing Xu · 16 years ago
  91. 6e3f01c Implement load from struct region. Instead of returning an UnknownVal(), we create a CompoundVal by loading from each field of the struct. by Zhongxing Xu · 16 years ago
  92. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  93. 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
  94. e70559f Use ASTContext::getCanonicalType() to get TypedRegion's type. by Zhongxing Xu · 16 years ago
  95. 4a1513e We cannot get precise lvalue for symbolic base array region. by Zhongxing Xu · 16 years ago
  96. 8fe63af Get the canonical type for struct initialization. The original code would crash on TypedefType. by Zhongxing Xu · 16 years ago
  97. 197fa58 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 16 years ago
  98. 0b7e642 Simplify ArrayToPointer conversion. Actually the only thing we need to do is to get the first element region. It is not necessary to care about the kind of the base array region. by Zhongxing Xu · 16 years ago
  99. 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 16 years ago
  100. 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 · 16 years ago