写点什么

英特尔开源 ControlFlag:可自主检测出代码中的 bug

  • 2021-10-26
  • 本文字数:1148 字

    阅读完需:约 4 分钟

英特尔开源ControlFlag:可自主检测出代码中的bug

近日,英特尔宣布开源 ControlFlag,这是其在去年 12 月推出的机器编程研究系统,它可以自主检测代码中的错误,帮助开发者进行耗时费力的 Debug。


GitHub 地址:https://github.com/IntelLabs/control-flag (ControlFlag 目前适用于 Linux 和 Mac OS,对 Windows 的支持正在努力中。)


ControlFlag 检测 Bug 的功能是通过机器编程实现的,其中融合了机器学习、形式化方法、编程语言、编译器和计算机系统。


具体来说,ControlFlag 通过被称为异常检测(anomaly detection)的功能进行运转。它通过学习经过验证的例子来检测正常的编程模式,发现代码中可能造成 Bug 的异常。此外,官方称不管代码使用什么编程语言,ControlFlag 都可以检测这些异常。


据了解,ControlFlag 的无监督模式识别方法的一个主要优势是,它可以从本质上学会适应开发者的风格。在有限的需要评估的控制工具输入信息中,ControlFlag 可以识别编程语言中的各种风格,类似于读者识别英语中使用完整单词和缩略语的差异。该工具会学会识别并标记这些风格选择,并根据其洞察可以自制错误识别和建议解决方案,从而让 ControlFlag 尽可能避免把两个开发团队之间的风格差异认为是代码错误。


英特尔实验室首席人工智能科学家 Justin Gottschlich 负责带领该工具的开发工作,他表示,自推出以来,ControlFlag 已在生产级软件和广泛使用的开源软件系统上进行了测试。


例如,2020 年 ControlFlag 曾发现 cURL 中的代码异常,cURL 是一个知名的开源项目,在全世界有超过 100 亿的安装,每天处理各种网络协议传输数据超过 10 亿次。“在我们向 cURL 团队报告异常后,他们认可 ControlFlag 的发现并随后修复了代码。”


Justin Gottschlich 还举例道,最近 ControlFlag 通过在专有生产级软件中识别数百个与内存和潜在系统崩溃错误相关的缺陷,取得了最先进的成果。此外,ControlFlag 在几个高质量的开源软件存储库中发现了数十个新的异常。到目前为止,每个异常都被开源维护者确认为是真的 bug,并已得到纠正。“这些令人兴奋的结果证明了 ControlFlag 能够显着提高成本和效率。”


英特尔认为 ControlFlag 可能会被嵌入到芯片中,作为抵御错误代码的最后一道防线,以提高数据通信通道的效率。但为此,人工智能系统需要成熟,并且必须可靠到调试过程可以自动化的程度。


但这还是一个比较长远的目标。Justin Gottschlich 在接受 TheRegister采访时表示,现在 ControlFlag 主要是应用在软件中。如果可以的话,团队很愿意构建更先进的系统或一些核心组件将它们“烧录”到硬件中,这对于机器学习来说是至关重要的。


Gottschlich 说,英特尔正在投入更多资源来长期开发 ControlFlag,但另一个挑战是弄清楚通信、机器学习和计算将如何发展。


延展阅读:


https://www.linkedin.com/pulse/newly-open-sourced-controlflag-identifies-hundreds-justin-gottschlich/

2021-10-26 18:263047
用户头像
罗燕珊 AI practitioner | Tech media

发布了 540 篇内容, 共 403.0 次阅读, 收获喜欢 849 次。

关注

评论

发布
暂无评论
发现更多内容

大数据培训学习方法有哪些

小谷哥

埃文科技完成数千万A轮融资

郑州埃文科技

网络安全 企业融资 数据服务

艾瑞《政企数智办公平台行业研究报告》,政企数智办公「百宝书」

融云 RongCloud

办公 数智化

web前端培训应该怎么做

小谷哥

龙磐投资,中国领先生物医药风险投资机构,规模超百亿

联营汇聚

王者荣耀商城异地多活架构设计

Jack

架构实战训练营9期

笔记2022-12-06

mklop

学习笔记 构架

制定数据战略的三大要素和五个步骤!

用友BIP

智慧交通的待解谜题,中科视语在首届昇腾AI创新大赛交出金奖答案

脑极体

小游戏的前世今生

FinFish

微信小程序 休闲游戏 小游戏 H5小游戏

Getaverse测试网即将上线,节点销售火爆,是否成为下一个GALA?

Geek_Web3

区块链 Web3 Daily #区块链# did web3

SoviChart数据可视化:条形图(Bar chart)

2D3D前端可视化开发

数据分析 数据可视化 可视化图表 sovitchart 条形图

学习web前端培训怎么样呢

小谷哥

Gin路由添加流程

Z.K

福利Day | KaiwuDB 邀你相约 DTCC 2022,文末免费抢价值3200元大会门票!

KaiwuDB

数据库

消息队列跨区域协同方案的演进

移动云大数据

kafka pulsar

从一个 issue 出发,带你玩图数据库 NebulaGraph 内核开发

NebulaGraph

图数据库 开源贡献

Getaverse月报 - 11月

Geek_Web3

区块链 Web3 Daily #区块链# did web3

前端培训学习需要什么条件?

小谷哥

找运营商电商化运营突破口的九个策谋

鲸品堂

12 月 PK 榜

FFA 2022 收官总结|活动报告出炉,实时即未来!

Apache Flink

大数据 flink 实时计算

30个编程小技巧,提高代码性能

千锋IT教育

Getaverse - 基于Web3.0数字认证引擎协议的元宇宙生态服务平台

Geek_Web3

Web3 Daily #区块链# did web3

微服务中的鉴权该怎么做?

江南一点雨

SpringCloud Gateway openfei

学习java参加培训哪个比较好呢?

小谷哥

直播预告丨泛CG元宇宙分会场云桌π—从NVIDIA XR到云渲染,如何构建元宇宙虚拟场景生态闭环

3DCAT实时渲染

CG 渲染 虚拟现实 元宇宙 元宇宙开发

go实现类似spring BeanUtil工具

Z.K

微服务开发平台 Spring Cloud Blade 部署实践

北京好雨科技有限公司

Kubernetes 微服务 云原生 Spring Cloud

海鑫科金:通过 YMatrix 实现离线在线平台统一,满足公安数据场景的管理分析需求

YMatrix 超融合数据库

超融合数据库 YMatrix 公安数据场景 海鑫科金

Smart Finance将AIGC引入GameFi,P2E进入人工智能时代

股市老人

基于训练和推理场景下的MindStudio高精度对比

华为云开发者联盟

人工智能 华为云 12 月 PK 榜

英特尔开源ControlFlag:可自主检测出代码中的bug_AI&大模型_罗燕珊_InfoQ精选文章