| Devin Coughlin | 78c1738 | 2016-12-14 18:46:01 +0000 | [diff] [blame] | 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" |
| Devin Coughlin | 8beac28 | 2016-12-19 22:50:31 +0000 | [diff] [blame] | 7 | // CHECK-DARWIN-SAME: "-analyzer-checker=apiModeling" |
| Devin Coughlin | 78c1738 | 2016-12-14 18:46:01 +0000 | [diff] [blame] | 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" |
| Devin Coughlin | 8beac28 | 2016-12-19 22:50:31 +0000 | [diff] [blame] | 25 | // CHECK-LINUX-SAME: "-analyzer-checker=apiModeling" |
| Devin Coughlin | 78c1738 | 2016-12-14 18:46:01 +0000 | [diff] [blame] | 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" |
| Devin Coughlin | 8beac28 | 2016-12-19 22:50:31 +0000 | [diff] [blame] | 43 | // CHECK-WINDOWS-SAME: "-analyzer-checker=apiModeling" |
| Devin Coughlin | 78c1738 | 2016-12-14 18:46:01 +0000 | [diff] [blame] | 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" |