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

GCC新的静态分析功能正在为GCC 10准备就绪

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

在大约一个月的时间内发布的GCC 10代码编译器中的许多新功能之一终于有了内置的静态分析器。可以使用-fanalyzer开关启用此静态分析器,并且其初始功能在GNU Compiler Collection 10中已经很好地成熟了。

一月份,静态分析器就被添加到了GCC 10中,最初的重点是C代码。这款用于GCC的静态分析仪由GCC的David Malcolm牵头,并在几个月前以补丁形式提供。这种静态分析器虽然不像LLVM Clang之类的内置分析器那样成熟或强大,但它正在实现。

Malcolm在周四撰写的Red Hat Developer博客文章中概述了对GCC 10的静态分析支持。

Malcolm在GCC Git的当前状态中说:“它适用于中小型示例,但是存在一些错误,这意味着它尚不能用于生产环境。我正在努力修复问题,希望到GCC 10发布时(可能在四月),该功能将可用于C代码。”

使用GCC -fanalyzer可以发现一系列问题和潜在的警告。将来的一些项目包括围绕复杂状态的检查器进一步改进,确保消息不会太冗长,以及可能的HTML输出格式支持。

GCC 10.1作为GCC 10系列的第一个稳定版本可能会在4月底左右发布。在默认情况下,您可以找到GCC 10的第一批Linux发行版是Red Hat发行的Fedora 32。

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

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

 

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

       

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