1 // RUN: %clang --analyze %s --target=x86_64-pc-linux-gnu \
2 // RUN: -Xclang -analyzer-list-enabled-checkers \
3 // RUN: -Xclang -analyzer-display-progress \
4 // RUN: 2>&1 | FileCheck %s --implicit-check-not=ANALYZE \
5 // RUN: --implicit-check-not=\.
6
7 // CHECK: OVERVIEW: Clang Static Analyzer Enabled Checkers List
8 // CHECK-EMPTY:
9 // CHECK-NEXT: core.CallAndMessageModeling
10 // CHECK-NEXT: apiModeling.StdCLibraryFunctions
11 // CHECK-NEXT: apiModeling.TrustNonnull
12 // CHECK-NEXT: apiModeling.llvm.CastValue
13 // CHECK-NEXT: apiModeling.llvm.ReturnValue
14 // CHECK-NEXT: core.CallAndMessage
15 // CHECK-NEXT: core.DivideZero
16 // CHECK-NEXT: core.DynamicTypePropagation
17 // CHECK-NEXT: core.NonNullParamChecker
18 // CHECK-NEXT: core.NonnilStringConstants
19 // CHECK-NEXT: core.NullDereference
20 // CHECK-NEXT: core.StackAddrEscapeBase
21 // CHECK-NEXT: core.StackAddressEscape
22 // CHECK-NEXT: core.UndefinedBinaryOperatorResult
23 // CHECK-NEXT: core.VLASize
24 // CHECK-NEXT: core.builtin.BuiltinFunctions
25 // CHECK-NEXT: core.builtin.NoReturnFunctions
26 // CHECK-NEXT: core.uninitialized.ArraySubscript
27 // CHECK-NEXT: core.uninitialized.Assign
28 // CHECK-NEXT: core.uninitialized.Branch
29 // CHECK-NEXT: core.uninitialized.CapturedBlockVariable
30 // CHECK-NEXT: core.uninitialized.UndefReturn
31 // CHECK-NEXT: deadcode.DeadStores
32 // CHECK-NEXT: nullability.NullabilityBase
33 // CHECK-NEXT: nullability.NullPassedToNonnull
34 // CHECK-NEXT: nullability.NullReturnedFromNonnull
35 // CHECK-NEXT: security.insecureAPI.SecuritySyntaxChecker
36 // CHECK-NEXT: security.insecureAPI.UncheckedReturn
37 // CHECK-NEXT: security.insecureAPI.getpw
38 // CHECK-NEXT: security.insecureAPI.gets
39 // CHECK-NEXT: security.insecureAPI.mkstemp
40 // CHECK-NEXT: security.insecureAPI.mktemp
41 // CHECK-NEXT: security.insecureAPI.vfork
42 // CHECK-NEXT: unix.API
43 // CHECK-NEXT: unix.cstring.CStringModeling
44 // CHECK-NEXT: unix.DynamicMemoryModeling
45 // CHECK-NEXT: unix.Malloc
46 // CHECK-NEXT: unix.MallocSizeof
47 // CHECK-NEXT: unix.MismatchedDeallocator
48 // CHECK-NEXT: unix.Vfork
49 // CHECK-NEXT: unix.cstring.BadSizeArg
50 // CHECK-NEXT: unix.cstring.NullArg
51
main()52 int main() {
53 int i;
54 (void)(10 / i);
55 }
56