Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 929742338206eec29caa7c20e3c484cc79f18240 / test / Analysis
  1. 35ffcf3 Fix: <rdar://problem/7075531> static analyzer wrongly detects unused ivars used in blocks by Ted Kremenek · 15 years ago
  2. 566a6fa Fix a few more false positives involving RegionStore and unions, but this time by Ted Kremenek · 15 years ago
  3. d4e5a60 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 15 years ago
  4. addc931 Update test case. by Ted Kremenek · 15 years ago
  5. 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
  6. bfc8168 Add test case. by Zhongxing Xu · 15 years ago
  7. 8eec7c0 Adjust test case. by Ted Kremenek · 15 years ago
  8. 48775d5 Add a pass-by-value test for the analyzer. by Ted Kremenek · 15 years ago
  9. 28ba10c Add test case testing field sensitivity. Reduced from <rdar://problem/7114618>. by Ted Kremenek · 15 years ago
  10. 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 15 years ago
  11. 9a108eb Fix regression in StoreManager::CastRegion() to always treat casts to by Ted Kremenek · 15 years ago
  12. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  13. 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
  14. 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
  15. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  16. 6075e00 Add an XFAILed test case that currently crashes for RegionStore. This case will by Ted Kremenek · 15 years ago
  17. 0aeaf5a Add another analyzer test case involving an OSAtomic function. by Ted Kremenek · 15 years ago
  18. f3bfa21 Fix PR 4631. The compound initializers of unions were not being evaluated, which by Ted Kremenek · 15 years ago
  19. bb97722 Fix regression in attribute 'nonnull' checking when a transition node by Ted Kremenek · 15 years ago
  20. efcbb15 Implement: <rdar://problem/6335715> rule request: gets() buffer overflow by Ted Kremenek · 15 years ago
  21. 8baf86d Refine checking and diagnostics for use of floating point variable as a counter. by Ted Kremenek · 15 years ago
  22. 0979d80 Improve CFG support for C++ throw expressions. by Mike Stump · 15 years ago
  23. f0549e2 Prep for new warning. by Mike Stump · 15 years ago
  24. c26a8b0 Migrate the path-sensitive checking of 'nonnull' arguments over to the new by Ted Kremenek · 15 years ago
  25. 0b331e3 Fix a crasher in StoreManager::InvalidateRegion() caused by using the by Ted Kremenek · 15 years ago
  26. ae87ce7 Remove stale comment and fix RUN line. by Ted Kremenek · 15 years ago
  27. 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
  28. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  29. 655a63d Prep for new warning. by Mike Stump · 15 years ago
  30. a5495ea Prep for new warning. by Mike Stump · 15 years ago
  31. b8a087e Prep for new warning. by Mike Stump · 15 years ago
  32. 6fed58e Prep for new warning. by Mike Stump · 15 years ago
  33. 006105d Prep for new warning. by Mike Stump · 15 years ago
  34. 3a3c624 Prep for new warning. by Mike Stump · 15 years ago
  35. 08631d1 Prep for new warning. by Mike Stump · 15 years ago
  36. 6581c30 Prep for new warning. by Mike Stump · 15 years ago
  37. c237429 Prep for new warning. by Mike Stump · 15 years ago
  38. 28b2227 Prep for new warning. by Mike Stump · 15 years ago
  39. dff6ba0 Prep for new warning. by Mike Stump · 15 years ago
  40. 431e4d3 Prep for new warning. by Mike Stump · 15 years ago
  41. 339d52a Prep for new warning. by Mike Stump · 15 years ago
  42. 044ca3f Prep for new warning. by Mike Stump · 15 years ago
  43. 4393b3f Prep for new warning. by Mike Stump · 15 years ago
  44. 9599226 Prep for new warning. by Mike Stump · 15 years ago
  45. e448611 Prep for new warning. by Mike Stump · 15 years ago
  46. fd28a61 Prep for new warnings about control flow falling off the ends of by Mike Stump · 15 years ago
  47. 22cd658 Wire up CFG improvements for __builtin_choose_expr. by Mike Stump · 15 years ago
  48. 8f9893a Wire up CFG improvements for do { } while () when the condition is known. by Mike Stump · 15 years ago
  49. fefb9f7 Wire up for statement CFG improvements for conditionals that are known. by Mike Stump · 15 years ago
  50. 5f20363 Wire up CFG improvements for while when the condition is known. by Mike Stump · 15 years ago
  51. e5af3ce Add yet more analysis for CFGs involving conditionals that are actually constant. by Mike Stump · 15 years ago
  52. 25c5457 Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order by Ted Kremenek · 15 years ago
  53. ba02486 This test now passes with RegionStore. by Ted Kremenek · 15 years ago
  54. 293769a Add XFAILED test. by Ted Kremenek · 15 years ago
  55. 63b9cfe Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or whatever) to a BlockPointerType. by Ted Kremenek · 15 years ago
  56. 386af0a Add test case for bug fix in r76262. by Ted Kremenek · 15 years ago
  57. cd7bf23 Make noreturn functions alter the CFG. by Mike Stump · 15 years ago
  58. 71ef5d6 Update test case to use '__has_feature' macro. by Ted Kremenek · 15 years ago
  59. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 15 years ago
  60. fde2efe Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. by Ted Kremenek · 15 years ago
  61. 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
  62. 0c10699 Split out 'test2' into an i386 and x86_64 file, illustrating how the by Ted Kremenek · 15 years ago
  63. b4aa484 This test currently only passes for 32-bit archs. by Ted Kremenek · 15 years ago
  64. 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
  65. 79b4f7d Add basic checking for passing NULL to CFRetain/CFRelease, since those functions by Ted Kremenek · 15 years ago
  66. 54ca9b1 Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case by Ted Kremenek · 15 years ago
  67. 43d74a5 Handle insidious corner case exposed by RegionStoreManager when handling void* values that are bound by Ted Kremenek · 15 years ago
  68. e07c579 remove duplicated test cast. by Zhongxing Xu · 15 years ago
  69. 7d7c439 This test passes with RegionStoreManager. by Ted Kremenek · 15 years ago
  70. 6f0b2ef This test now passes with RegionStoreManager. by Ted Kremenek · 15 years ago
  71. 88bd340 Fix silly mistake I made applying patch to fix test. by Eli Friedman · 15 years ago
  72. cad9fef Rename test file. by Ted Kremenek · 15 years ago
  73. 2f08991 RegionStoreManager also passes this test file. by Ted Kremenek · 15 years ago
  74. 988dc7e RegionStoreManager now correctly passes this test file. by Ted Kremenek · 15 years ago
  75. 31ef2b6 Test case in test/Analysis/xfail_regionstore_wine_crash.c no longer fails, so by Ted Kremenek · 15 years ago
  76. 8d344ae Revert r75281 and simply remove the assertion in NewCastRegion that by Ted Kremenek · 15 years ago
  77. 3f9811b Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, by Ted Kremenek · 15 years ago
  78. cb52d28 Misc fixes to fix tests on OpenBSD, per email to cfe-commits. Patches by Eli Friedman · 15 years ago
  79. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  80. 5997888 Fix: <rdar://problem/7034511> ValueManager::makeIntVal(uint64_t X, QualType T) should return a 'Loc' when 'T' is a pointer by Ted Kremenek · 15 years ago
  81. 169077d NewCastRegion: Handle casts *from* pointers to incomplete structs to other types. by Ted Kremenek · 15 years ago
  82. 411af40 StoreManager::NewCastRegion: by Ted Kremenek · 15 years ago
  83. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  84. 6d4b76d Fix <rdar://problem/7033733>. The CF_RETURNS_RETAINED attribute should work if the return type on an Objective-C method is a CF type reference, not just an Objective-C object reference. by Ted Kremenek · 15 years ago
  85. c5771fd add test case for r74407. by Zhongxing Xu · 15 years ago
  86. ed47fc6 Fix a horrible CFG bug reported in <rdar://problem/7027684>. The wrong successor by Ted Kremenek · 15 years ago
  87. dc14726 Enhance RegionStore to lazily symbolicate fields and array elements for by Ted Kremenek · 15 years ago
  88. dac5bd4 Temporarily disable RegionStore for stack-addr-ps.c, as a new test case reveals by Ted Kremenek · 15 years ago
  89. 921109a Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to by Ted Kremenek · 15 years ago
  90. 7abe019 When retrieving element region, if its super region has binding, return by Zhongxing Xu · 15 years ago
  91. a03f157 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 15 years ago
  92. 49e2e99 Now this test case passes. by Zhongxing Xu · 15 years ago
  93. 6bd8a52 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 15 years ago
  94. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  95. 5414a5c Return UnknownVal for pointer arithmetic on struct fields. by Zhongxing Xu · 15 years ago
  96. 45257c3 A further step of r73690: associate the cast-to type with the created symbol, by Zhongxing Xu · 15 years ago
  97. 005f07b If the SymbolicRegion was cast to another type, use that type to create the by Zhongxing Xu · 15 years ago
  98. 59c03ff Modify test case comments. by Zhongxing Xu · 15 years ago
  99. 88c675f When casting region, if we do not create an element region, record the cast-to by Zhongxing Xu · 15 years ago
  100. fdd8b8e Add IOKit test cases for retain/release checker. by Ted Kremenek · 16 years ago