写点什么

英特尔开源 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:263024
用户头像
罗燕珊 AI practitioner | Tech media

发布了 538 篇内容, 共 399.4 次阅读, 收获喜欢 847 次。

关注

评论

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

测试技艺 | AI 赋能 GUI 自动化测试的挑战

技艺的尾巴

人工智能 自动化测试 GUI

模型并行之Embedding表

永荣带你玩转昇腾

PID参数自整定终极指南:基于继电反馈的智能调节算法详解

芯动大师

PID 自整定

推荐系统网络序言

永荣带你玩转昇腾

Cursor要付费,何不试试Trae | Trae 带你做游戏

六月的雨在InfoQ

MCP Trae MCP Server AI 编程

昇腾910-PyTorch 实现 Vggnet图像分类

永荣带你玩转昇腾

必看!手把手教你玩转Dify的3大核心工具!

王磊

京东探索研究院大模型成果登上Nature

京东零售技术

鸿蒙开发实现图片上传(上传用户头像)

星河特战队员

社交 DevEco Studio 鸿蒙开发 harmoyos

楼宇大堂数字LED显示屏定制指南

Dylan

商业 LED显示屏 全彩LED显示屏 户外LED显示屏 led显示屏厂家

全面解析 Coco AI,一款开源、免费的智能搜索与知识库工具

极限实验室

直播 CocoAI

长连接网关技术专题(十二):大模型时代多模型AI网关的架构设计与实现

JackJiang

网络编程 IM 即时通讯IM

基于Pytorch 在昇腾上实现GCN图神经网络

永荣带你玩转昇腾

中文大模型幻觉测评:豆包大模型准确率全球第一,超越DeepSeek-R1、Gemini-2.5、GPT-4o

新消费日报

微软 Azure 发布 Voice Live API,自带音频处理可自选模型;空间语音翻译:保持环境中说话人方向和声音特征丨日报

声网

鲲鹏开发者峰会2025成功举办

科技热闻

华为智能电动DriveONE:重新定义新能源汽车的续航与安全

科技热闻

PyTorch 实现FCN网络用于图像语义分割

永荣带你玩转昇腾

学习如何构建高效AI Agent

Bruce Talk

AI

使用手势自定义截取视频时间组件

鸿蒙 开发工具 HarmonyOS HarmonyOS NEXT 实践分享

Fastrace:Rust 中分布式追踪的现代化方案

观测云

分布式链路追踪

Arthas sysprop(查看和修改JVM的系统属性)

刘大猫

JVM 监控 Arthas 监控工具 sysprop

常用的CTR领域经典机器模型介绍

永荣带你玩转昇腾

以利他共赢实现和合共生珠海万达商管东区品牌峰会圆满举办

新消费日报

CodeBuddy Craft智能体测评|对话式编程太香了!🚀

jimaks

CodeBuddy首席试玩官

香港通过《稳定币条例草案》,京东币链科技解读 「里程碑时刻」

TechubNews

京东稳定币 稳定币条例草案 香港稳定币草案

Arthas heapdump(dump java heap, 类似 jmap 命令的 heap dump 功能)

刘大猫

监控 Arthas 监控工具 heap heapdump

上线 3 天破 500 星,TEN VAD 与 Turn Detection 让 Voice Agent 对话更拟人丨社区来稿

声网

《算法导论(第4版)》阅读笔记:p127-p133

codists

算法

AppAgentx 开源AI手机操控使用分享

溪抱鱼

android AI 自动化测试

Centos或Linux编写一键式Shell脚本删除用户、组指导手册

刘大猫

人工智能 Linux centos Shell shell脚本

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