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: apiModeling.StdCLibraryFunctions
10 // CHECK-NEXT: apiModeling.TrustNonnull
11 // CHECK-NEXT: apiModeling.llvm.CastValue
12 // CHECK-NEXT: apiModeling.llvm.ReturnValue
13 // CHECK-NEXT: core.CallAndMessage
14 // CHECK-NEXT: core.DivideZero
15 // CHECK-NEXT: core.DynamicTypePropagation
16 // CHECK-NEXT: core.NonNullParamChecker
17 // CHECK-NEXT: core.NonnilStringConstants
18 // CHECK-NEXT: core.NullDereference
19 // CHECK-NEXT: core.StackAddrEscapeBase
20 // CHECK-NEXT: core.StackAddressEscape
21 // CHECK-NEXT: core.UndefinedBinaryOperatorResult
22 // CHECK-NEXT: core.VLASize
23 // CHECK-NEXT: core.builtin.BuiltinFunctions
24 // CHECK-NEXT: core.builtin.NoReturnFunctions
25 // CHECK-NEXT: core.uninitialized.ArraySubscript
26 // CHECK-NEXT: core.uninitialized.Assign
27 // CHECK-NEXT: core.uninitialized.Branch
28 // CHECK-NEXT: core.uninitialized.CapturedBlockVariable
29 // CHECK-NEXT: core.uninitialized.UndefReturn
30 // CHECK-NEXT: deadcode.DeadStores
31 // CHECK-NEXT: nullability.NullabilityBase
32 // CHECK-NEXT: nullability.NullPassedToNonnull
33 // CHECK-NEXT: nullability.NullReturnedFromNonnull
34 // CHECK-NEXT: security.insecureAPI.SecuritySyntaxChecker
35 // CHECK-NEXT: security.insecureAPI.UncheckedReturn
36 // CHECK-NEXT: security.insecureAPI.getpw
37 // CHECK-NEXT: security.insecureAPI.gets
38 // CHECK-NEXT: security.insecureAPI.mkstemp
39 // CHECK-NEXT: security.insecureAPI.mktemp
40 // CHECK-NEXT: security.insecureAPI.vfork
41 // CHECK-NEXT: unix.API
42 // CHECK-NEXT: unix.cstring.CStringModeling
43 // CHECK-NEXT: unix.DynamicMemoryModeling
44 // CHECK-NEXT: unix.Malloc
45 // CHECK-NEXT: unix.MallocSizeof
46 // CHECK-NEXT: unix.MismatchedDeallocator
47 // CHECK-NEXT: unix.Vfork
48 // CHECK-NEXT: unix.cstring.BadSizeArg
49 // CHECK-NEXT: unix.cstring.NullArg
50
main()51 int main() {
52 int i;
53 (void)(10 / i);
54 }
55