Coverity中文网站 > 热门推荐 > Coverity 教程:为您的编译器配置 Coverity 分析
教程中心分类
Coverity 教程:为您的编译器配置 Coverity 分析
发布时间:2024/07/29 16:25:24

 

配置基本编译器设置

您需要配置 Coverity® Analysis 以识别您用于构建代码的编译器。编译器配置提供了 Coverity 所需的有关源文件语言的信息,以及 Coverity® 用于观察和解释本机编译器行为、选项、内置定义和版本的设置。 

您需要使用 cov-configure 命令配置每个编译器一次。Coverity

有两种配置编译器的方法:旧方法称为静态配置,新方法称为模板配置。在本节中,我们将讨论较新的模板配置,因为在大多数情况下它是推荐的方法。在最简单的情况下,配置编译器可能就像运行以下命令之一一样简单:

 

cov-configure --gcc
cov-configure --msvc
cov-configure --cs
cov-configure --java


第一个命令配置 GCC 编译器,第二个命令配置 Microsoft Visual C,然后是 Microsoft C#,最后是 Java。这些是 cov-configure 命令的简写版本,用于这四个常用编译器。
 
在某些情况下,您需要运行该命令的完整版本,即

cov-configure --template --compiler <编译器二进制名称> --comptype <编译器类型>


要获取您的版本支持的编译器类型的完整列表,您可以输入以下命令

cov-configure --list-compiler-types


Clang 的示例配置如下所示:

cov-configure --template --compiler clang --comptype clangcc


让我们看另一个例子。假设我们在 Linux 上使用 GNU ARM 嵌入式工具链,编译器二进制文件名为 arm-none- eabi - gcc。虽然这是 gcc 编译器系列的成员,但我们不能简单地使用配置命令 cov-configure --gcc 的简写版本,因为二进制文件名称不是简单的“gcc”。我们需要运行的配置命令是:

cov-configure --template --compiler arm-none-eabi-gcc --comptype gcc


除了我们的文档之外,Coverity 还支持在命令行上获取帮助信息。因此,要获取有关 cov-configure 的其他信息,您可以调用: 

cov-configure --help
 

还请记住,每个编译器只需要运行一次配置。即使升级到较新版本的编译器,也不需要重新运行该编译器的配置。这是新模板配置方法与旧静态方法之间的区别之一。旧方法需要固定的编译器二进制文件路径,因此如果升级编译器,则需要重新配置。 

希望您会发现编译器配置是一个简单的过程。它通常很简单。如果您碰巧遇到具有挑战性的情况,请联系我们的支持团队,因为我们很可能可以快速为您解决问题。 
 

读者也访问过这里:
135 2431 0251