72 lines · c
1// Here we test the order of the Checkers when StdCLibraryFunctions is2// enabled.3 4// RUN: %clang --analyze %s --target=x86_64-pc-linux-gnu \5// RUN: -Xclang -analyzer-checker=core \6// RUN: -Xclang -analyzer-checker=unix.StdCLibraryFunctions \7// RUN: -Xclang -analyzer-config \8// RUN: -Xclang unix.StdCLibraryFunctions:ModelPOSIX=true \9// RUN: -Xclang -analyzer-checker=unix.Stream \10// RUN: -Xclang -analyzer-list-enabled-checkers \11// RUN: -Xclang -analyzer-display-progress \12// RUN: 2>&1 | FileCheck %s --implicit-check-not=ANALYZE \13// RUN: --implicit-check-not=\.14 15// CHECK: OVERVIEW: Clang Static Analyzer Enabled Checkers List16// CHECK-EMPTY:17// CHECK-NEXT: apiModeling.Errno18// CHECK-NEXT: apiModeling.TrustNonnull19// CHECK-NEXT: apiModeling.TrustReturnsNonnull20// CHECK-NEXT: apiModeling.llvm.CastValue21// CHECK-NEXT: apiModeling.llvm.ReturnValue22// CHECK-NEXT: core.BitwiseShift23// CHECK-NEXT: core.CallAndMessage24// CHECK-NEXT: core.DivideZero25// CHECK-NEXT: core.DynamicTypePropagation26// CHECK-NEXT: core.FixedAddressDereference27// CHECK-NEXT: core.NonNullParamChecker28// CHECK-NEXT: core.NonnilStringConstants29// CHECK-NEXT: core.NullDereference30// CHECK-NEXT: core.NullPointerArithm31// CHECK-NEXT: core.StackAddressEscape32// CHECK-NEXT: core.UndefinedBinaryOperatorResult33// CHECK-NEXT: core.VLASize34// CHECK-NEXT: core.builtin.AssumeModeling35// CHECK-NEXT: core.builtin.BuiltinFunctions36// CHECK-NEXT: core.builtin.NoReturnFunctions37// CHECK-NEXT: core.uninitialized.ArraySubscript38// CHECK-NEXT: core.uninitialized.Assign39// CHECK-NEXT: core.uninitialized.Branch40// CHECK-NEXT: core.uninitialized.CapturedBlockVariable41// CHECK-NEXT: core.uninitialized.UndefReturn42// CHECK-NEXT: deadcode.DeadStores43// CHECK-NEXT: nullability.NullPassedToNonnull44// CHECK-NEXT: nullability.NullReturnedFromNonnull45// CHECK-NEXT: security.insecureAPI.SecuritySyntaxChecker46// CHECK-NEXT: security.insecureAPI.UncheckedReturn47// CHECK-NEXT: security.insecureAPI.getpw48// CHECK-NEXT: security.insecureAPI.gets49// CHECK-NEXT: security.insecureAPI.mkstemp50// CHECK-NEXT: security.insecureAPI.mktemp51// CHECK-NEXT: security.insecureAPI.vfork52// CHECK-NEXT: unix.API53// CHECK-NEXT: unix.BlockInCriticalSection54// CHECK-NEXT: unix.Chroot55// CHECK-NEXT: unix.cstring.CStringModeling56// CHECK-NEXT: unix.DynamicMemoryModeling57// CHECK-NEXT: unix.Errno58// CHECK-NEXT: unix.Malloc59// CHECK-NEXT: unix.MallocSizeof60// CHECK-NEXT: unix.MismatchedDeallocator61// CHECK-NEXT: unix.Stream62// CHECK-NEXT: unix.StdCLibraryFunctions63// CHECK-NEXT: unix.Vfork64// CHECK-NEXT: unix.cstring.BadSizeArg65// CHECK-NEXT: unix.cstring.NotNullTerminated66// CHECK-NEXT: unix.cstring.NullArg67 68int main() {69 int i;70 (void)(10 / i);71}72