【AICon】探索RAG 技术在实际应用中遇到的挑战及应对策略!AICon精华内容已上线73%>>> 了解详情
写点什么

英特尔开源 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/

公众号推荐:

2024 年 1 月,InfoQ 研究中心重磅发布《大语言模型综合能力测评报告 2024》,揭示了 10 个大模型在语义理解、文学创作、知识问答等领域的卓越表现。ChatGPT-4、文心一言等领先模型在编程、逻辑推理等方面展现出惊人的进步,预示着大模型将在 2024 年迎来更广泛的应用和创新。关注公众号「AI 前线」,回复「大模型报告」免费获取电子版研究报告。

AI 前线公众号
2021-10-26 18:262547
用户头像
罗燕珊 InfoQ中文站编辑

发布了 415 篇内容, 共 239.6 次阅读, 收获喜欢 756 次。

关注

评论

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

企业全球化出海技术体系建设实录【专题合集】

阿里技术

技术专题合集 全球化技术能力

BetterSnapTool for Mac 帮你整理窗口,提升效率

魔仙苹果mac堡

BetterSnapTool 苹果电脑 窗口布局

Cloud Kernel SIG月度动态:发布 ANCK 新版本及 Plugsched v1.2.0

OpenAnolis小助手

内核 龙蜥社区 sig anck CVE修复

贴合运维业务场景的告警聚合实现——以Zabbix为例

观纵科技

zabbix 运维监控 IT运维

JavaScript 对象管家 Proxy

devpoint

JavaScript Proxy ECMAScript 6

Axure9和Axure10哪款好?有什么区别呢?

Rose

原型设计 Axure RP

API Gateway vs Load Balancer:选择适合你的网络流量管理组件

API7.ai 技术团队

共建区块链生态,旺链科技获颁2022年度FISCO BCOS产业应用合作伙伴

旺链科技

区块链 区块链+

详解数仓中sequence的应用场景及优化

华为云开发者联盟

数据库 后端 华为云 华为云开发者联盟 企业号 3 月 PK 榜

【活动报名】数据存储降本增效应用实践 PolarDB × ScaleFlux 线下 Meetup 来袭!(杭州站)

阿里云数据库开源

数据库 postgresql 阿里云 开源 polarDB

ArchKeeper(开篇):架构守护平台的问题与理念

京东科技开发者

架构 敏捷 系统架构 腐化治理 企业号 3 月 PK 榜

GreptimeDB v0.1 发布|原生支持 Python, PromQL 和对象存储

Greptime 格睿科技

云原生 时序数据库 PromQL

如何基于 Skywalking 来快速搭建一套应用性能监控平台

观纵科技

APM 全链路监控 Skywalking

如何规避近年频发的数据安全事故?

Zilliz

云原生 云服务 数据安全

开源工具系列5:DependencyCheck

HummerCloud

高效学 C++|组合类的构造函数

TiAmo

组合 C++

精准医疗迎数字化新机遇,百奥利盟携手阿里云为创新生物药提速上市

云布道师

阿里云

Jasper狂飙:AIGC现象级应用的增长秘笈

OneFlow

人工智能 深度学习 ChatGPT

DAPP质押挖矿项目技术开发功能丨DeFI质押挖矿系统开发详细方案

I8O28578624

IoT物联网时代,如何优化你的网络- DNS域名解析服务——设备接入类

阿里云AIoT

缓存 网络协议 物联网 域名解析 调度

苹果M1/M2电脑安装Lightroom Classic 2022(LRC2022) 后打开闪退怎么办?

魔仙苹果mac堡

m1 LRC2022 闪退 M2 苹果软件

FTP VS镭速传输,小文件传输技术内有乾坤

镭速

React Hooks源码深度解析

京东科技开发者

函数 React Hooks 企业号 3 月 PK 榜

还在curd吗?封装属于自己的Spring-Boot-Starter

做梦都在改BUG

Java spring Spring Boot Starter

mac office 365 商业专业版附升级工具

Rose

Office 365

IoT物联网平台-规则引擎SQL数据格式详解——设备管理运维类

阿里云AIoT

sql 物联网 数据格式

15 英寸 MacBook Air 和黄色 iPhone 14 在路上吗?

Rose

apple

软件测试/测试开发 | Spring Boot 集成 Swagger

测试人

软件测试 springboot 测试发开

Matlab实现图像分割

timerring

图像分割

天池 DeepRec CTR 模型性能优化大赛 - 夺冠技术分享

阿里云大数据AI技术

人工智能 深度学习

如何从5万设备中找出频繁掉线设备,长期不在线的设备?——设备管理运维类

阿里云AIoT

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