64 lines · c
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 List8// CHECK-EMPTY:9// CHECK-NEXT: apiModeling.Errno10// CHECK-NEXT: apiModeling.TrustNonnull11// CHECK-NEXT: apiModeling.TrustReturnsNonnull12// CHECK-NEXT: apiModeling.llvm.CastValue13// CHECK-NEXT: apiModeling.llvm.ReturnValue14// CHECK-NEXT: core.BitwiseShift15// CHECK-NEXT: core.CallAndMessage16// CHECK-NEXT: core.DivideZero17// CHECK-NEXT: core.DynamicTypePropagation18// CHECK-NEXT: core.FixedAddressDereference19// CHECK-NEXT: core.NonNullParamChecker20// CHECK-NEXT: core.NonnilStringConstants21// CHECK-NEXT: core.NullDereference22// CHECK-NEXT: core.NullPointerArithm23// CHECK-NEXT: core.StackAddressEscape24// CHECK-NEXT: core.UndefinedBinaryOperatorResult25// CHECK-NEXT: core.VLASize26// CHECK-NEXT: core.builtin.AssumeModeling27// CHECK-NEXT: core.builtin.BuiltinFunctions28// CHECK-NEXT: core.builtin.NoReturnFunctions29// CHECK-NEXT: core.uninitialized.ArraySubscript30// CHECK-NEXT: core.uninitialized.Assign31// CHECK-NEXT: core.uninitialized.Branch32// CHECK-NEXT: core.uninitialized.CapturedBlockVariable33// CHECK-NEXT: core.uninitialized.UndefReturn34// CHECK-NEXT: deadcode.DeadStores35// CHECK-NEXT: nullability.NullPassedToNonnull36// CHECK-NEXT: nullability.NullReturnedFromNonnull37// CHECK-NEXT: security.insecureAPI.SecuritySyntaxChecker38// CHECK-NEXT: security.insecureAPI.UncheckedReturn39// CHECK-NEXT: security.insecureAPI.getpw40// CHECK-NEXT: security.insecureAPI.gets41// CHECK-NEXT: security.insecureAPI.mkstemp42// CHECK-NEXT: security.insecureAPI.mktemp43// CHECK-NEXT: security.insecureAPI.vfork44// CHECK-NEXT: unix.API45// CHECK-NEXT: unix.BlockInCriticalSection46// CHECK-NEXT: unix.Chroot47// CHECK-NEXT: unix.cstring.CStringModeling48// CHECK-NEXT: unix.DynamicMemoryModeling49// CHECK-NEXT: unix.Errno50// CHECK-NEXT: unix.Malloc51// CHECK-NEXT: unix.MallocSizeof52// CHECK-NEXT: unix.MismatchedDeallocator53// CHECK-NEXT: unix.Stream54// CHECK-NEXT: unix.StdCLibraryFunctions55// CHECK-NEXT: unix.Vfork56// CHECK-NEXT: unix.cstring.BadSizeArg57// CHECK-NEXT: unix.cstring.NotNullTerminated58// CHECK-NEXT: unix.cstring.NullArg59 60int main() {61 int i;62 (void)(10 / i);63}64