Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 3a8f40ed5e86a97e07d255976a95d2f3ad792b6d / lib / EntoSA / RegionStore.cpp
  1. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 14 years ago[Renamed (99%) from lib/GR/RegionStore.cpp]
  2. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 14 years ago
  3. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 14 years ago
  4. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 14 years ago
  5. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/Checker/RegionStore.cpp]
  6. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 14 years ago
  7. eee1df1 The base type is not always pointer type. We may cast to a base reference. by Zhongxing Xu · 14 years ago
  8. 49f4e1c It's kindof silly that ExtQuals has an ASTContext&, and we can use that by John McCall · 14 years ago
  9. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 14 years ago
  10. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 14 years ago
  11. 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 14 years ago
  12. 02fe28c Rename CXXObjectRegion to CXXTempObjectRegion. by Zhongxing Xu · 14 years ago
  13. 4fd5681 Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion. by Zhongxing Xu · 14 years ago
  14. 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 14 years ago
  15. b13453b Handle CFGAutomaticObjDtor. by Zhongxing Xu · 14 years ago
  16. 29836f9 RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete addresses; instead return UnknownVal. This by Ted Kremenek · 14 years ago
  17. c1143e5 Fix lazy symbolication bug in RegionStore involving fields of global variables. When invalidated, the entire by Ted Kremenek · 14 years ago
  18. d45d59f Move 'includeGlobals' as a field into ClusterAnalysis. by Ted Kremenek · 14 years ago
  19. 02282ac Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as by Ted Kremenek · 14 years ago
  20. 091cbbd Adjust assertion in RegionStoreManager::RetrieveArray() to also take into account typedefs. by Ted Kremenek · 14 years ago
  21. 555c77a Don't divide-by-zero in RegionStoreManager::getSizeInElements() when getting the size of a VLA. We don't track VLA extents yet, by Ted Kremenek · 14 years ago
  22. 08140f9 Fixed unused variable warning. by Ted Kremenek · 14 years ago
  23. 41be967 Partial fix for PR 8015 (fix is actually by Jordy Rose, and I added a test case for follow-on work). This patch adds a bandaid for RegionStore's limited reasoning about symbolic array values. by Ted Kremenek · 14 years ago
  24. 1e4a32a Don't assert in the analyzer when analyze code does a byte load from a function's address. Fixes PR 8052. by Ted Kremenek · 14 years ago
  25. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 14 years ago
  26. 796788f Adjust code placement. by Zhongxing Xu · 14 years ago
  27. dc015e5 Place method near its class. by Zhongxing Xu · 14 years ago
  28. c9509b2 Remove dead code. by Zhongxing Xu · 14 years ago
  29. 81fa4ec Improve comments. by Zhongxing Xu · 14 years ago
  30. 46d1a4f Remove a special case for OSAtomic functions. We can already bind and retrieve by Zhongxing Xu · 14 years ago
  31. 1bf5adf Remove dead code. We no longer need it because now we treat the first element by Zhongxing Xu · 14 years ago
  32. 6145340 remove unused variable. by Zhongxing Xu · 14 years ago
  33. 0b46b1b When invalidating a struct region, whether its type definition exists is not by Zhongxing Xu · 14 years ago
  34. 0752d6d Remove dead code. by Ted Kremenek · 14 years ago
  35. 59b6dca Handle nested compound values in BindArray for multidimensional arrays. Fixes PR7945. by Jordy Rose · 14 years ago
  36. 4af473c Rewrite code fragment to avoide ICE in MSVC. Fixes PR 7875. Patch by Dimitry Andric! by Ted Kremenek · 14 years ago
  37. 2f4eaef Convert all uses of StringLiteral::getStrData() to StringLiteral::getString() by Benjamin Kramer · 14 years ago
  38. d5addb4 Instead of using operator bool() for testing if a BindingKey is valid, use an explicit isValid() method. by Jordy Rose · 14 years ago
  39. e701117 - Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking. by Jordy Rose · 14 years ago
  40. 5e4cb34 StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRState now. by Zhongxing Xu · 14 years ago
  41. 57663fe Remove redundant method. by Zhongxing Xu · 14 years ago
  42. c2b7dfa Add a callback for when region changes occur. Still somewhat of a work-in-progress, but working! Effect on clients: all changes to a store now go through GRState. by Jordy Rose · 14 years ago
  43. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 14 years ago
  44. 58f8b20 Remove InvalidateRegion from stores, since it's no longer called from outside. by Jordy Rose · 14 years ago
  45. ff59efd Makes GRState::makeWithStore private, to encourage clients to make store changes through GRState instead of directly accessing the StoreManager. Also adds cover methods for InvalidateRegion(s) and EnterStackFrame to GRState. by Jordy Rose · 14 years ago
  46. 7caf9b3 Improve flat store: MemRegion::getAsOffset() computes a region's offset within by Zhongxing Xu · 14 years ago
  47. 167cc37 Use a LazyCompoundVal to handle initialization with a string literal, rather than copying each character. by Jordy Rose · 14 years ago
  48. 281e9dc Augment RegionStore::BindStruct() to bind symbolicated struct values. This fixes a false path issue reported in <rdar://problem/8243408> and also spurs another cause where the idempotent operations checker fires. by Ted Kremenek · 14 years ago
  49. 0ea0e8b Fix casts in RegionStore to not always assume that bindings are only to SubRegions. Fixes assertion failure by Ted Kremenek · 14 years ago
  50. 32f2656 Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals. by Jordy Rose · 14 years ago
  51. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 14 years ago
  52. 7dadf79 Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents. by Jordy Rose · 14 years ago
  53. eac4a00 Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL(). by Jordy Rose · 14 years ago
  54. 4d912b2 When a constant size array is casted to another type, its length should be scaled as well. by Jordy Rose · 14 years ago
  55. 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
  56. 3f8612b Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixes analyzer by Ted Kremenek · 14 years ago
  57. 0e9910f Implement RegionStoreManager::iterBindings(). This implementation only returns the base region in by Ted Kremenek · 14 years ago
  58. 5446009 Limit the use of BindDefault(). by Zhongxing Xu · 14 years ago
  59. a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 14 years ago
  60. a709b87 After conversations with Zhongxing Xu and Jordy Rose, refine the logic in by Ted Kremenek · 14 years ago
  61. 42c67bf Revert r105097. Thinking about a better fix. by Zhongxing Xu · 14 years ago
  62. bdfa85f Fix PR7218. Patch by Jordy Rose. by Zhongxing Xu · 14 years ago
  63. ed4214c Small fix. by Zhongxing Xu · 15 years ago
  64. 9579898 Remove extents of dead symbolic regions when RemoveDeadBindings. by Zhongxing Xu · 15 years ago
  65. ab28099 CastSizeChecker checks when casting a malloc'ed symbolic region to type T, by Zhongxing Xu · 15 years ago
  66. fb87b89 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 15 years ago
  67. 856c6bc Analyzer: add support for CXXNewExpr. by Zhongxing Xu · 15 years ago
  68. 66d5142 Remove copy of 'Optional' in Clang tree, and convert clients to use the one now in the LLVM tree. by Ted Kremenek · 15 years ago
  69. 9618b85 Use the element type to compute the array size when the base region is a VarRegion. by Zhongxing Xu · 15 years ago
  70. 75a2d94 Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() where by Ted Kremenek · 15 years ago
  71. 4552ff0 RegionStore: specially handle loads from integer global variables declared 'const'. by Ted Kremenek · 15 years ago
  72. 2cf073b Use 'const Optional<SVal>&' to avoid an extra copy. by Ted Kremenek · 15 years ago
  73. 8e18c1b Bind the constructed object value to CXXConstructExpr. by Zhongxing Xu · 15 years ago
  74. 17ddf1c Mark CXXThisRegion in the current or parent stack frame context as live so that by Zhongxing Xu · 15 years ago
  75. c506357 Add VisitCXXContructExpr logic to the analyzer. This still has not fully worked by Zhongxing Xu · 15 years ago
  76. 957a2b7 Simplify assertion. by Ted Kremenek · 15 years ago
  77. a03430e Remove '#if 0' code. Lazy compound values have proven their worth. by Ted Kremenek · 15 years ago
  78. d69493a Remove the subregion map cache. It is no longer used. by Ted Kremenek · 15 years ago
  79. b7118f7 Fix stale comment. by Ted Kremenek · 15 years ago
  80. 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 · 15 years ago
  81. e5ea0ca Refactor RegionStore::RemoveDeadBindings to use the same core by Ted Kremenek · 15 years ago
  82. a4fab03 Refactor some of RegionStore's InvalidateRegionsWorker class by Ted Kremenek · 15 years ago
  83. 14d2328 Since now we store the cast type with an ElementRegion, there is by Zhongxing Xu · 15 years ago
  84. 2db08ca Assert when loading from a code text region instead of returning an unknown silently. by Zhongxing Xu · 15 years ago
  85. 24c37ad Enhance RegionStore::InvalidateRegions() to correctly invalidate bindings by Ted Kremenek · 15 years ago
  86. c1ddcab Pull logic for visiting value bindings in InvalidateRegionsWorker into a separate method. by Ted Kremenek · 15 years ago
  87. 952b017 Eliminate the ASTContext parameter from RecordDecl::getDefinition() by Douglas Gregor · 15 years ago
  88. dcbcbdc Add comment. by Zhongxing Xu · 15 years ago
  89. 8ec4aac Fix lookup of fields from lazy bindings to check if the region is by Ted Kremenek · 15 years ago
  90. 1397663 Revert 95541. by Ted Kremenek · 15 years ago
  91. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 15 years ago
  92. 8149185 Like for symbolic region, automatically create a element zero region for by Zhongxing Xu · 15 years ago
  93. 5253568 Unify the implementation of getLValueElement of store managers. by Zhongxing Xu · 15 years ago
  94. c1511e0 Unify the implementation of getLValueIvar and getLValueField of store managers. by Zhongxing Xu · 15 years ago
  95. 459731d Move common methods to the base StoreManager class. by Zhongxing Xu · 15 years ago
  96. 81861ab Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL. by Ted Kremenek · 15 years ago
  97. 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
  98. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
  99. 72119c4 More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
  100. 461147f Remove unused parameter. by Zhongxing Xu · 15 years ago