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