What's the best way to enable a list of checkers in Coverity Analize. I've got a list of checkers but don't want to enable them all.
To enable all you can either leave blank or --all
cov-analyze --dir cov
or
cov-analyze --dir cov --all
I want to have a list like the following but many more . . .
cov-analyze --dir cov -en STRING_NULL -en NULL_RETURNS
Can you have a small text file to read? Or do you just have to list them all out?
If you're mainly asking how to avoid listing all of the checkers on the command line, you could use a response file:
@@<response_file>
Specify a response file that contains a list of additional command line arguments, such as a list of files for analysis. Each line in the file is treated as one argument, regardless of spaces, quotes, etc.
With that, your analysis command line would look like:
cov-analyze --disable-default @@enable-checkers.txt <other options like --dir>
where enable-checkers.txt contains:
--enable
STRING_NULL
--enable
NULL_RETURNS
...
with the ... consisting of additional pairs of lines consisting of --enable followed by a checker name.