Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 18c9673c04d101e751ddaf4e7b5ba84a02988375 / test / Analysis
  1. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  2. d24d255 Make test independent of stdint.h by Daniel Dunbar · 16 years ago
  3. 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
  4. 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
  5. 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 16 years ago
  6. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago
  7. e3a46b0 This test now passes. by Ted Kremenek · 16 years ago
  8. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  9. 1261938 retain/release checker: by Ted Kremenek · 16 years ago
  10. 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
  11. 234a4c2 This commit reflects changes to the retain/release checker motivated by my by Ted Kremenek · 16 years ago
  12. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  13. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  14. 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
  15. 2fb78a7 CF-retain/release checker: by Ted Kremenek · 16 years ago
  16. 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 16 years ago
  17. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago
  18. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  19. cfec1db Temporarily XFAIL these tests. by Ted Kremenek · 16 years ago
  20. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  21. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
  22. 8322d6a Add zero-sized VLA check test case. by Ted Kremenek · 16 years ago
  23. 26b58cd Incorporate MissingDealloc_IBOutlet.m test case into MissingDealloc.m by Ted Kremenek · 16 years ago
  24. 63de736 Incorporate MissingDeallc_SEL.m test case into MissingDealloc.m by Ted Kremenek · 16 years ago
  25. e0bb804 Add test case for <rdar://problem/6380411>. by Ted Kremenek · 16 years ago
  26. 567c8df Patch to diagnose a variety of misuse of property by Fariborz Jahanian · 16 years ago
  27. ae0ee03 instead of forcing blocks on by default, make them default to off, but let by Chris Lattner · 16 years ago
  28. a317e90 Add 'expected-warning' to make test case pass. by Ted Kremenek · 16 years ago
  29. 1e10011 Add another static analyzer test case involving attribute(nonnull). by Ted Kremenek · 16 years ago
  30. a96ac06 Add another test case for attribute(nonnull) checking. by Ted Kremenek · 16 years ago
  31. 4226846 Revise bogus comment I just committed. by Ted Kremenek · 16 years ago
  32. f117fac Add comment to test case for documentation. by Ted Kremenek · 16 years ago
  33. d7ff487 BasicConstraintManager: by Ted Kremenek · 16 years ago
  34. 73abd13 BasicConstraintManager: by Ted Kremenek · 16 years ago
  35. 34a8347 remove a test case that causes compiler warning. by Zhongxing Xu · 16 years ago
  36. 27cae9e Add test for initializing array with string literal. by Zhongxing Xu · 16 years ago
  37. a8a6ef8 add missing RUN lines by Nuno Lopes · 16 years ago
  38. 6669db9 Patch to allow over-riding of readonly property to by Fariborz Jahanian · 16 years ago
  39. 661fc39 Add documentation for test. by Zhongxing Xu · 16 years ago
  40. 33d7cbf Add no-warning to test case. by Zhongxing Xu · 16 years ago
  41. 4b89e03 Strings are NULL terminated. So the region size should plus one. by Zhongxing Xu · 16 years ago
  42. 20f0178 Add test case for out-of-bound memory access checking. by Zhongxing Xu · 16 years ago
  43. 0947b4e Rewrite FindDiagnostics to be more strict about the formatting of the by Chris Lattner · 16 years ago
  44. ea06544 Improve test case. by Zhongxing Xu · 16 years ago
  45. 7c68666 Add checker test case: warn about returning an uninitialized value to the caller. by Ted Kremenek · 16 years ago
  46. 9f49055 Enable test file for 'region store' in addition to basic store. by Ted Kremenek · 16 years ago
  47. e8e4d8c Split region store specific test cases. by Zhongxing Xu · 16 years ago
  48. 89e8a07 Add test for path-sensitive uninit-val detection involving struct field. by Zhongxing Xu · 16 years ago
  49. 617ff31 Add test cast for struct array. by Zhongxing Xu · 16 years ago
  50. 87d3ef0 Fix <rdar://problem/6333904> [sema] message lookup on super is incorrect by Steve Naroff · 16 years ago
  51. 512cdb5 Re-enable array-struct test. by Zhongxing Xu · 16 years ago
  52. 973e72a Add a test case for compound assignments that lazily symbolicate the value of the LHS when the computation type is an integer of more bits. by Ted Kremenek · 16 years ago
  53. 82bd99f - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 16 years ago
  54. 26134a1 Add test for unsigned array index. by Zhongxing Xu · 16 years ago
  55. fb75b25 Add test for incomplete struct pointer. by Zhongxing Xu · 16 years ago
  56. b670133 Add a test case for alloca(). by Zhongxing Xu · 16 years ago
  57. 062e2f9 GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars. by Ted Kremenek · 16 years ago
  58. 76dba7b GRExprEngine::VisitInitListExpr: by Ted Kremenek · 16 years ago
  59. 12b49d9 Add && to test command. by Zhongxing Xu · 16 years ago
  60. fe81bc2 Add region store model to path-sensitive testing. by Zhongxing Xu · 16 years ago
  61. 31483b4 include alloca.h instead of malloc.h. If this doesn't work for everyone we can just declare alloca directly in the file. by Anders Carlsson · 16 years ago
  62. 7b2d21e Append the test runs with '&&'. by Argyrios Kyrtzidis · 16 years ago
  63. ff6ec39 Bring in 'alloca' for the Analysis/stack-addr-ps.c test case. by Argyrios Kyrtzidis · 16 years ago
  64. 2eff0f9 Add a test case for CFMakeCollectable. by Ted Kremenek · 16 years ago
  65. 04b90bc Add function side-effect test cast. by Zhongxing Xu · 16 years ago
  66. c979a9b Add 'alloca' test case for return-of-stack-address checker. by Ted Kremenek · 16 years ago
  67. df2aa1e Add test code for array initialization. by Zhongxing Xu · 16 years ago
  68. beb62c5 Added missing 'expected-warning' by Ted Kremenek · 16 years ago
  69. fab6f22 Enhance compound literal test case. by Ted Kremenek · 16 years ago
  70. 64cc62d Add missing "expected warning". by Ted Kremenek · 16 years ago
  71. ccb55e3 Add method that will be invoked using the dot-syntax just to test that the missing -dealloc checker handles it. by Ted Kremenek · 16 years ago
  72. d4a0798 Improve compound literal test case. by Ted Kremenek · 16 years ago
  73. 997c155 Patch by Nikita Zhuk: test case for fix for false positive reported in PR2978. by Ted Kremenek · 16 years ago
  74. c532f63 Add 'expected-warning' for braces around scalar initializer by Ted Kremenek · 16 years ago
  75. 194aade Added compound literal test case. by Ted Kremenek · 16 years ago
  76. 92429dd Add test for SCA region store. by Zhongxing Xu · 16 years ago
  77. 234a7d2 Add test for SCA region store. by Zhongxing Xu · 16 years ago
  78. 5b2316a Do not crash when performing VisitLValue on union types. This fixes PR 2948. by Ted Kremenek · 16 years ago
  79. 2e97120 Add StringLiteral test code. by Zhongxing Xu · 16 years ago
  80. f4b3548 This test no longer is marked XFAIL. by Ted Kremenek · 16 years ago
  81. 72e1682 Add random array and struct test code for SCA. by Zhongxing Xu · 16 years ago
  82. f74675b Temporarily mark this test XFAIL. by Ted Kremenek · 16 years ago
  83. 3ad2cc8 Warn about potentially leaked objects that are returned from methods whose names do not follow the Cocoa Memory Management guidelines. by Ted Kremenek · 16 years ago
  84. 64e859a Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>. by Ted Kremenek · 16 years ago
  85. c498848 Add test case for FuncDecl and function pointer variable. by Zhongxing Xu · 16 years ago
  86. c13b6e2 Further improve path-sensitivity with divide-by-zero checking by assuming that a denominator cannot be zero even when the result of an '/' or '%' expression is unknown. by Ted Kremenek · 16 years ago
  87. 9253b0f Added test case inspired by <rdar://6268365>: recover path-sensitivity after compound assignment when the result of the assignment is not known. by Ted Kremenek · 16 years ago
  88. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 16 years ago
  89. 5c456fe Use "VisitLValue" when processing the base for "x.f" field accesses, and "Visit" when processing the base for "x->f" field accesses. by Ted Kremenek · 16 years ago
  90. dacd67a This test now passes again. by Ted Kremenek · 16 years ago
  91. 63ffb78 Test now passes. by Ted Kremenek · 16 years ago
  92. b6b81d1 "Implement" GRExprEngine::VisitLValue for ObjCPropertyRefExpr. This is only a bandid; we need to properly handle properties by using locv/nonloc objects and specially handling property assignments in the transfer function for BinaryOperator. by Ted Kremenek · 16 years ago
  93. ef8b28e Add test case for array and struct variable lvalue evaluation. by Zhongxing Xu · 16 years ago
  94. 3397e46 Mark these tests XFAIL. We need to add back assumption logic when doing array and field accesses. by Ted Kremenek · 16 years ago
  95. 380277e Enhance dead store checker to not flag preincrements to dead variables where the preincrement is a subexpression, e.g. foo(++x); This can cause false negatives, but will remove a whole class of false positives. by Ted Kremenek · 16 years ago
  96. cc9ac41 Enhance NSError** checking with analogous checking for CFErrorRef*. by Ted Kremenek · 16 years ago
  97. 9f67ede Added test case. by Ted Kremenek · 16 years ago
  98. d2025e2 Add more control-flow to test case. by Ted Kremenek · 16 years ago
  99. 610a09e Add CFG support for implicit-control flow for VLA size expressions within an SizeOfAlignOfTypeExpr. by Ted Kremenek · 16 years ago
  100. 84fa6b9 Examine VLA size expressions when computing liveness information. by Ted Kremenek · 16 years ago