Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / c50e6df965ff264952d8d5805d151f89c89af302 / lib / Analysis / RegionStore.cpp
  1. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
  2. 1c1ae6b Preliminary reworking of value-binding logic in RegionStore: by Ted Kremenek · 15 years ago
  3. 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
  4. 944ebc6 Add comments. by Zhongxing Xu · 15 years ago
  5. c410d4d Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 15 years ago
  6. bb14121 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 15 years ago
  7. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 15 years ago
  8. 28172a2 Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra veneer on top of getRegionValueSymbolVal(). by Ted Kremenek · 15 years ago
  9. 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
  10. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  11. edeb5b6 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 15 years ago
  12. b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
  13. 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
  14. 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
  15. 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
  16. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  17. a6d73af Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any VarRegion for a "captured" variable should also be considered live. by Ted Kremenek · 15 years ago
  18. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
  19. a44a590 Remove recently added FIXME. The appropriate FIXME is already in MemRegionManager::getVarRegion(). by Ted Kremenek · 15 years ago
  20. 3ad4104 Add FIXME. by Ted Kremenek · 15 years ago
  21. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  22. 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
  23. 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
  24. e884ff8 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 15 years ago
  25. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  26. 3958b50 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 15 years ago
  27. 89c49f0 Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass of by Douglas Gregor · 15 years ago
  28. 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
  29. 0175619 Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 15 years ago
  30. ab22ee9 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 15 years ago
  31. 6800b33 use DenseSet instead of SmallSet. by Zhongxing Xu · 15 years ago
  32. 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
  33. f77869f Per discussion with Ted, the 'FromSuper'/'FromSub' logic is invalid. Simplify by Zhongxing Xu · 15 years ago
  34. 8801beb Actually all regions whose super region is not MemSpaceRegion are of these 3 by Zhongxing Xu · 15 years ago
  35. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  36. 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
  37. d0f8bb1 * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 15 years ago
  38. 4e3c1f7 Add an initial implementation of EnterStackFrame() to the StoreManager. by Zhongxing Xu · 15 years ago
  39. 13d5017 Introduces a new BindingVal which combines direct and by Zhongxing Xu · 15 years ago
  40. 4f8c7e4 Make the behavior explicit by not using the method call. by Zhongxing Xu · 15 years ago
  41. bd48370 Remove unused code. by Zhongxing Xu · 15 years ago
  42. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
  43. bf1cc05 Desugaring optimizations. Add single-step desugaring methods to all by John McCall · 15 years ago
  44. 95efe0f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 15 years ago
  45. 9e17cc6 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 15 years ago
  46. a5971b3 Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 15 years ago
  47. 389c44c Revert r82939. We can only not special case FieldRegions when the super region has also been invalidated. by Ted Kremenek · 15 years ago
  48. 13c2000 Specially handle fields, elements, and ivars in by Ted Kremenek · 15 years ago
  49. bada1aa Add FIXME comment. by Ted Kremenek · 15 years ago
  50. 8780679 Fix: by Ted Kremenek · 15 years ago
  51. 35dcad8 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 15 years ago
  52. 0954cde Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 15 years ago
  53. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
  54. 183700f Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 15 years ago
  55. 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
  56. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  57. 0667db3 Fix buffer overflow reported in PR 4903. by Ted Kremenek · 15 years ago
  58. bcf62a9 Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers by Ted Kremenek · 15 years ago
  59. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  60. 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
  61. d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 15 years ago
  62. 0b14331 Eagerly bind 'self' to SelfRegion. Thus we do not need to get code decl from by Zhongxing Xu · 15 years ago
  63. 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 15 years ago
  64. 566a6fa Fix a few more false positives involving RegionStore and unions, but this time by Ted Kremenek · 15 years ago
  65. d4e5a60 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 15 years ago
  66. 1aeb247 I have a dream, one day, we won't need to do this. by Mike Stump · 15 years ago
  67. 451ac09 Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of LazyCompoundSVals. by Ted Kremenek · 15 years ago
  68. 3e01c1d Remove unimplemented methods 'AddRegionView' and 'RemoveRegionView'. They are no longer needed. by Ted Kremenek · 15 years ago
  69. 32d96b0 Completely remove the code using region cast. by Zhongxing Xu · 15 years ago
  70. a5e81f1 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 15 years ago
  71. d8c0192 Use feedback from RegionStoreSubRegionMap::add() to prune off adding a super by Ted Kremenek · 15 years ago
  72. 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
  73. 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 15 years ago
  74. df74e25 Remove RegionViews and RegionCasts. These are no longer used. by Ted Kremenek · 15 years ago
  75. 093569c RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings as well. by Ted Kremenek · 15 years ago
  76. 2f26bc3 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 15 years ago
  77. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  78. 6217b80 Change uses of: by Ted Kremenek · 15 years ago
  79. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  80. 1004a9f Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 15 years ago
  81. 356e9d6 Temporarily disable most use of region casts in RegionStoreManager, by Ted Kremenek · 15 years ago
  82. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  83. 9031dd7 RegionStore: by Ted Kremenek · 15 years ago
  84. 25c5457 Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order by Ted Kremenek · 15 years ago
  85. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
  86. 5cad1f7 Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), Type::getAsMemberPointerType(), Type::getAsTagType(), and Type::getAsRecordType() with their Type::getAs<XXX> equivalents. by Ted Kremenek · 15 years ago
  87. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
  88. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 15 years ago
  89. 75185b5 Use utility method to create 0-index into ElementRegion. by Ted Kremenek · 15 years ago
  90. 5bd2fe3 Enhance RegionStore's reasoning about Objective-C ivars. More testing to follow. by Ted Kremenek · 15 years ago
  91. d79bf55 Use utility method. by Zhongxing Xu · 15 years ago
  92. 41fb0df Relax assertion. by Ted Kremenek · 15 years ago
  93. a6275a5 More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. by Ted Kremenek · 15 years ago
  94. 60fbe8f Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do this by silently wrapping the region with an ElementRegion. This fixes the failures in misc-ps-region-store.m. by Ted Kremenek · 15 years ago
  95. 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 15 years ago
  96. 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
  97. 8800ad4 Change pretty-printing API for SymExprs and MemRegions to use a naming convention and style similar to other elements in Clang. by Ted Kremenek · 15 years ago
  98. 3bccf08 Restructure RegionStoreManager::EvalBinOp() as a switch dispatch over different by Ted Kremenek · 15 years ago
  99. 7ecbfbc Restructure RegionStoreManager::getSizeInElements() to use a switch statement by Ted Kremenek · 15 years ago
  100. 48ce7de Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager by Ted Kremenek · 15 years ago