clang/test/Analysis/std-c-library-functions-arg-enabled-checkers.c

   1 // Here we test the order of the Checkers when StdCLibraryFunctions is
   2 // 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 List
  16 // CHECK-EMPTY:
  17 // CHECK-NEXT: apiModeling.Errno
  18 // CHECK-NEXT: apiModeling.TrustNonnull
  19 // CHECK-NEXT: apiModeling.TrustReturnsNonnull
  20 // CHECK-NEXT: apiModeling.llvm.CastValue
  21 // CHECK-NEXT: apiModeling.llvm.ReturnValue
  22 // CHECK-NEXT: core.BitwiseShift
  23 // CHECK-NEXT: core.CallAndMessageModeling
  24 // CHECK-NEXT: core.CallAndMessage
  25 // CHECK-NEXT: core.DivideZero
  26 // CHECK-NEXT: core.DynamicTypePropagation
  27 // CHECK-NEXT: core.NonNullParamChecker
  28 // CHECK-NEXT: core.NonnilStringConstants
  29 // CHECK-NEXT: core.NullDereference
  30 // CHECK-NEXT: core.StackAddrEscapeBase
  31 // CHECK-NEXT: core.StackAddressEscape
  32 // CHECK-NEXT: core.UndefinedBinaryOperatorResult
  33 // CHECK-NEXT: core.VLASize
  34 // CHECK-NEXT: core.builtin.BuiltinFunctions
  35 // CHECK-NEXT: core.builtin.NoReturnFunctions
  36 // CHECK-NEXT: core.uninitialized.ArraySubscript
  37 // CHECK-NEXT: core.uninitialized.Assign
  38 // CHECK-NEXT: core.uninitialized.Branch
  39 // CHECK-NEXT: core.uninitialized.CapturedBlockVariable
  40 // CHECK-NEXT: core.uninitialized.UndefReturn
  41 // CHECK-NEXT: deadcode.DeadStores
  42 // CHECK-NEXT: nullability.NullabilityBase
  43 // CHECK-NEXT: nullability.NullPassedToNonnull
  44 // CHECK-NEXT: nullability.NullReturnedFromNonnull
  45 // CHECK-NEXT: security.insecureAPI.SecuritySyntaxChecker
  46 // CHECK-NEXT: security.insecureAPI.UncheckedReturn
  47 // CHECK-NEXT: security.insecureAPI.getpw
  48 // CHECK-NEXT: security.insecureAPI.gets
  49 // CHECK-NEXT: security.insecureAPI.mkstemp
  50 // CHECK-NEXT: security.insecureAPI.mktemp
  51 // CHECK-NEXT: security.insecureAPI.vfork
  52 // CHECK-NEXT: unix.API
  53 // CHECK-NEXT: unix.BlockInCriticalSection
  54 // CHECK-NEXT: unix.cstring.CStringModeling
  55 // CHECK-NEXT: unix.DynamicMemoryModeling
  56 // CHECK-NEXT: unix.Errno
  57 // CHECK-NEXT: unix.Malloc
  58 // CHECK-NEXT: unix.MallocSizeof
  59 // CHECK-NEXT: unix.MismatchedDeallocator
  60 // CHECK-NEXT: unix.Stream
  61 // CHECK-NEXT: unix.StdCLibraryFunctions
  62 // CHECK-NEXT: unix.Vfork
  63 // CHECK-NEXT: unix.cstring.BadSizeArg
  64 // CHECK-NEXT: unix.cstring.NullArg
  65
  66 int main() {
  67   int i;
  68   (void)(10 / i);
  69 }