Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 814e6b915450456eb2a1ba15d82fc7f8ae3bc8a6 / lib / Checker / RegionStore.cpp
  1. 814e6b9 Cast evaluation no longer touch GRState. by Zhongxing Xu · 15 years ago
  2. 8928d41 Remove stray typo. by Ted Kremenek · 15 years ago
  3. c999ed7 Now that CastRetrievedVal returns SVal, there is no need to use CastResult. by Zhongxing Xu · 15 years ago
  4. 5b29065 Fix regression in RegionStore due to recent changes in by Ted Kremenek · 15 years ago
  5. e393f4a Rework RegionStoreManager's implementation of InvalidateRegions() to by Ted Kremenek · 15 years ago
  6. df16501 Remove RegionStoreSubRegionMap::iterator and RegionStoreSubRegionMap::begin_end(). This is a precursor to using DenseSet to represent region sets instead of ImmutableSet. by Ted Kremenek · 15 years ago
  7. 39c2ea1 Add missing call to Optional<...>.getValue() that was pointed out by Chandler. by Ted Kremenek · 15 years ago
  8. fee9081 Teach RegionStore to handle initialization of incomplete arrays in structures using a compound value. Fixes <rdar://problem/7515938>. by Ted Kremenek · 15 years ago
  9. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (99%) from lib/Analysis/RegionStore.cpp]
  10. 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 15 years ago
  11. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
  12. 1c1ae6b Preliminary reworking of value-binding logic in RegionStore: by Ted Kremenek · 15 years ago
  13. de0d263 Make static analysis support for C++ 'this' expression context-sensitive. Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it. by Ted Kremenek · 15 years ago
  14. 944ebc6 Add comments. by Zhongxing Xu · 15 years ago
  15. c410d4d Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 15 years ago
  16. bb14121 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 15 years ago
  17. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 15 years ago
  18. 28172a2 Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra veneer on top of getRegionValueSymbolVal(). by Ted Kremenek · 15 years ago
  19. 2b87ae4 Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>. by Ted Kremenek · 15 years ago
  20. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  21. edeb5b6 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 15 years ago
  22. b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
  23. a7a8dfd Tweak handling of BlockDataRegions in RegionStoreManager::RemoveDeadBindings(): only the VarRegions for variables marked with the '__block' annotation should have their lifetime extended by a BlockDataRegion. by Ted Kremenek · 15 years ago
  24. 2ffbfd9 Add value invalidation logic for block-captured variables. Conceptually invoking a block (without specific reasoning of what the block does) can invalidate any value to it by reference when the block was created. by Ted Kremenek · 15 years ago
  25. 81a9583 Add batch version of 'StoreManager::InvalidateRegion()' for invalidating multiple regions as once. After adopting this in the CFRefCount::EvalCall(), we see a reduction in analysis time of 1.5% when analyzing all of SQLite3. by Ted Kremenek · 15 years ago
  26. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  27. a6d73af Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any VarRegion for a "captured" variable should also be considered live. by Ted Kremenek · 15 years ago
  28. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
  29. a44a590 Remove recently added FIXME. The appropriate FIXME is already in MemRegionManager::getVarRegion(). by Ted Kremenek · 15 years ago
  30. 3ad4104 Add FIXME. by Ted Kremenek · 15 years ago
  31. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  32. 027e266 Fix crash when using --analyzer-store=region when handling initializers with nested arrays/structs whose values are not explicitly specified. Fixes <rdar://problem/7403269>. by Ted Kremenek · 15 years ago
  33. 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
  34. e884ff8 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 15 years ago
  35. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  36. 3958b50 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 15 years ago
  37. 89c49f0 Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass of by Douglas Gregor · 15 years ago
  38. 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
  39. 0175619 Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 15 years ago
  40. ab22ee9 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 15 years ago
  41. 6800b33 use DenseSet instead of SmallSet. by Zhongxing Xu · 15 years ago
  42. 781115c Minor cleanup: move typedef out of anonymous namespace (which now contains nothing) and into RemoveDeadBindings. No functionality change. by Ted Kremenek · 15 years ago
  43. f77869f Per discussion with Ted, the 'FromSuper'/'FromSub' logic is invalid. Simplify by Zhongxing Xu · 15 years ago
  44. 8801beb Actually all regions whose super region is not MemSpaceRegion are of these 3 by Zhongxing Xu · 15 years ago
  45. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  46. 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
  47. d0f8bb1 * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 15 years ago
  48. 4e3c1f7 Add an initial implementation of EnterStackFrame() to the StoreManager. by Zhongxing Xu · 15 years ago
  49. 13d5017 Introduces a new BindingVal which combines direct and by Zhongxing Xu · 15 years ago
  50. 4f8c7e4 Make the behavior explicit by not using the method call. by Zhongxing Xu · 15 years ago
  51. bd48370 Remove unused code. by Zhongxing Xu · 15 years ago
  52. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
  53. bf1cc05 Desugaring optimizations. Add single-step desugaring methods to all by John McCall · 15 years ago
  54. 95efe0f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 15 years ago
  55. 9e17cc6 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 15 years ago
  56. a5971b3 Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 15 years ago
  57. 389c44c Revert r82939. We can only not special case FieldRegions when the super region has also been invalidated. by Ted Kremenek · 15 years ago
  58. 13c2000 Specially handle fields, elements, and ivars in by Ted Kremenek · 15 years ago
  59. bada1aa Add FIXME comment. by Ted Kremenek · 15 years ago
  60. 8780679 Fix: by Ted Kremenek · 15 years ago
  61. 35dcad8 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 15 years ago
  62. 0954cde Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 15 years ago
  63. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
  64. 183700f Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 15 years ago
  65. 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
  66. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  67. 0667db3 Fix buffer overflow reported in PR 4903. by Ted Kremenek · 15 years ago
  68. bcf62a9 Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers by Ted Kremenek · 15 years ago
  69. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  70. 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
  71. d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 15 years ago
  72. 0b14331 Eagerly bind 'self' to SelfRegion. Thus we do not need to get code decl from by Zhongxing Xu · 15 years ago
  73. 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 15 years ago
  74. 566a6fa Fix a few more false positives involving RegionStore and unions, but this time by Ted Kremenek · 15 years ago
  75. d4e5a60 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 15 years ago
  76. 1aeb247 I have a dream, one day, we won't need to do this. by Mike Stump · 15 years ago
  77. 451ac09 Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of LazyCompoundSVals. by Ted Kremenek · 15 years ago
  78. 3e01c1d Remove unimplemented methods 'AddRegionView' and 'RemoveRegionView'. They are no longer needed. by Ted Kremenek · 15 years ago
  79. 32d96b0 Completely remove the code using region cast. by Zhongxing Xu · 15 years ago
  80. a5e81f1 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 15 years ago
  81. d8c0192 Use feedback from RegionStoreSubRegionMap::add() to prune off adding a super by Ted Kremenek · 15 years ago
  82. 4ed4598 Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map. by Ted Kremenek · 15 years ago
  83. 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 15 years ago
  84. df74e25 Remove RegionViews and RegionCasts. These are no longer used. by Ted Kremenek · 15 years ago
  85. 093569c RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings as well. by Ted Kremenek · 15 years ago
  86. 2f26bc3 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 15 years ago
  87. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  88. 6217b80 Change uses of: by Ted Kremenek · 15 years ago
  89. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  90. 1004a9f Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 15 years ago
  91. 356e9d6 Temporarily disable most use of region casts in RegionStoreManager, by Ted Kremenek · 15 years ago
  92. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  93. 9031dd7 RegionStore: by Ted Kremenek · 15 years ago
  94. 25c5457 Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order by Ted Kremenek · 15 years ago
  95. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
  96. 5cad1f7 Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), Type::getAsMemberPointerType(), Type::getAsTagType(), and Type::getAsRecordType() with their Type::getAs<XXX> equivalents. by Ted Kremenek · 16 years ago
  97. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
  98. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 16 years ago
  99. 75185b5 Use utility method to create 0-index into ElementRegion. by Ted Kremenek · 16 years ago
  100. 5bd2fe3 Enhance RegionStore's reasoning about Objective-C ivars. More testing to follow. by Ted Kremenek · 16 years ago