Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 112ba7e57e23c2310479fd6bb116d9570fc2b77d / test / Analysis
  1. 112ba7e Shorten the static analyzer diagnostic for 'use of garbage value'. by Ted Kremenek · 15 years ago
  2. 657406d Fix PR 4988 by removing an invalid assertion (a function can be referenced in by Ted Kremenek · 15 years ago
  3. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
  4. cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 15 years ago
  5. c32b244 Add test case for <rdar://problem/6829164>, which was implicitly fixed in r79694. by Ted Kremenek · 15 years ago
  6. 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
  7. e0a5807 Re-introduce diagnostic caching in BugReporter that was originally added in by Ted Kremenek · 15 years ago
  8. 7f473c5 Revert most of r82198, which was causing a large number of crashes by Ted Kremenek · 15 years ago
  9. 6a19832 Introduce caching of diagnostics in BugReporter. This provides extra by Ted Kremenek · 15 years ago
  10. 7c039bf Have divide-by-zero checker not handled undefined denominators. This is handled by the generic checking for undefined operands for BinaryOperators. by Ted Kremenek · 15 years ago
  11. e2b5744 Add static analyzer transfer function support for __builtin_offsetof. by Ted Kremenek · 15 years ago
  12. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  13. cfcd7fd Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon entry to a method by Ted Kremenek · 15 years ago
  14. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  15. 2465047 Implement: <rdar://problem/6337100> CWE-338: Use of cryptographically weak prng by Ted Kremenek · 15 years ago
  16. cc58eae Add test case from <rdar://problem/7184450>. by Ted Kremenek · 15 years ago
  17. c761f40 Add uninitialized values test case. by Ted Kremenek · 15 years ago
  18. a834fb4 retain/release checker: [CIContext createCGImage...] and friends returned CF by Ted Kremenek · 15 years ago
  19. 65a81a9 Implement: <rdar://problem/6337132> CWE-273: Failure to Check Whether Privileges by Ted Kremenek · 15 years ago
  20. ab2f43c Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays. RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager. This fixes PR 4781. by Ted Kremenek · 15 years ago
  21. bcf62a9 Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers by Ted Kremenek · 15 years ago
  22. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  23. ac50213 Add test case for PR 4759. by Ted Kremenek · 15 years ago
  24. ac02f20 retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:' by Ted Kremenek · 15 years ago
  25. caac089 Make this test case more portable by removing its dependency on system header files. by Ted Kremenek · 15 years ago
  26. c484381 retain/release checker: Special case handling of CFAttributedStringSetAttribute, by Ted Kremenek · 15 years ago
  27. 35ffcf3 Fix: <rdar://problem/7075531> static analyzer wrongly detects unused ivars used in blocks by Ted Kremenek · 15 years ago
  28. 566a6fa Fix a few more false positives involving RegionStore and unions, but this time by Ted Kremenek · 15 years ago
  29. d4e5a60 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 15 years ago
  30. addc931 Update test case. by Ted Kremenek · 15 years ago
  31. 4ed4598 Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map. by Ted Kremenek · 15 years ago
  32. bfc8168 Add test case. by Zhongxing Xu · 15 years ago
  33. 8eec7c0 Adjust test case. by Ted Kremenek · 15 years ago
  34. 48775d5 Add a pass-by-value test for the analyzer. by Ted Kremenek · 15 years ago
  35. 28ba10c Add test case testing field sensitivity. Reduced from <rdar://problem/7114618>. by Ted Kremenek · 15 years ago
  36. 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 15 years ago
  37. 9a108eb Fix regression in StoreManager::CastRegion() to always treat casts to by Ted Kremenek · 15 years ago
  38. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  39. 39abcdf Temporarily disable out-of-bounds checking. The current checking logic will not work quite right with the changes I'm about to commit. by Ted Kremenek · 15 years ago
  40. 9668b1f Add casts to avoid a bunch of unused expr warnings. (They aren't reported right now due to a bug that I intend to fix). Ted, please review. by Anders Carlsson · 15 years ago
  41. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  42. 6075e00 Add an XFAILed test case that currently crashes for RegionStore. This case will by Ted Kremenek · 15 years ago
  43. 0aeaf5a Add another analyzer test case involving an OSAtomic function. by Ted Kremenek · 15 years ago
  44. f3bfa21 Fix PR 4631. The compound initializers of unions were not being evaluated, which by Ted Kremenek · 15 years ago
  45. bb97722 Fix regression in attribute 'nonnull' checking when a transition node by Ted Kremenek · 15 years ago
  46. efcbb15 Implement: <rdar://problem/6335715> rule request: gets() buffer overflow by Ted Kremenek · 15 years ago
  47. 8baf86d Refine checking and diagnostics for use of floating point variable as a counter. by Ted Kremenek · 15 years ago
  48. 0979d80 Improve CFG support for C++ throw expressions. by Mike Stump · 15 years ago
  49. f0549e2 Prep for new warning. by Mike Stump · 15 years ago
  50. c26a8b0 Migrate the path-sensitive checking of 'nonnull' arguments over to the new by Ted Kremenek · 15 years ago
  51. 0b331e3 Fix a crasher in StoreManager::InvalidateRegion() caused by using the by Ted Kremenek · 15 years ago
  52. ae87ce7 Remove stale comment and fix RUN line. by Ted Kremenek · 15 years ago
  53. 8b31826 Add test case for PR 4596, which is already fixed due to Steve Naroff's overhaul of the Objective-C type system, but isn't in a checker build yet. by Ted Kremenek · 15 years ago
  54. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  55. 655a63d Prep for new warning. by Mike Stump · 15 years ago
  56. a5495ea Prep for new warning. by Mike Stump · 15 years ago
  57. b8a087e Prep for new warning. by Mike Stump · 15 years ago
  58. 6fed58e Prep for new warning. by Mike Stump · 15 years ago
  59. 006105d Prep for new warning. by Mike Stump · 15 years ago
  60. 3a3c624 Prep for new warning. by Mike Stump · 15 years ago
  61. 08631d1 Prep for new warning. by Mike Stump · 15 years ago
  62. 6581c30 Prep for new warning. by Mike Stump · 15 years ago
  63. c237429 Prep for new warning. by Mike Stump · 15 years ago
  64. 28b2227 Prep for new warning. by Mike Stump · 15 years ago
  65. dff6ba0 Prep for new warning. by Mike Stump · 15 years ago
  66. 431e4d3 Prep for new warning. by Mike Stump · 15 years ago
  67. 339d52a Prep for new warning. by Mike Stump · 15 years ago
  68. 044ca3f Prep for new warning. by Mike Stump · 15 years ago
  69. 4393b3f Prep for new warning. by Mike Stump · 15 years ago
  70. 9599226 Prep for new warning. by Mike Stump · 15 years ago
  71. e448611 Prep for new warning. by Mike Stump · 15 years ago
  72. fd28a61 Prep for new warnings about control flow falling off the ends of by Mike Stump · 15 years ago
  73. 22cd658 Wire up CFG improvements for __builtin_choose_expr. by Mike Stump · 15 years ago
  74. 8f9893a Wire up CFG improvements for do { } while () when the condition is known. by Mike Stump · 15 years ago
  75. fefb9f7 Wire up for statement CFG improvements for conditionals that are known. by Mike Stump · 15 years ago
  76. 5f20363 Wire up CFG improvements for while when the condition is known. by Mike Stump · 15 years ago
  77. e5af3ce Add yet more analysis for CFGs involving conditionals that are actually constant. by Mike Stump · 15 years ago
  78. 25c5457 Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order by Ted Kremenek · 15 years ago
  79. ba02486 This test now passes with RegionStore. by Ted Kremenek · 15 years ago
  80. 293769a Add XFAILED test. by Ted Kremenek · 15 years ago
  81. 63b9cfe Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or whatever) to a BlockPointerType. by Ted Kremenek · 15 years ago
  82. 386af0a Add test case for bug fix in r76262. by Ted Kremenek · 15 years ago
  83. cd7bf23 Make noreturn functions alter the CFG. by Mike Stump · 15 years ago
  84. 71ef5d6 Update test case to use '__has_feature' macro. by Ted Kremenek · 15 years ago
  85. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 15 years ago
  86. fde2efe Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. by Ted Kremenek · 15 years ago
  87. a6275a5 More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. by Ted Kremenek · 15 years ago
  88. 0c10699 Split out 'test2' into an i386 and x86_64 file, illustrating how the by Ted Kremenek · 15 years ago
  89. b4aa484 This test currently only passes for 32-bit archs. by Ted Kremenek · 15 years ago
  90. 60fbe8f Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do this by silently wrapping the region with an ElementRegion. This fixes the failures in misc-ps-region-store.m. by Ted Kremenek · 15 years ago
  91. 79b4f7d Add basic checking for passing NULL to CFRetain/CFRelease, since those functions by Ted Kremenek · 15 years ago
  92. 54ca9b1 Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case by Ted Kremenek · 15 years ago
  93. 43d74a5 Handle insidious corner case exposed by RegionStoreManager when handling void* values that are bound by Ted Kremenek · 15 years ago
  94. e07c579 remove duplicated test cast. by Zhongxing Xu · 15 years ago
  95. 7d7c439 This test passes with RegionStoreManager. by Ted Kremenek · 15 years ago
  96. 6f0b2ef This test now passes with RegionStoreManager. by Ted Kremenek · 15 years ago
  97. 88bd340 Fix silly mistake I made applying patch to fix test. by Eli Friedman · 15 years ago
  98. cad9fef Rename test file. by Ted Kremenek · 15 years ago
  99. 2f08991 RegionStoreManager also passes this test file. by Ted Kremenek · 15 years ago
  100. 988dc7e RegionStoreManager now correctly passes this test file. by Ted Kremenek · 15 years ago