GMTC深圳站本周日开幕,14大专题全部上线,完整日程>> 了解详情
写点什么

英特尔开源 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:262006
用户头像
罗燕珊 InfoQ中文站编辑

发布了 178 篇内容, 共 64.1 次阅读, 收获喜欢 313 次。

关注

评论

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

Java零基础自学书籍,尚硅谷spring视频,BAT大厂面试总结

Java 程序员 后端

Java程序员面试笔记,极客时间vue开发实战,Java进阶教程视频

Java 程序员 后端

Java编程书籍推荐,尚硅谷springboot,遇到的面试官都是架构师级别

Java 程序员 后端

Java编程百度云,java实用教程第五版百度云,字节跳动资深面试官亲述

Java 程序员 后端

Java自学视频百度云,尚硅谷大数据百度云,Java编程教学视频

Java 程序员 后端

Java经典入门教程,vue尚学堂,Java面试问项目

Java 程序员 后端

Java编程入门经典,linux使用教程课后答案,mysql常见笔试题

Java 程序员 后端

架构训练营-模块二

Geek_9de3de

架构实战营

Java进阶之光,java工程师视频教程,王者笔记!

Java 程序员 后端

Java程序员面试中最容易答错的8道面试题,tomcat面试题及答案

Java 程序员 后端

Java编程方法论pdf,kalilinux新手教程,Java实习面试经验汇总

Java 程序员 后端

Java软件开发面试题,从paxos到zookeeper网盘,已拿到offer

Java 程序员 后端

Java编程教程入门,java使用教程第五版答案,美团优选面试题Java

Java 程序员 后端

Java面试回忆录,任小龙java笔记百度云,Java社招面经分享

Java 程序员 后端

Java笔试编程题大全带答案,mysql入门视频教程,Java多态实现原理

Java 程序员 后端

Java笔试题及答案详解,nginx入门到精通百度云,全网最全原理讲解

Java 程序员 后端

Java算法基础面试题,java教程张孝祥百度云,Java初级程序员面试题目

Java 程序员 后端

Java编程入门自学,牛客网在线编程,Java基础入门视频教程

Java 程序员 后端

Java通用流行框架大全,Java校招面试问题大全

Java 程序员 后端

Java通用流行框架大全,迈向java面试突击课百度云,来来来

Java 程序员 后端

Java重点知识点总结,java开发教程百度云,Java零基础入门书籍

Java 程序员 后端

Java重点知识点,极客时间破解蓝奏云,顺利通过阿里Java岗面试

Java 程序员 后端

Java程序员面试笔试真题,java零基础入门视频百度云,阿里P7大牛亲自讲解

Java 程序员 后端

Java编程入门经典,慕课网java架构师百度网盘,字节跳动Java高级工程师

Java 程序员 后端

Java自学宝典下载免费,java框架ssh和ssm百度,Java常见编程笔试题

Java 程序员 后端

Java菜鸟入门教程,硅谷之火pdf百度网盘,吃透这份阿里P8纯手打Java面经

Java 程序员 后端

Java银行面试题目及答案,java基础菜鸟教程容器类,疯狂涨知识

Java 程序员 后端

Java面试java基础,java基础语法菜鸟教程,腾讯Java社招面试

Java 程序员 后端

Java这些高端技术只有你还不知道,正在准备面试

Java 程序员 后端

Java进阶教程,极客网盘破解版吾爱破解,卑微打工人

Java 程序员 后端

Java面试基础知识点,mysql编程入门教程,Java知识总结

Java 程序员 后端

2021星空论坛:破局创新,论道数字化转型

2021星空论坛:破局创新,论道数字化转型

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