Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 04a21441a7ceb68b457d0928f11a8d0e88faa046 / clang / lib / Checker / RegionStore.cpp
  1. eb4fc4a Small fix. by Zhongxing Xu · 15 years ago
  2. d4f1294 Remove extents of dead symbolic regions when RemoveDeadBindings. by Zhongxing Xu · 15 years ago
  3. 658dd8b CastSizeChecker checks when casting a malloc'ed symbolic region to type T, by Zhongxing Xu · 15 years ago
  4. 8385a06 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 16 years ago
  5. b6843f5 Analyzer: add support for CXXNewExpr. by Zhongxing Xu · 16 years ago
  6. 26984fb Remove copy of 'Optional' in Clang tree, and convert clients to use the one now in the LLVM tree. by Ted Kremenek · 16 years ago
  7. 640aad7 Use the element type to compute the array size when the base region is a VarRegion. by Zhongxing Xu · 16 years ago
  8. c3e1f2f Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() where by Ted Kremenek · 16 years ago
  9. 2d107f9 RegionStore: specially handle loads from integer global variables declared 'const'. by Ted Kremenek · 16 years ago
  10. f7c226d Use 'const Optional<SVal>&' to avoid an extra copy. by Ted Kremenek · 16 years ago
  11. e248dca Bind the constructed object value to CXXConstructExpr. by Zhongxing Xu · 16 years ago
  12. 03fd766 Mark CXXThisRegion in the current or parent stack frame context as live so that by Zhongxing Xu · 16 years ago
  13. 0eb6903 Add VisitCXXContructExpr logic to the analyzer. This still has not fully worked by Zhongxing Xu · 16 years ago
  14. 1794ec4 Simplify assertion. by Ted Kremenek · 16 years ago
  15. fe697eb Remove '#if 0' code. Lazy compound values have proven their worth. by Ted Kremenek · 16 years ago
  16. 9e92d3f Remove the subregion map cache. It is no longer used. by Ted Kremenek · 16 years ago
  17. 2ce82b2 Fix stale comment. by Ted Kremenek · 16 years ago
  18. ddce4a3 Really apply (unnoticed weird git-svn merge conflict in 98144): Refactor RegionStore::RemoveDeadBindings to use the same core cluster analysis algorithm as RegionStore::InvalidateRegions(). by Ted Kremenek · 16 years ago
  19. ba2e6c6 Refactor RegionStore::RemoveDeadBindings to use the same core by Ted Kremenek · 16 years ago
  20. a2536b6 Refactor some of RegionStore's InvalidateRegionsWorker class by Ted Kremenek · 16 years ago
  21. 6d3cc38 Since now we store the cast type with an ElementRegion, there is by Zhongxing Xu · 16 years ago
  22. b0e5c27 Assert when loading from a code text region instead of returning an unknown silently. by Zhongxing Xu · 16 years ago
  23. 1a6672a Enhance RegionStore::InvalidateRegions() to correctly invalidate bindings by Ted Kremenek · 16 years ago
  24. 7950b78 Pull logic for visiting value bindings in InvalidateRegionsWorker into a separate method. by Ted Kremenek · 16 years ago
  25. 0a5a221 Eliminate the ASTContext parameter from RecordDecl::getDefinition() by Douglas Gregor · 16 years ago
  26. bc1d4ae Add comment. by Zhongxing Xu · 16 years ago
  27. 499b4e3 Fix lookup of fields from lazy bindings to check if the region is by Ted Kremenek · 16 years ago
  28. 57f0989 Revert 95541. by Ted Kremenek · 16 years ago
  29. 500f49f Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  30. 8ca2dc0 Like for symbolic region, automatically create a element zero region for by Zhongxing Xu · 16 years ago
  31. b02d4a0 Unify the implementation of getLValueElement of store managers. by Zhongxing Xu · 16 years ago
  32. f7f0cdc Unify the implementation of getLValueIvar and getLValueField of store managers. by Zhongxing Xu · 16 years ago
  33. 08515a5 Move common methods to the base StoreManager class. by Zhongxing Xu · 16 years ago
  34. bdfcacb Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL. by Ted Kremenek · 16 years ago
  35. 30fe9ec Fix regression in RegionStore (from BasicStore) where static variables were not treated as being implicitly initialized to 0 (and instead were getting symbolicated). by Ted Kremenek · 16 years ago
  36. 5abd69d Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 16 years ago
  37. ad0ef84 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  38. 0d081f3 Remove unused parameter. by Zhongxing Xu · 16 years ago
  39. f668204 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  40. 7fcd8ac More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  41. c7b9f95 More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
  42. bd96bf1 Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to by Zhongxing Xu · 16 years ago
  43. 319deb8 Cast evaluation no longer touch GRState. by Zhongxing Xu · 16 years ago
  44. 33617e0 Remove stray typo. by Ted Kremenek · 16 years ago
  45. 4f8b989 Now that CastRetrievedVal returns SVal, there is no need to use CastResult. by Zhongxing Xu · 16 years ago
  46. d960564 Fix regression in RegionStore due to recent changes in by Ted Kremenek · 16 years ago
  47. 64efd0d Rework RegionStoreManager's implementation of InvalidateRegions() to by Ted Kremenek · 16 years ago
  48. b251eb6 Remove RegionStoreSubRegionMap::iterator and RegionStoreSubRegionMap::begin_end(). This is a precursor to using DenseSet to represent region sets instead of ImmutableSet. by Ted Kremenek · 16 years ago
  49. 968999b Add missing call to Optional<...>.getValue() that was pointed out by Chandler. by Ted Kremenek · 16 years ago
  50. e36bceb Teach RegionStore to handle initialization of incomplete arrays in structures using a compound value. Fixes <rdar://problem/7515938>. by Ted Kremenek · 16 years ago
  51. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (99%) from clang/lib/Analysis/RegionStore.cpp]
  52. 228b0d4 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 16 years ago
  53. be909b5 Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 16 years ago
  54. 8e994a2 Preliminary reworking of value-binding logic in RegionStore: by Ted Kremenek · 16 years ago
  55. acd71a4 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 · 16 years ago
  56. fd62a33 Add comments. by Zhongxing Xu · 16 years ago
  57. d970acb Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 16 years ago
  58. 6df9f54 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 16 years ago
  59. 4cad5fc Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 16 years ago
  60. 9158fb7 Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra veneer on top of getRegionValueSymbolVal(). by Ted Kremenek · 16 years ago
  61. f6d9ceb Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>. by Ted Kremenek · 16 years ago
  62. 04af9f2 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 16 years ago
  63. c32f2c2 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 16 years ago
  64. 721fcc0 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 16 years ago
  65. 4b349cc 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 · 16 years ago
  66. 5bee5c4 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 · 16 years ago
  67. e5716cba 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 · 16 years ago
  68. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  69. 94f8c4a Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any VarRegion for a "captured" variable should also be considered live. by Ted Kremenek · 16 years ago
  70. b63ad7a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 16 years ago
  71. 80f70b5 Remove recently added FIXME. The appropriate FIXME is already in MemRegionManager::getVarRegion(). by Ted Kremenek · 16 years ago
  72. a3d6e62 Add FIXME. by Ted Kremenek · 16 years ago
  73. 10a50e7 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 16 years ago
  74. 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
  75. 731f462 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 16 years ago
  76. 383c273 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 16 years ago
  77. f8f3f9d Rename: StripCasts describes what it does better. by Zhongxing Xu · 16 years ago
  78. 612e380 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 16 years ago
  79. 4ef1d40 Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass of by Douglas Gregor · 16 years ago
  80. 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
  81. 1f0a56e Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 16 years ago
  82. 481c121 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 16 years ago
  83. 775a2c0 use DenseSet instead of SmallSet. by Zhongxing Xu · 16 years ago
  84. 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
  85. c0c6508 Per discussion with Ted, the 'FromSuper'/'FromSub' logic is invalid. Simplify by Zhongxing Xu · 16 years ago
  86. 8b2f5d3 Actually all regions whose super region is not MemSpaceRegion are of these 3 by Zhongxing Xu · 16 years ago
  87. 1eb6809 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 16 years ago
  88. 3abc41f Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 16 years ago
  89. 7d6387b * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 16 years ago
  90. daa4176 Add an initial implementation of EnterStackFrame() to the StoreManager. by Zhongxing Xu · 16 years ago
  91. b8edf2a Introduces a new BindingVal which combines direct and by Zhongxing Xu · 16 years ago
  92. e77cd12 Make the behavior explicit by not using the method call. by Zhongxing Xu · 16 years ago
  93. fd15882 Remove unused code. by Zhongxing Xu · 16 years ago
  94. 8ec5771 Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 16 years ago
  95. a192536 Desugaring optimizations. Add single-step desugaring methods to all by John McCall · 16 years ago
  96. 228539f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 16 years ago
  97. cc22424 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 16 years ago
  98. 5daec8a Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 16 years ago
  99. 1cbdf6e Revert r82939. We can only not special case FieldRegions when the super region has also been invalidated. by Ted Kremenek · 16 years ago
  100. df5f681 Specially handle fields, elements, and ivars in by Ted Kremenek · 16 years ago