SCAN-BUILD(1) General Commands Manual SCAN-BUILD(1) (NAME) scan-build - Clang (SYNOPSIS) scan-build [-ohkvV] [-analyze-headers] [-enable-checker [checker_name]] [-disable-checker [checker_name]] [--help] [--help-checkers] [--html-title [=title]] [--keep-going] [-plist] [-plist-html] [--status-bugs] [--use-c++ [=compiler_path]] [--use-cc [=compiler_path]] [--view] [-constraints [model]] [-maxloop N] [-no-failure-reports] [-stats] [-store [model]] build_command [build_options] (DESCRIPTION) scan-build Perl Clang . scan-build build_command build_options . (CHECKERS) . .plist / HTML . : -analyze-headers (#included) . -enable-checker checker_name, -disable-checker checker_name / checker_name. (CHECKERS) . -h, --help . --help-checkers (CHECKERS) . --html-title[=title] HTML . title . -k, --keep-going " (keep on going)" build_command. make xcodebuild . . -o HTML. . /tmp ( TMPDIR Mac OS X) . -plist .plist. ( scan-build HTML .) -plist-html HTML .plist. --status-bugs 1 0 . scan-build build_command . --use-c++[=compiler_path] C++ Objective-C++. . --use-cc[=compiler_path] C Objective-C. . -v (verbose) scan-build . v . -V, --view . -constraints [model] (constraint engine) . `range' . `basic' checker-0.160 . -maxloop N . 4 . . -no-failure-reports `failures' (crash) . -stats . -store [model] (store model) . `region' . `region' (field-sensitive) . `basic' . `basic' checker-0.221 . (EXIT STATUS) scan-build build_command --status-bugs --keep-going . (CHECKERS) -enable-checker -disable-checker . . --help-checkers . core.AdjustedReturnValue ( ). core.AttributeNonNull (null) `nonnull' . core.CallAndMessage Objective-C ( ). core.DivideZero . core.NullDereference . core.StackAddressEscape (stack) . core.UndefinedBinaryOperatorResult . core.VLASize VLA . core.builtin.BuiltinFunctions (builtin) alloca(). core.builtin.NoReturnFunctions `panic' . core.uninitialized.ArraySubscript . core.uninitialized.Assign . core.uninitialized.Branch . core.uninitialized.CapturedBlockVariable (capture) . core.uninitialized.UndefReturn . deadcode.DeadStores . debug.DumpCFG (Control-Flow Graphs). debug.DumpCallGraph (Call Graph). debug.DumpDominators (dominance tree) . debug.DumpLiveVars (live variable analysis). debug.Stats . debug.TaintTest (tainted) . debug.ViewCFG GraphViz. debug.ViewCallGraph GraphViz. llvm.Conventions LLVM. osx.API API Mac OS X. osx.AtomicCAS OSAtomic. osx.SecKeychainAPI API Secure Keychain. osx.cocoa.AtSync @synchronized. osx.cocoa.ClassRelease `retain ' `release' `autorelease' Class. osx.cocoa.IncompatibleMethodTypes Objective-C . osx.cocoa.NSAutoreleasePool NSAutoreleasePool GC Objective-C. osx.cocoa.NSError **NSError. osx.cocoa.NilArg nil Objective-C. osx.cocoa.RetainCount . osx.cocoa.SelfInit `self' (initializer) . osx.cocoa.UnusedIvars (ivars) . osx.cocoa.VariadicMethodTypes Objective-C (variadic) Objective-C . osx.coreFoundation.CFError *CFErrorRef. osx.coreFoundation.CFNumber CFNumberCreate(). osx.coreFoundation.CFRetainRelease CFRetain() CFRelease() CFMakeCollectable(). osx.coreFoundation.containers.OutOfBounds API CFArray. osx.coreFoundation.containers.PointerSizedValues CFArray CFDictionary CFSet . security.FloatLoopCounter (CERT: FLP30-C, FLP30-CPP). security.insecureAPI.UncheckedReturn . security.insecureAPI.getpw getpw(). security.insecureAPI.gets gets(). security.insecureAPI.mkstemp mkstemp() X . security.insecureAPI.mktemp mktemp(). security.insecureAPI.rand rand() random() . security.insecureAPI.strcpy strcpy() strcat(). security.insecureAPI.vfork vfork(). unix.API UNIX/Posix. unix.Malloc (double free) (use-after-free). unix.cstring.BadSizeArg C . unix.cstring.NullArg C. (EXAMPLES) scan-build -o /tmp/myhtmldir make -j4 /tmp/myhtmldir make -j4 . scan-build . . (AUTHORS) scan-build Ted Kremenek . James K. Lowden . clang 20 August 18, 2024 clang 20