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

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

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

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