Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / d58c03f42ebb4e548c2b53fa25b1cfe02ebb9ac0 / test / Analysis
  1. 2f00552 Fix a couple of tests. by Eli Friedman · 15 years ago
  2. c360775 Remove test case's dependency on header file. by Ted Kremenek · 15 years ago
  3. c764d4b Add two new test cases for the Malloc/Free checker. Both have to do with by Ted Kremenek · 15 years ago
  4. ba93087 Add test case that shows a leak we don't catch. by Ted Kremenek · 15 years ago
  5. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  6. fc7ac8f Malloc checker basically works now. by Zhongxing Xu · 15 years ago
  7. ab6d622 Split buffer overflow test case into two test cases, removing out logic that was commented out. by Ted Kremenek · 15 years ago
  8. d694485 Add undefined array subscript checker. by Zhongxing Xu · 15 years ago
  9. 58e689f Reimplement out-of-bound array access checker with the new checker interface. by Zhongxing Xu · 15 years ago
  10. de7d800 CastToStructChecker: use 'isStructureType()' instead of 'isRecordType()' to determine if a pointer is casted to a struct pointer. This fixes an observed false positive when a value is casted to a union. by Ted Kremenek · 15 years ago
  11. 79234ca Add test case for PointerSubChecker. by Zhongxing Xu · 15 years ago
  12. adca271 Refine PointerSubChecker: compare the base region instead of the original by Zhongxing Xu · 15 years ago
  13. e4da0eb update test case. by Zhongxing Xu · 15 years ago
  14. ede7eb2 Add check for pointer arithmetic on non-array variables. by Zhongxing Xu · 15 years ago
  15. bd842e3 Add check for obsolete function call of getpw(). by Zhongxing Xu · 15 years ago
  16. 4f3dc69 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 15 years ago
  17. b10a7c2 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. by Zhongxing Xu · 15 years ago
  18. 3ce2dc3 Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. This by Zhongxing Xu · 15 years ago
  19. c24e9f3 Add a test case for CWE-467, and simplify the wording of the warning. by Zhongxing Xu · 15 years ago
  20. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  21. 680523a Implement -Wconversion. Off by default, in the non-gcc group. There's by John McCall · 15 years ago
  22. 7344c87 testing: Merge PR3135.c into misc-ps-region-store.m. by Ted Kremenek · 15 years ago
  23. 6f516f5 Sentence-case bug type, and pull tests from region-only-test.c into misc-ps-region.store.m (removing an extra unneeded test file). Also add a bunch of FIXME comments for future enhancements. by Ted Kremenek · 15 years ago
  24. afb32f7 add test case for PR3135 which was already fixed by Nuno Lopes · 15 years ago
  25. ceeb02d Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. by Zhongxing Xu · 15 years ago
  26. ae78447 Tweak wording and classifications of analyzer diagnostics. by Ted Kremenek · 15 years ago
  27. b107c4b Catch uses of undefined values when they are used in assignment, thus catching such bugs closer to the source. by Ted Kremenek · 15 years ago
  28. 5206f0b Pull VLA size checker into its own files. by Zhongxing Xu · 15 years ago
  29. 54cb7cc Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode by Ted Kremenek · 15 years ago
  30. d739021 Switch XFAIL format to match LLVM. by Daniel Dunbar · 15 years ago
  31. 002174f retain/release checker: CGBitmapContextCreateWithData() returns an owned object. by Ted Kremenek · 15 years ago
  32. 882a51e retain/release checker: Add special handling of CGBitmapContextCreateWithData(). by Ted Kremenek · 15 years ago
  33. 5bbe789 Handle loading of field values from LazyCompoundVals in GRExprEngine::VisitMemberExpr(). by Ted Kremenek · 15 years ago
  34. 3f214b3 Fix accidental use of CheckSVal instead of CheckLocation, and add a by Ted Kremenek · 15 years ago
  35. 0175619 Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 15 years ago
  36. d864e1a Add test case for <rdar://problem/7342806>. by Ted Kremenek · 15 years ago
  37. e8ec699 Unused ivars checker: also check methods in categories that are defined in the same translation unit. Fixes <rdar://problem/6260004>. by Ted Kremenek · 15 years ago
  38. a65c387 Add test cases for <rdar://problem/7332673>. by Ted Kremenek · 15 years ago
  39. ab22ee9 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 15 years ago
  40. e973183 retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. by Ted Kremenek · 15 years ago
  41. 9b02034 Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant. by Ted Kremenek · 15 years ago
  42. b5deae5 Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely by Ted Kremenek · 15 years ago
  43. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  44. 47dcd06 Add a few passing test cases for finding leaks of retained objects stored to arrays (<rdar://problem/7283470>). by Ted Kremenek · 15 years ago
  45. 6fe2b7a retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. by Ted Kremenek · 15 years ago
  46. 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
  47. 18e7a3d Add comments to test. by Zhongxing Xu · 15 years ago
  48. 159c53d Add test case for <rdar://problem/7257223>, and XFAIL this test until it passes. by Ted Kremenek · 15 years ago
  49. 008636a retain/release checker: Recognize that calls to by Ted Kremenek · 15 years ago
  50. 6240cf1 retain/release checker: retained objects passed to pthread_create (as by Ted Kremenek · 15 years ago
  51. f66d5cd Turn -Wparentheses on by default. by John McCall · 15 years ago
  52. b1d0422 Fix crash introduced by r83358 where a symbol could be eagerly by Ted Kremenek · 15 years ago
  53. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
  54. bb206fd Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves! by Ted Kremenek · 15 years ago
  55. 95efe0f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 15 years ago
  56. 9e17cc6 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 15 years ago
  57. a5971b3 Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 15 years ago
  58. f8add9b Remove test case's dependency on platform headers. by Ted Kremenek · 15 years ago
  59. 8780679 Fix: by Ted Kremenek · 15 years ago
  60. 022a125 Added test case for <rdar://problem/7152418>. by Ted Kremenek · 15 years ago
  61. 8041747 Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers. by Ted Kremenek · 15 years ago
  62. 35dcad8 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 15 years ago
  63. 0954cde Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 15 years ago
  64. 112ba7e Shorten the static analyzer diagnostic for 'use of garbage value'. by Ted Kremenek · 15 years ago
  65. 657406d Fix PR 4988 by removing an invalid assertion (a function can be referenced in by Ted Kremenek · 15 years ago
  66. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
  67. cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 15 years ago
  68. c32b244 Add test case for <rdar://problem/6829164>, which was implicitly fixed in r79694. by Ted Kremenek · 15 years ago
  69. 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
  70. e0a5807 Re-introduce diagnostic caching in BugReporter that was originally added in by Ted Kremenek · 15 years ago
  71. 7f473c5 Revert most of r82198, which was causing a large number of crashes by Ted Kremenek · 15 years ago
  72. 6a19832 Introduce caching of diagnostics in BugReporter. This provides extra by Ted Kremenek · 15 years ago
  73. 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
  74. e2b5744 Add static analyzer transfer function support for __builtin_offsetof. by Ted Kremenek · 15 years ago
  75. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  76. cfcd7fd Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon entry to a method by Ted Kremenek · 15 years ago
  77. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  78. 2465047 Implement: <rdar://problem/6337100> CWE-338: Use of cryptographically weak prng by Ted Kremenek · 15 years ago
  79. cc58eae Add test case from <rdar://problem/7184450>. by Ted Kremenek · 15 years ago
  80. c761f40 Add uninitialized values test case. by Ted Kremenek · 15 years ago
  81. a834fb4 retain/release checker: [CIContext createCGImage...] and friends returned CF by Ted Kremenek · 15 years ago
  82. 65a81a9 Implement: <rdar://problem/6337132> CWE-273: Failure to Check Whether Privileges by Ted Kremenek · 15 years ago
  83. 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
  84. bcf62a9 Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers by Ted Kremenek · 15 years ago
  85. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  86. ac50213 Add test case for PR 4759. by Ted Kremenek · 15 years ago
  87. ac02f20 retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:' by Ted Kremenek · 15 years ago
  88. caac089 Make this test case more portable by removing its dependency on system header files. by Ted Kremenek · 15 years ago
  89. c484381 retain/release checker: Special case handling of CFAttributedStringSetAttribute, by Ted Kremenek · 15 years ago
  90. 35ffcf3 Fix: <rdar://problem/7075531> static analyzer wrongly detects unused ivars used in blocks by Ted Kremenek · 15 years ago
  91. 566a6fa Fix a few more false positives involving RegionStore and unions, but this time by Ted Kremenek · 15 years ago
  92. d4e5a60 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 15 years ago
  93. addc931 Update test case. by Ted Kremenek · 15 years ago
  94. 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
  95. bfc8168 Add test case. by Zhongxing Xu · 15 years ago
  96. 8eec7c0 Adjust test case. by Ted Kremenek · 15 years ago
  97. 48775d5 Add a pass-by-value test for the analyzer. by Ted Kremenek · 15 years ago
  98. 28ba10c Add test case testing field sensitivity. Reduced from <rdar://problem/7114618>. by Ted Kremenek · 15 years ago
  99. 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 15 years ago
  100. 9a108eb Fix regression in StoreManager::CastRegion() to always treat casts to by Ted Kremenek · 15 years ago