Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ff6f66e33f234d4bba16c9149476d691e2c96ca9 / lib / Checker / RegionStore.cpp
  1. eac4a00 Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL(). by Jordy Rose · 14 years ago
  2. 4d912b2 When a constant size array is casted to another type, its length should be scaled as well. by Jordy Rose · 14 years ago
  3. 7b05030 Change RegionStoreManager::Retrieve to infer the type of a symbolic region from the context when it is not already available. by Tom Care · 14 years ago
  4. 3f8612b Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixes analyzer by Ted Kremenek · 14 years ago
  5. 0e9910f Implement RegionStoreManager::iterBindings(). This implementation only returns the base region in by Ted Kremenek · 14 years ago
  6. 5446009 Limit the use of BindDefault(). by Zhongxing Xu · 14 years ago
  7. a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 14 years ago
  8. a709b87 After conversations with Zhongxing Xu and Jordy Rose, refine the logic in by Ted Kremenek · 14 years ago
  9. 42c67bf Revert r105097. Thinking about a better fix. by Zhongxing Xu · 14 years ago
  10. bdfa85f Fix PR7218. Patch by Jordy Rose. by Zhongxing Xu · 14 years ago
  11. ed4214c Small fix. by Zhongxing Xu · 14 years ago
  12. 9579898 Remove extents of dead symbolic regions when RemoveDeadBindings. by Zhongxing Xu · 14 years ago
  13. ab28099 CastSizeChecker checks when casting a malloc'ed symbolic region to type T, by Zhongxing Xu · 14 years ago
  14. fb87b89 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 14 years ago
  15. 856c6bc Analyzer: add support for CXXNewExpr. by Zhongxing Xu · 14 years ago
  16. 66d5142 Remove copy of 'Optional' in Clang tree, and convert clients to use the one now in the LLVM tree. by Ted Kremenek · 14 years ago
  17. 9618b85 Use the element type to compute the array size when the base region is a VarRegion. by Zhongxing Xu · 14 years ago
  18. 75a2d94 Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() where by Ted Kremenek · 14 years ago
  19. 4552ff0 RegionStore: specially handle loads from integer global variables declared 'const'. by Ted Kremenek · 14 years ago
  20. 2cf073b Use 'const Optional<SVal>&' to avoid an extra copy. by Ted Kremenek · 14 years ago
  21. 8e18c1b Bind the constructed object value to CXXConstructExpr. by Zhongxing Xu · 14 years ago
  22. 17ddf1c Mark CXXThisRegion in the current or parent stack frame context as live so that by Zhongxing Xu · 14 years ago
  23. c506357 Add VisitCXXContructExpr logic to the analyzer. This still has not fully worked by Zhongxing Xu · 14 years ago
  24. 957a2b7 Simplify assertion. by Ted Kremenek · 14 years ago
  25. a03430e Remove '#if 0' code. Lazy compound values have proven their worth. by Ted Kremenek · 14 years ago
  26. d69493a Remove the subregion map cache. It is no longer used. by Ted Kremenek · 14 years ago
  27. b7118f7 Fix stale comment. by Ted Kremenek · 14 years ago
  28. 5499b84 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 · 14 years ago
  29. e5ea0ca Refactor RegionStore::RemoveDeadBindings to use the same core by Ted Kremenek · 14 years ago
  30. a4fab03 Refactor some of RegionStore's InvalidateRegionsWorker class by Ted Kremenek · 14 years ago
  31. 14d2328 Since now we store the cast type with an ElementRegion, there is by Zhongxing Xu · 14 years ago
  32. 2db08ca Assert when loading from a code text region instead of returning an unknown silently. by Zhongxing Xu · 14 years ago
  33. 24c37ad Enhance RegionStore::InvalidateRegions() to correctly invalidate bindings by Ted Kremenek · 14 years ago
  34. c1ddcab Pull logic for visiting value bindings in InvalidateRegionsWorker into a separate method. by Ted Kremenek · 14 years ago
  35. 952b017 Eliminate the ASTContext parameter from RecordDecl::getDefinition() by Douglas Gregor · 14 years ago
  36. dcbcbdc Add comment. by Zhongxing Xu · 14 years ago
  37. 8ec4aac Fix lookup of fields from lazy bindings to check if the region is by Ted Kremenek · 14 years ago
  38. 1397663 Revert 95541. by Ted Kremenek · 14 years ago
  39. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 14 years ago
  40. 8149185 Like for symbolic region, automatically create a element zero region for by Zhongxing Xu · 14 years ago
  41. 5253568 Unify the implementation of getLValueElement of store managers. by Zhongxing Xu · 14 years ago
  42. c1511e0 Unify the implementation of getLValueIvar and getLValueField of store managers. by Zhongxing Xu · 14 years ago
  43. 459731d Move common methods to the base StoreManager class. by Zhongxing Xu · 14 years ago
  44. 81861ab Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL. by Ted Kremenek · 15 years ago
  45. 4dc1566 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 · 15 years ago
  46. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
  47. 72119c4 More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
  48. 461147f Remove unused parameter. by Zhongxing Xu · 15 years ago
  49. f5416bd More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
  50. b4a9c61 More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
  51. 576bb92 More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
  52. bfcaf80 Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to by Zhongxing Xu · 15 years ago
  53. 814e6b9 Cast evaluation no longer touch GRState. by Zhongxing Xu · 15 years ago
  54. 8928d41 Remove stray typo. by Ted Kremenek · 15 years ago
  55. c999ed7 Now that CastRetrievedVal returns SVal, there is no need to use CastResult. by Zhongxing Xu · 15 years ago
  56. 5b29065 Fix regression in RegionStore due to recent changes in by Ted Kremenek · 15 years ago
  57. e393f4a Rework RegionStoreManager's implementation of InvalidateRegions() to by Ted Kremenek · 15 years ago
  58. 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
  59. 39c2ea1 Add missing call to Optional<...>.getValue() that was pointed out by Chandler. by Ted Kremenek · 15 years ago
  60. 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
  61. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (99%) from lib/Analysis/RegionStore.cpp]
  62. 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 15 years ago
  63. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
  64. 1c1ae6b Preliminary reworking of value-binding logic in RegionStore: by Ted Kremenek · 15 years ago
  65. 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
  66. 944ebc6 Add comments. by Zhongxing Xu · 15 years ago
  67. c410d4d Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 15 years ago
  68. bb14121 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 15 years ago
  69. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 15 years ago
  70. 28172a2 Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra veneer on top of getRegionValueSymbolVal(). by Ted Kremenek · 15 years ago
  71. 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
  72. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  73. edeb5b6 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 15 years ago
  74. b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
  75. 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
  76. 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
  77. 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
  78. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  79. a6d73af Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any VarRegion for a "captured" variable should also be considered live. by Ted Kremenek · 15 years ago
  80. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
  81. a44a590 Remove recently added FIXME. The appropriate FIXME is already in MemRegionManager::getVarRegion(). by Ted Kremenek · 15 years ago
  82. 3ad4104 Add FIXME. by Ted Kremenek · 15 years ago
  83. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  84. 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
  85. 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
  86. e884ff8 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 15 years ago
  87. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  88. 3958b50 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 15 years ago
  89. 89c49f0 Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass of by Douglas Gregor · 15 years ago
  90. 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
  91. 0175619 Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 15 years ago
  92. ab22ee9 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 15 years ago
  93. 6800b33 use DenseSet instead of SmallSet. by Zhongxing Xu · 15 years ago
  94. 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
  95. f77869f Per discussion with Ted, the 'FromSuper'/'FromSub' logic is invalid. Simplify by Zhongxing Xu · 15 years ago
  96. 8801beb Actually all regions whose super region is not MemSpaceRegion are of these 3 by Zhongxing Xu · 15 years ago
  97. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  98. 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
  99. d0f8bb1 * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 15 years ago
  100. 4e3c1f7 Add an initial implementation of EnterStackFrame() to the StoreManager. by Zhongxing Xu · 15 years ago