Question

能够把检查人员名单列入安达利特的最佳方式是什么。我拿着一份检查人员名单,但不想让他们能够做到。

允许你要么离开空白,要么放弃——

cov-analyze --dir cov

或

cov-analyze --dir cov --all

I want to have a list like the following but many m或e . . .

cov-analyze --dir cov -en STRING_NULL -en NULL_RETURNS

你们有一份小的文本文件可以读取? 或者,你只是要把他们列入名单吗?

Answer 1

http://sig-product-docs.synopsys.com/bundle/coverity-docs/page/commands/topics/cov-analyze.html#refsection_k22_4f2_4qb”rel=“nofollow noreferrer”

--disable-default Disables default checkers. This option is useful if you want to disable all default checkers, including Sigma checkers, and then enable only a few with the --enable option.

For a list of checkers that are disabled through this option, see the --enable option documentation for the cov-analyze command.

--enable <checker_name> -en <checker> Enables a checker that is not otherwise enabled by default. The checker name is case insensitive. This option will enable a checker for all languages supported by the checker.

Answer 2

如果你主要询问如何避免将所有检查人员列入指挥线,你可使用response file :

@@<response_file>

具体列出一份答复文件,其中载列更多指挥线论点清单,如分析档案清单。档案中的每一条线都被视为一个论点,不论面积、引号等。

因此,你的分析指挥线希望:

cov-analyze --disable-default @@enable-checkers.txt <other options like --dir>

www.un.org/Depts/DGACM/index_french.htm 包括:

--enable
STRING_NULL
--enable
NULL_RETURNS
...

由<代码>->-><> 代码>构成的新增配对机之后还有一张支票名称。

友情链接