Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 570585c91dee98d7ba8ccf1198c03208ba17966b / test / Analysis
  1. c505d4f Add test cases for PR 3820. by Ted Kremenek · 16 years ago
  2. 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
  3. ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
  4. c57bc59 add test case. by Zhongxing Xu · 16 years ago
  5. 8be2a67 Fix PR 3677 [retain checker]: custom 'allocWithZone' methods should be allowed by Ted Kremenek · 16 years ago
  6. 6ae8a36 Add a hack in the analyzer to recover some path-sensitivity at branch by Ted Kremenek · 16 years ago
  7. 610e81d Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the target by Ted Kremenek · 16 years ago
  8. e6fbdf5 Fix crash when using TypedViewRegions and ObjCQualifiedIdTypes (TypedViewRegion::getLValueType() was not implemented). by Ted Kremenek · 16 years ago
  9. 50f4f46 Add Diagnostic files for Frontend and move a couple errors over. by Daniel Dunbar · 16 years ago
  10. e8cba00 Add comments to test case. by Zhongxing Xu · 16 years ago
  11. 344d4c8 Fix StmtIterator bug reported in PR 3780 where a VLA within a DeclGroup would by Ted Kremenek · 16 years ago
  12. 3c4b379 This test case checks if we get the right rvalue type of a TypedViewRegion. by Zhongxing Xu · 16 years ago
  13. 2b1dc17 Fix crash when LHS of pointer arithmetic is not ElementRegion. by Zhongxing Xu · 16 years ago
  14. fa6228d Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not by Ted Kremenek · 16 years ago
  15. 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 16 years ago
  16. 25d01ba retain/release checker: Allow allocations to fail by returning nil. by Ted Kremenek · 16 years ago
  17. cd57fce Add test case for <rdar://problem/6659160>. by Ted Kremenek · 16 years ago
  18. 5c42f9b Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers. by Ted Kremenek · 16 years ago
  19. c530291 Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions. by Ted Kremenek · 16 years ago
  20. 9f45d28 Update test case: objects stored to self.ivar are not tracked. by Ted Kremenek · 16 years ago
  21. f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 16 years ago
  22. f27893a Test case: When using RegionStore with the retain/release checker, stop tracking objects assigned to self's ivar. by Ted Kremenek · 16 years ago
  23. aad45e0 Add test case for RegionStore's tracking of the ivars of 'self'. by Ted Kremenek · 16 years ago
  24. efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
  25. 3aa7ecd For now, do not track NSWindow objects and it's subclasses. by Ted Kremenek · 16 years ago
  26. d104a09 Add prototype support for invalidating fields for structures passed-by-reference by Ted Kremenek · 16 years ago
  27. 1f7de66 This test now passes using RegionStore. by Ted Kremenek · 16 years ago
  28. e184b1e Add test case for pointer arithmetic. by Zhongxing Xu · 16 years ago
  29. ed8a93d Fix PR3509 by providing correct starting locations for initializer lists by Douglas Gregor · 16 years ago
  30. 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 16 years ago
  31. 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
  32. 89e202d retain/release checker: For now don't track the retain count of NSWindow objects (opt for false negatives). by Ted Kremenek · 16 years ago
  33. f0dff4c More retain/release naming convention tests. by Ted Kremenek · 16 years ago
  34. d3d4f57 Add test case for PR 2599. by Ted Kremenek · 16 years ago
  35. b80976c Improved naming convention heuristics in the retain/release checker to better by Ted Kremenek · 16 years ago
  36. 0bdf178 Add test case for <rdar://problem/6562655>. by Ted Kremenek · 16 years ago
  37. 79f7f8a Update test case to include a leak that occurs at the place of allocation. by Ted Kremenek · 16 years ago
  38. 3450a55 add test case. by Zhongxing Xu · 16 years ago
  39. 98f1e1c Add test case for 'nil receiver returns undefined struct value' check. by Ted Kremenek · 16 years ago
  40. b2b14d7 Add a few more GC-only test cases for the retain/release checker. by Ted Kremenek · 16 years ago
  41. e1d77c3 Fix test: config.h is not guaranteed to exist at the location in by Eli Friedman · 16 years ago
  42. 9457a80 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 16 years ago
  43. 4b2d0dd Eliminate dependency on where test is run from. by Daniel Dunbar · 16 years ago
  44. 16de4c7 Convert tabs to spaces. by Ted Kremenek · 16 years ago
  45. 3092dd6 Enhance tests to exercise more combinations of using the RangeConstraintManager with the RegionStoreManager. by Ted Kremenek · 16 years ago
  46. 61a3778 Don't include alloca.h if it doesn't exist. by Ben Laurie · 16 years ago
  47. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  48. 9800dad Test passes with -analyzer-range-contraints. by Ted Kremenek · 16 years ago
  49. a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 16 years ago
  50. 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
  51. a316e7b Extend builtin "attribute" syntax to include a notation for by Douglas Gregor · 16 years ago
  52. 3e41d60 Implicitly declare certain C library functions (malloc, strcpy, memmove, by Douglas Gregor · 16 years ago
  53. dd06e09 Add test case illustrating special handling of 'SenTestCase' subclasses for the missing -dealloc check. by Ted Kremenek · 16 years ago
  54. 7a10181 This test now passes. by Ted Kremenek · 16 years ago
  55. 183c6f2 Add another test case for the MissingDealloc checker. by Ted Kremenek · 16 years ago
  56. d3098ee Fix PR 2514: Do not flag dead initializations for variables initialized to a constant global variable. by Ted Kremenek · 16 years ago
  57. ddf7e99 Make the test cases failing due to exact diagnostic matching XFAIL. by Sebastian Redl · 16 years ago
  58. 043254a Update test case. by Ted Kremenek · 16 years ago
  59. bcd2f76 Put the region store specific test in a separate file. by Zhongxing Xu · 16 years ago
  60. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
  61. a92206e Add 'AppendValue' to the list of magic CF function names that cause a tracked object to escape. Fixes <rdar://problem/6560661>. by Ted Kremenek · 16 years ago
  62. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  63. bf98c99 Fix horrible non-termination bug in LiveVariables. The issue was that by Ted Kremenek · 16 years ago
  64. 2612903 fix RUN line by Nuno Lopes · 16 years ago
  65. 282f753 enable test as it works by Nuno Lopes · 16 years ago
  66. 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
  67. 6818928 retain/release checker: When generating summaries for CF/CG functions, allow arguments to "escape" if they are passed to a function containing the terms "InsertValue", "SetValue", or "AddValue". This fixes <rdar://problem/6539791>. by Ted Kremenek · 16 years ago
  68. abf4397 retain/release checker: Always generate an "autorelease" summary for an "autorelease" message, and have the summary processing logic treat it as a no-op in GC mode. This change is motivated to encode more of the semantics in the summaries themselves for eventual better diagnostics. by Ted Kremenek · 16 years ago
  69. a7ecc37 Add autorelease test case. by Ted Kremenek · 16 years ago
  70. 23b8eaa retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected. by Ted Kremenek · 16 years ago
  71. d76d47e Fix bug in BasicStore::getLValueElement where if the base of an array subscript expression was an ElementRegion we stacked another ElementRegion on top of that. by Ted Kremenek · 16 years ago
  72. 8318304 Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer. by Ted Kremenek · 16 years ago
  73. 3148eb4 More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup. by Ted Kremenek · 16 years ago
  74. 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 16 years ago
  75. b61f49c Add a test case for init expr of array and struct type. by Zhongxing Xu · 16 years ago
  76. 2e84257 For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedRegions. It wasn't really doing the right thing and was crashing on rdar-6442306-1.m. This fix causes all path-sensitive test cases to pass with RegionStore. by Ted Kremenek · 16 years ago
  77. 6fd8f91 Add RegionStore support for the implicit object region that 'self' references. This causes tests 'ObjCProperties.m' and 'refcnt_naming.m' to now pass with RegionStore. by Ted Kremenek · 16 years ago
  78. 872e25c This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  79. 31c2c20 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  80. 16aaf4c This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  81. b78284a This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  82. 19e8744 Enhance test case to test RegionStore with -checker-cfref. by Ted Kremenek · 16 years ago
  83. 2758482 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  84. f1456aa This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  85. 04b1de1 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  86. 62bca24 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  87. 9945781 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  88. f9e9684 Test more array logic in outofbound.c by Ted Kremenek · 16 years ago
  89. a7ac944 Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic). by Ted Kremenek · 16 years ago
  90. f536ca3 These test cases now pass with RegionStore. by Ted Kremenek · 16 years ago
  91. 2dabd42 The 'misc-ps.m' test case now passes with RegionStore. One case needed to be split out into 'misc-ps-basic-store.m' and 'misc-ps-region-store.m' because the behavior was different between the two store models (RegionStore flags an additional valid bug). by Ted Kremenek · 16 years ago
  92. bb6c8fd This test now passes using -analyzer-store-region. by Ted Kremenek · 16 years ago
  93. b87f66c This test now passes using -analyzer-store-region. by Ted Kremenek · 16 years ago
  94. 0964a06 Get RegionStore to work with the retain/release checker and its test cases. by Ted Kremenek · 16 years ago
  95. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  96. d24d255 Make test independent of stdint.h by Daniel Dunbar · 16 years ago
  97. 7f5fce7 Dead stores checker: Fix <rdar://problem/6506065> by being more selective when say that a store is dead even though the computed value is used in the enclosing expression. by Ted Kremenek · 16 years ago
  98. 72afb37 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. by Ted Kremenek · 16 years ago
  99. 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 16 years ago
  100. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago