手机版
你好,游客 登录 注册 搜索
背景:
阅读新闻

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

[日期:2020-01-15] 来源:Linux公社  作者:醉落红尘 [字体: ]

在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静态分析器的详细信息,可以通过这个刚刚登陆分析器时添加的新文档获得。

Linux公社的RSS地址https://www.linuxidc.com/rssFeed.aspx

本文永久更新链接地址https://www.linuxidc.com/Linux/2020-01/162025.htm

 

linux
本文评论   查看全部评论 (0)
表情: 表情 姓名: 字数

       

评论声明
  • 尊重网上道德,遵守中华人民共和国的各项有关法律法规
  • 承担一切因您的行为而直接或间接导致的民事或刑事法律责任
  • 本站管理人员有权保留或删除其管辖留言中的任意内容
  • 本站有权在网站内转载或引用您的评论
  • 参与本评论即表明您已经阅读并接受上述条款