Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 65c6566b5b565b33585d53b1a3c36e36a42e12e4 / clang / lib / Analysis / RegionStore.cpp
  1. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  2. 94f8c4a Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any VarRegion for a "captured" variable should also be considered live. by Ted Kremenek · 16 years ago
  3. b63ad7a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 16 years ago
  4. 80f70b5 Remove recently added FIXME. The appropriate FIXME is already in MemRegionManager::getVarRegion(). by Ted Kremenek · 16 years ago
  5. a3d6e62 Add FIXME. by Ted Kremenek · 16 years ago
  6. 10a50e7 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 16 years ago
  7. 439a6d1 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 · 16 years ago
  8. 731f462 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 16 years ago
  9. 383c273 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 16 years ago
  10. f8f3f9d Rename: StripCasts describes what it does better. by Zhongxing Xu · 16 years ago
  11. 612e380 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 16 years ago
  12. 4ef1d40 Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass of by Douglas Gregor · 16 years ago
  13. b006b82 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 · 16 years ago
  14. 1f0a56e Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 16 years ago
  15. 481c121 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 16 years ago
  16. 775a2c0 use DenseSet instead of SmallSet. by Zhongxing Xu · 16 years ago
  17. 9f3a643 Minor cleanup: move typedef out of anonymous namespace (which now contains nothing) and into RemoveDeadBindings. No functionality change. by Ted Kremenek · 16 years ago
  18. c0c6508 Per discussion with Ted, the 'FromSuper'/'FromSub' logic is invalid. Simplify by Zhongxing Xu · 16 years ago
  19. 8b2f5d3 Actually all regions whose super region is not MemSpaceRegion are of these 3 by Zhongxing Xu · 16 years ago
  20. 1eb6809 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 16 years ago
  21. 3abc41f Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 16 years ago
  22. 7d6387b * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 16 years ago
  23. daa4176 Add an initial implementation of EnterStackFrame() to the StoreManager. by Zhongxing Xu · 16 years ago
  24. b8edf2a Introduces a new BindingVal which combines direct and by Zhongxing Xu · 16 years ago
  25. e77cd12 Make the behavior explicit by not using the method call. by Zhongxing Xu · 16 years ago
  26. fd15882 Remove unused code. by Zhongxing Xu · 16 years ago
  27. 8ec5771 Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 16 years ago
  28. a192536 Desugaring optimizations. Add single-step desugaring methods to all by John McCall · 16 years ago
  29. 228539f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 16 years ago
  30. cc22424 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 16 years ago
  31. 5daec8a Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 16 years ago
  32. 1cbdf6e Revert r82939. We can only not special case FieldRegions when the super region has also been invalidated. by Ted Kremenek · 16 years ago
  33. df5f681 Specially handle fields, elements, and ivars in by Ted Kremenek · 16 years ago
  34. 67b216a Add FIXME comment. by Ted Kremenek · 16 years ago
  35. e41b81e Fix: by Ted Kremenek · 16 years ago
  36. 1b40e59 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 16 years ago
  37. 267e45a Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 16 years ago
  38. 3003001 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 16 years ago
  39. 9dd450b Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 16 years ago
  40. 25c9c14 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 16 years ago
  41. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  42. b5850f9 Fix buffer overflow reported in PR 4903. by Ted Kremenek · 16 years ago
  43. d1d6066 Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers by Ted Kremenek · 16 years ago
  44. 3ed9543 Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 16 years ago
  45. 608677a Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 16 years ago
  46. 14536f6 Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 16 years ago
  47. 54f8788 Eagerly bind 'self' to SelfRegion. Thus we do not need to get code decl from by Zhongxing Xu · 16 years ago
  48. 5f078cb To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 16 years ago
  49. 040e3b9 Fix a few more false positives involving RegionStore and unions, but this time by Ted Kremenek · 16 years ago
  50. 2f6eb14 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 16 years ago
  51. c700b36 I have a dream, one day, we won't need to do this. by Mike Stump · 16 years ago
  52. 2c85f17 Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of LazyCompoundSVals. by Ted Kremenek · 16 years ago
  53. e587ca6 Remove unimplemented methods 'AddRegionView' and 'RemoveRegionView'. They are no longer needed. by Ted Kremenek · 16 years ago
  54. 51eeb36 Completely remove the code using region cast. by Zhongxing Xu · 16 years ago
  55. fa41714 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 16 years ago
  56. 844a729 Use feedback from RegionStoreSubRegionMap::add() to prune off adding a super by Ted Kremenek · 16 years ago
  57. 68c1f01 Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map. by Ted Kremenek · 16 years ago
  58. 0bb32e3 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 16 years ago
  59. ca7935d Remove RegionViews and RegionCasts. These are no longer used. by Ted Kremenek · 16 years ago
  60. f106ab9 RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings as well. by Ted Kremenek · 16 years ago
  61. cee28a4 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 16 years ago
  62. 1f22aa7 This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 16 years ago
  63. c23c7e6 Change uses of: by Ted Kremenek · 16 years ago
  64. 4301526 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 16 years ago
  65. bca7067 Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 16 years ago
  66. 920ad71 Temporarily disable most use of region casts in RegionStoreManager, by Ted Kremenek · 16 years ago
  67. ac7c724 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 16 years ago
  68. fe12f88 RegionStore: by Ted Kremenek · 16 years ago
  69. 834e2f6 Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order by Ted Kremenek · 16 years ago
  70. 8a286fb Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
  71. b825c0d Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), Type::getAsMemberPointerType(), Type::getAsTagType(), and Type::getAsRecordType() with their Type::getAs<XXX> equivalents. by Ted Kremenek · 16 years ago
  72. e3fb4b6 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
  73. c7b1dad Move RegionStoreManager over to using new by Ted Kremenek · 16 years ago
  74. ccc2292 Use utility method to create 0-index into ElementRegion. by Ted Kremenek · 16 years ago
  75. 4802955 Enhance RegionStore's reasoning about Objective-C ivars. More testing to follow. by Ted Kremenek · 16 years ago
  76. b5bf7ee Use utility method. by Zhongxing Xu · 16 years ago
  77. 57fa7e3 Relax assertion. by Ted Kremenek · 16 years ago
  78. e6fea68 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 · 16 years ago
  79. 0c37d19 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 · 16 years ago
  80. 170e816 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 16 years ago
  81. a6904ff Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream. by Ted Kremenek · 16 years ago
  82. eabdd98 Change pretty-printing API for SymExprs and MemRegions to use a naming convention and style similar to other elements in Clang. by Ted Kremenek · 16 years ago
  83. f6f0461 Restructure RegionStoreManager::EvalBinOp() as a switch dispatch over different by Ted Kremenek · 16 years ago
  84. 94575aa Restructure RegionStoreManager::getSizeInElements() to use a switch statement by Ted Kremenek · 16 years ago
  85. 9e010e1 Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager by Ted Kremenek · 16 years ago
  86. 61e6692 remove utility methods that are not very useful. by Zhongxing Xu · 16 years ago
  87. 194f46a Remove unused method. by Ted Kremenek · 16 years ago
  88. 06cc0e3 Replace guarded calls in RegionStoreManager to by Ted Kremenek · 16 years ago
  89. 725b4a3 Enhance RegionStore to lazily symbolicate fields and array elements for by Ted Kremenek · 16 years ago
  90. df67d42 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 16 years ago
  91. 873db25 Minor code cleanup: pull variables into scope of 'if' statement, limiting their by Ted Kremenek · 16 years ago
  92. 55e07ef Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to by Ted Kremenek · 16 years ago
  93. b4ce4fc add fixme. by Zhongxing Xu · 16 years ago
  94. e205d43c When retrieving element region, if its super region has binding, return by Zhongxing Xu · 16 years ago
  95. cfbfe78 De-ASTContext-ify DeclContext. by Argyrios Kyrtzidis · 16 years ago
  96. 0628f53 Adjust retrieve handler priority. If a field is of array type, it should be by Zhongxing Xu · 16 years ago
  97. d260db1 Do not crash on binding concrete integer location. by Zhongxing Xu · 16 years ago
  98. af1ac82 Update method signature. by Ted Kremenek · 16 years ago
  99. 1642bda Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  100. c53b444 remove RegionKills GDM. Now UnknownVal is bound to regions explicitly. by Zhongxing Xu · 16 years ago