@@ -12,29 +12,32 @@ Listing the available configuration options:
12
12
Setting analyzer configuration options:
13
13
` CodeChecker analyze --analyzer-config <key=value> `
14
14
15
- You can find a comprehensive list of analyzer configuration options at the
16
- [ clang static analyzer
17
- documentation] ( https://github.com/llvm-mirror/clang/tree/master/docs ) pages.
15
+ The descriptions of these global analyzer options are also available on the
16
+ [ Configuring the
17
+ Analyzer] ( https://clang.llvm.org/docs/analyzer/user-docs/Options.html ) page of
18
+ the Clang Static Analyzer Documentation.
18
19
19
20
## Checker Configuration <a name =" checker-configuration " ></a >
20
21
21
- Clang Static Analyzer checkers can be enabled and disabled using the
22
- ` CodeChekcer analyze --enable <checker_name> --disable <checker_name> ` flags.
23
- You can list/enable/disable all checkers for Clang Static Analyzer, except for
24
- the developer (debug and modeling) checkers.
22
+ Clang Static Analyzer checkers can be enabled and disabled with the flags
23
+ ` CodeChecker analyze --enable <checker_name> --disable <checker_name> ` . The
24
+ checkers can be listed with ` CodeChecker checkers --analyzers clangsa ` and
25
+ their full documentation can be found at the [ Available
26
+ Checkers] ( https://clang.llvm.org/docs/analyzer/checkers.html ) page.
25
27
26
- Some checkers can be customized using checker specific configuration options.
28
+ Note that these high-level CodeChecker operations hide some internal (debug or
29
+ modeling) checkers that are only relevant for the developers of the Clang
30
+ Static Analyzer.
27
31
28
- These can be listed using the ` CodeChecker checkers --checker-config ` command
29
- and can be set by `CodeChecker analyze --checker-config
30
- clangsa:<option-name >=<value >`.
31
-
32
- You can find the documentation of the configuration options at the [ Clang Static
33
- Analyzer
34
- checkers] ( https://github.com/llvm-mirror/clang/tree/master/lib/StaticAnalyzer/Checkers )
35
- page.
32
+ Some checkers can be customized using checker specific configuration options,
33
+ which can be set by `CodeChecker analyze --checker-config
34
+ clangsa:<option-name >=<value >`. These options are documented on the [ Available
35
+ Checkers] ( https://clang.llvm.org/docs/analyzer/checkers.html ) page (within the
36
+ description of the corresponding checker) and they can be listed with the command
37
+ ` CodeChecker checkers --checker-config ` .
36
38
37
39
## Clang Static Analyzer Special Configuration Options
40
+
38
41
In special cases, when the checker and analyzer configurability that is provided
39
42
by CodeChecker is not enough, the Clang Static analyzer configuration can be
40
43
extended through the ` --saargs ` analysis option. The content of the saargs file
@@ -58,6 +61,7 @@ maximum number of times the analyzer will go through a loop, the default
58
61
value is 4).
59
62
60
63
### Enabling developer checkers
64
+
61
65
You cannot enable/disable developer checkers in CodeChecker using the ` --enable `
62
66
or ` --disable ` flags.
63
67
0 commit comments