Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 5512f28fa7b26e87e613dc1558b29b2a89647809 / test / Analysis
  1. 1f7de66 This test now passes using RegionStore. by Ted Kremenek · 15 years ago
  2. e184b1e Add test case for pointer arithmetic. by Zhongxing Xu · 15 years ago
  3. ed8a93d Fix PR3509 by providing correct starting locations for initializer lists by Douglas Gregor · 15 years ago
  4. 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 15 years ago
  5. 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 15 years ago
  6. 89e202d retain/release checker: For now don't track the retain count of NSWindow objects (opt for false negatives). by Ted Kremenek · 15 years ago
  7. f0dff4c More retain/release naming convention tests. by Ted Kremenek · 15 years ago
  8. d3d4f57 Add test case for PR 2599. by Ted Kremenek · 15 years ago
  9. b80976c Improved naming convention heuristics in the retain/release checker to better by Ted Kremenek · 15 years ago
  10. 0bdf178 Add test case for <rdar://problem/6562655>. by Ted Kremenek · 15 years ago
  11. 79f7f8a Update test case to include a leak that occurs at the place of allocation. by Ted Kremenek · 15 years ago
  12. 3450a55 add test case. by Zhongxing Xu · 15 years ago
  13. 98f1e1c Add test case for 'nil receiver returns undefined struct value' check. by Ted Kremenek · 15 years ago
  14. b2b14d7 Add a few more GC-only test cases for the retain/release checker. by Ted Kremenek · 15 years ago
  15. e1d77c3 Fix test: config.h is not guaranteed to exist at the location in by Eli Friedman · 15 years ago
  16. 9457a80 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 15 years ago
  17. 4b2d0dd Eliminate dependency on where test is run from. by Daniel Dunbar · 15 years ago
  18. 16de4c7 Convert tabs to spaces. by Ted Kremenek · 15 years ago
  19. 3092dd6 Enhance tests to exercise more combinations of using the RangeConstraintManager with the RegionStoreManager. by Ted Kremenek · 15 years ago
  20. 61a3778 Don't include alloca.h if it doesn't exist. by Ben Laurie · 15 years ago
  21. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 15 years ago
  22. 9800dad Test passes with -analyzer-range-contraints. by Ted Kremenek · 15 years ago
  23. a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 16 years ago
  24. 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
  25. a316e7b Extend builtin "attribute" syntax to include a notation for by Douglas Gregor · 16 years ago
  26. 3e41d60 Implicitly declare certain C library functions (malloc, strcpy, memmove, by Douglas Gregor · 16 years ago
  27. dd06e09 Add test case illustrating special handling of 'SenTestCase' subclasses for the missing -dealloc check. by Ted Kremenek · 16 years ago
  28. 7a10181 This test now passes. by Ted Kremenek · 16 years ago
  29. 183c6f2 Add another test case for the MissingDealloc checker. by Ted Kremenek · 16 years ago
  30. d3098ee Fix PR 2514: Do not flag dead initializations for variables initialized to a constant global variable. by Ted Kremenek · 16 years ago
  31. ddf7e99 Make the test cases failing due to exact diagnostic matching XFAIL. by Sebastian Redl · 16 years ago
  32. 043254a Update test case. by Ted Kremenek · 16 years ago
  33. bcd2f76 Put the region store specific test in a separate file. by Zhongxing Xu · 16 years ago
  34. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
  35. 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
  36. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  37. bf98c99 Fix horrible non-termination bug in LiveVariables. The issue was that by Ted Kremenek · 16 years ago
  38. 2612903 fix RUN line by Nuno Lopes · 16 years ago
  39. 282f753 enable test as it works by Nuno Lopes · 16 years ago
  40. 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
  41. 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
  42. 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
  43. a7ecc37 Add autorelease test case. by Ted Kremenek · 16 years ago
  44. 23b8eaa retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected. by Ted Kremenek · 16 years ago
  45. 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
  46. 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
  47. 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
  48. 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 16 years ago
  49. b61f49c Add a test case for init expr of array and struct type. by Zhongxing Xu · 16 years ago
  50. 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
  51. 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
  52. 872e25c This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  53. 31c2c20 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  54. 16aaf4c This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  55. b78284a This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  56. 19e8744 Enhance test case to test RegionStore with -checker-cfref. by Ted Kremenek · 16 years ago
  57. 2758482 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  58. f1456aa This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  59. 04b1de1 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  60. 62bca24 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  61. 9945781 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  62. f9e9684 Test more array logic in outofbound.c by Ted Kremenek · 16 years ago
  63. 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
  64. f536ca3 These test cases now pass with RegionStore. by Ted Kremenek · 16 years ago
  65. 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
  66. bb6c8fd This test now passes using -analyzer-store-region. by Ted Kremenek · 16 years ago
  67. b87f66c This test now passes using -analyzer-store-region. by Ted Kremenek · 16 years ago
  68. 0964a06 Get RegionStore to work with the retain/release checker and its test cases. by Ted Kremenek · 16 years ago
  69. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  70. d24d255 Make test independent of stdint.h by Daniel Dunbar · 16 years ago
  71. 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
  72. 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
  73. 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 16 years ago
  74. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago
  75. e3a46b0 This test now passes. by Ted Kremenek · 16 years ago
  76. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  77. 1261938 retain/release checker: by Ted Kremenek · 16 years ago
  78. 3b58786 Dead stores checker: Don't flag dead stores for self-assignments (common escape hatch for 'unused variable' warnings). by Ted Kremenek · 16 years ago
  79. 234a4c2 This commit reflects changes to the retain/release checker motivated by my by Ted Kremenek · 16 years ago
  80. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  81. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  82. 784606f Added test case for suppressing leak warnings for reference-counted objects passed by-reference to an unknown function. by Ted Kremenek · 16 years ago
  83. 2fb78a7 CF-retain/release checker: by Ted Kremenek · 16 years ago
  84. 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 16 years ago
  85. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago
  86. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  87. cfec1db Temporarily XFAIL these tests. by Ted Kremenek · 16 years ago
  88. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  89. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
  90. 8322d6a Add zero-sized VLA check test case. by Ted Kremenek · 16 years ago
  91. 26b58cd Incorporate MissingDealloc_IBOutlet.m test case into MissingDealloc.m by Ted Kremenek · 16 years ago
  92. 63de736 Incorporate MissingDeallc_SEL.m test case into MissingDealloc.m by Ted Kremenek · 16 years ago
  93. e0bb804 Add test case for <rdar://problem/6380411>. by Ted Kremenek · 16 years ago
  94. 567c8df Patch to diagnose a variety of misuse of property by Fariborz Jahanian · 16 years ago
  95. ae0ee03 instead of forcing blocks on by default, make them default to off, but let by Chris Lattner · 16 years ago
  96. a317e90 Add 'expected-warning' to make test case pass. by Ted Kremenek · 16 years ago
  97. 1e10011 Add another static analyzer test case involving attribute(nonnull). by Ted Kremenek · 16 years ago
  98. a96ac06 Add another test case for attribute(nonnull) checking. by Ted Kremenek · 16 years ago
  99. 4226846 Revise bogus comment I just committed. by Ted Kremenek · 16 years ago
  100. f117fac Add comment to test case for documentation. by Ted Kremenek · 16 years ago