5°

GCC 10引入了静态分析器-使用“ -fanalyzer”选项对C代码进行静态分析

在GCC新创建的Git存储库中,GCC 10版本具有重大的最新功能:一个期待已久的静态分析器。

虽然LLVM的Clang长期以来一直提供静态分析器选项,但GCC 10是第一个具有静态分析通道的版本,可帮助开发人员发现代码中的潜在问题。 对于GCC 10,静态分析过程将重点放在C代码上,并根据GIMPLE SSA表示进行操作。 静态分析通过将针对双重释放和其他malloc/free问题发出警告。 大概对于GCC 11,我们将看到增加了语言支持以及可以作为静态代码分析完成的其他检查。

可以使用-fanalyzer激活该过程,但是这样做将导致编译时间显著延长(可能加倍)。

GCC静态分析框架最初是在11月提出的,由Red Hat的David Malcom开发。

更多关于新的GCC静态分析器的详细信息,可以通过这个刚刚登陆分析器时添加的新文档获得。

 

原文链接:https://www.linuxidc.com/Linux/2020-01/162025.htm

全部评论: 0

    我有话说: