IT资讯 GCC 12 的静态分析器获得初步汇编支持

tom · 2021-08-06 09:30:07 · 热度: 14

本周,GCC 静态分析器的初步汇编支持已经合并到 GNU Compiler Collection 开发代码中。

GCC 12 的静态分析器获得初步汇编支持

该静态分析器于 GCC 10 引入,虽然 LLVM 的 Clang 长期以来一直提供静态分析器选项,但 GCC 10 是第一个具有静态分析通道的版本。该分析器支持使用 “-fanalyzer” 选项对 C 代码进行静态分析,发出关于双重释放和其他 malloc/free 问题的警告,不过会显著延长编译时间。

之后在 GCC 11 中,静态分析器得到进一步增强。首先,修复了状态跟踪组件的很多崩溃错误,包括使用唯一对象(单例)来表示符号值和区域,以及用符号值和区域来表示内存中位偏移群集的映射 。其次,减少了内存泄漏检测的误报。此外,还添加了标记 API 和 以 HTML 方式输出结果两个新功能。

而此次合并的 ASM 支持由 Red Hat 的 David Malcolm 开发,目的是尽量减少分析器对大量使用内联 ASM 的 Linux 内核的误报。如无意外,该功能将随 GCC 12 发出。

猜你喜欢:
暂无回复。
需要 登录 后方可回复, 如果你还没有账号请点击这里 注册