英特尔开源可侦测程式码臭虫的AI工具ControlFlag

英特尔实验室对外发布其最新机器程式开发研究（Machine Programming Research，ＭPR）的成果，在GitHub上开源可分析程式码储存库，找出程式码缺陷的工具ControlFlag。ControlFlag运用先进的自我监督机器学习技术，能够自动侦测程式码异常，缩短除错的时间，并且提高系统的品质和完整性。

官方提到，几乎所有大型软件都存在准确性、效能和安全相关漏洞，而且随着软件加入新功能等更新，臭虫被带进程式码的机会增加。而ControlFlag能够解决这些问题，与任何具有控制结构的程式语言一起使用，利用半信任的概念来利用自我监督学习，从未标记的源代码中学习，随着更多新资料加入，ControlFlag能够不断自我改进。

ControlFlag已经被应用在生产阶段的软件，或是开源系统上进行测试，2020年的时候，ControlFlag发现cURL中的程式码异常，cURL是一个用来处理网络传输的知名开源专案，ControlFlag所找到的cURL程式缺陷，已经经过cURL团队确认，并且针对缺陷完成程式码修补。

ControlFlag已经从专有且处于生产阶段的软件中，发现数百个具有内存和崩溃臭虫的潜在缺陷，同时也在开源软件储存库中，发现数十个新的异常问题，而每个异常问题都已经被专案维护者确认，并且获得修补。虽然ControlFlag在找到程式码缺陷后，没办法自动缓解这些缺陷，但是能够提供用户修正的建议。

英特尔进行了一系列机器程式开发的研究，目的是要让程式码更强健，维护起来更轻松，同时还能维持高效能，并且减少安全漏洞，而ControlFlag是英特尔这一系列研究其中一项成果，能够大幅减少软件开发时间，并且缩短除错的时间，进而减少开发所花费的资源。