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

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

“互联网+”大赛在线招募！报名赢“鲲鹏、昇腾优才实习计划”>>> GCC 12 的静态分析器获得初步汇编支持

本周，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 发出。

猜你喜欢:

0 个赞 0 收藏

暂无回复。

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