If true, the checker will not diagnose nullability issues for calls to system headers.Ĭlang Static Analyzer configuration options This is not a comprehensive list view checkerįor available configuration options: checker name Maximum number of times the analyzer will go through a loop, the default In the static_analyzer.cfg example file we set a checker specificĬonfiguration option unix.Malloc:Optimistic=true for the unix.MallocĬhecker and a static analyzer configuration option analyzer-max-loop (the

In the static_analyzer.cfg file various static analyzer and checker relatedĬonfiguration options can be configured like this: -Xclang -analyzer-config -Xclang unix.Malloc:Optimistic=true -Xclang -analyzer-max-loop -Xclang 20īefore every configuration option '-Xclang' argument should be written andĪll the configuration options sould be in one line! Configure Clang Static Analyzer and checkersĬhecker configuration can be done through the -saargs analysis option whichįorwards arguments without modification to the Clang Static Analyzer: CodeChecker analyze -saargs static_analyzer.cfg