英特尔已发布代码检测工具 ControlFlag 1.0 版本

栏目: 软件资讯 · 发布时间: 4年前

内容简介:11 月 19 日,由英特尔实验室开发的 ControlFlag 发布了 1.0 版本,ControlFlag 通过人工智能和超过 10 亿行代码的训练结合,可以做到自动扫描存储库的源代码中的错误,英特尔已经将它应用到软件和硬件的生产。 ...

11 月 19 日,由英特尔实验室开发的 ControlFlag 发布了 1.0 版本,ControlFlag 通过人工智能和超过 10 亿行代码的训练结合,可以做到自动扫描存储库的源代码中的错误,英特尔已经将它应用到软件和硬件的生产。

ControlFlag 是一个自监督的特殊模式检测系统,就是通过从开源的存储库(在 GitHub 和其他 Git 平台)挖掘经典模式来学习高级编程语言(如 C/C++)的控制结构(if  等),然后用学到的经典结构来检测用户自己代码的异常情况。目前 ControlFlag 已经学习了 6000+ 个 Github 存储库

(简单来说就是去别人那学习 C 语言的代码到底该怎么写,学完了就回来看看自己的代码有没有哪里写错了。)

下图显示了 ControlFlag 的两个运行阶段:模式挖掘阶段(到处学习)和扫描异常模式阶段(检查自己代码)。模式挖掘阶段是一个“训练阶段”,根据用户提供的 GitHub 存储库中的典型控制结构来建立决策树。然后到扫描异常的阶段会用前面训练出来的决策树来标查找用户自己 Git 库里面异常的代码表达式。


英特尔已发布代码检测工具 ControlFlag  1.0 版本

ControlFlag 1.0 版本的发布意味着已经全面支持学习 C 程序(不过按更新公告的意思,现在只能学 if 条件语句相关的 C 语言结构)和异常推断功能。

依赖项

  • CMake 3.4.3 或以上
  • 兼容 C++17 的编译器
  • Tree-sitter 解析器(会作为 cmake 的一部分自动下载)
  • GNU parallel(可选,如果你想生成训练数据)

 


以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

颠覆式创新:移动互联网时代的生存法则

颠覆式创新:移动互联网时代的生存法则

李善友 / 机械工业出版社 / 2015-3-1

为什么把每件事情都做对了,仍有可能错失城池?为什么无人可敌的领先企业,却在一夜之间虎落平阳?短短三年间诺基亚陨落,摩托罗拉以区区29亿美元出售给联想,芯片业霸主英特尔在移动芯片领域份额几乎为零,风光无限的巨头转眼成为被颠覆的恐龙,默默无闻的小公司一战成名迅速崛起,令人瞠目结舌的现象几乎都能被“颠覆式创新”法则所解释。 颠覆式创新教你在新的商业竞争中“换操作系统”而不是“打补丁”,小公司用破坏......一起来看看 《颠覆式创新:移动互联网时代的生存法则》 这本书的介绍吧!

在线进制转换器
在线进制转换器

各进制数互转换器

SHA 加密
SHA 加密

SHA 加密工具

RGB CMYK 转换工具
RGB CMYK 转换工具

RGB CMYK 互转工具