1 // Tests for static analyzer checkers that the driver enables by default based 2 // on the target triple. 3 4 // RUN: %clang -### -target x86_64-apple-darwin10 --analyze %s 2>&1 | FileCheck --check-prefix=CHECK-DARWIN %s 5 6 // CHECK-DARWIN: "-analyzer-checker=core" 7 // CHECK-DARWIN-SAME: "-analyzer-checker=apiModeling" 8 // CHECK-DARWIN-SAME: "-analyzer-checker=unix" 9 // CHECK-DARWIN-SAME: "-analyzer-checker=osx" 10 // CHECK-DARWIN-SAME: "-analyzer-checker=deadcode" 11 // CHECK-DARWIN-SAME: "-analyzer-checker=cplusplus" 12 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.UncheckedReturn" 13 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.getpw" 14 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.gets" 15 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.mktemp" 16 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.mkstemp" 17 // CHECK-DARWIN-SAME: "-analyzer-checker=security.insecureAPI.vfork" 18 // CHECK-DARWIN-SAME: "-analyzer-checker=nullability.NullPassedToNonnull" 19 // CHECK-DARWIN-SAME: "-analyzer-checker=nullability.NullReturnedFromNonnull" 20 21 22 // RUN: %clang -### -target x86_64-unknown-linux --analyze %s 2>&1 | FileCheck --check-prefix=CHECK-LINUX %s 23 24 // CHECK-LINUX: "-analyzer-checker=core" 25 // CHECK-LINUX-SAME: "-analyzer-checker=apiModeling" 26 // CHECK-LINUX-SAME: "-analyzer-checker=unix" 27 // CHECK-LINUX-NOT: "-analyzer-checker=osx" 28 // CHECK-LINUX-SAME: "-analyzer-checker=deadcode" 29 // CHECK-LINUX-SAME: "-analyzer-checker=cplusplus" 30 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.UncheckedReturn" 31 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.getpw" 32 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.gets" 33 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.mktemp" 34 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.mkstemp" 35 // CHECK-LINUX-SAME: "-analyzer-checker=security.insecureAPI.vfork" 36 // CHECK-LINUX-SAME: "-analyzer-checker=nullability.NullPassedToNonnull" 37 // CHECK-LINUX-SAME: "-analyzer-checker=nullability.NullReturnedFromNonnull" 38 39 40 // RUN: %clang -### -target x86_64-windows --analyze %s 2>&1 | FileCheck --check-prefix=CHECK-WINDOWS %s 41 42 // CHECK-WINDOWS: "-analyzer-checker=core" 43 // CHECK-WINDOWS-SAME: "-analyzer-checker=apiModeling" 44 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.API" 45 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.Malloc" 46 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.MallocSizeof" 47 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.MismatchedDeallocator" 48 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.cstring.BadSizeArg" 49 // CHECK-WINDOWS-SAME: "-analyzer-checker=unix.cstring.NullArg" 50 // CHECK-WINDOWS-NOT: "-analyzer-checker=osx" 51 // CHECK-WINDOWS-SAME: "-analyzer-checker=deadcode" 52 // CHECK-WINDOWS-SAME: "-analyzer-checker=cplusplus" 53 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.UncheckedReturn" 54 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.getpw" 55 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.gets" 56 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.mktemp" 57 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.mkstemp" 58 // CHECK-WINDOWS-SAME: "-analyzer-checker=security.insecureAPI.vfork" 59 // CHECK-WINDOWS-SAME: "-analyzer-checker=nullability.NullPassedToNonnull" 60 // CHECK-WINDOWS-SAME: "-analyzer-checker=nullability.NullReturnedFromNonnull" 61