全面支持 C++，英特尔代码检测工具 ControlFlag 1.2 发布-低调大师

全面支持 C++，英特尔代码检测工具 ControlFlag 1.2 发布

2022-05-10 545

ControlFlag 1.2 现已发布。ControlFlag 是英特尔推出的一个基于机器学习的代码检测工具，通过人工智能和超过 10 亿行代码的训练结合，可以做到自动扫描存储库的源代码中的错误，英特尔已经将它应用到软件和硬件的生产。

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

去年 11 月发布的 ControlFlag 1.0 版本提供了对 C 语言的全面支持，v1.1 则添加了对 PHP 语言的全面支持，而该 v1.2 版本则是添加对 C++ 的全面支持，现在ControlFlag的整体功能如下：

下载 C、C++ 和 PHP 语言的 GitHub 存储库，挖掘条件表达式并使用它们训练 ControlFlag
包含来自 GitHub 存储库的预挖掘条件表达式的数据集
支持检测目标存储库中的异常条件表达式

更新公告：https://github.com/IntelLabs/control-flag/releases/tag/v1.2

微信关注我们

原文链接：https://www.oschina.net/news/195198/controlflag-1-2-released

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

“上游优先”，与善良无关

作者：lola 在开源中国写文章这么久，常常会自我怀疑。总会有一些读者会留下诸如“开源就应该免费”这样一听就想和他约架的评论，这些评论像一记记重锤锤在小编脸上，让小编不禁自问：这些年的文章难道都白写了吗？开源的一些常识性原则，我们好像懂了，又好像没懂。这种令人恼火的情况，还经常出现在开源另一个重要的原则——“上游优先”（Upstream First）上。这一原则，反复出现在一些开源布道师的口中，有点苦口婆心的意思了。什么是“上游优先”？相信大家看字面意思也 get 到了一大半了，一旦你有 fork 的动作，你所 fork 的那个项目就是你的上游。而上游优先则是一种鼓励你直接与开源社区互动并从源头解决问题的工作方式。与“上游优先”相关有一个有趣的故事。当时，红旗 Linux 还没倒闭，还是国产 Linux 版本的标杆，内部针对要不要采用“上游优先”产生了争议，这给当时还在红旗 Linux 任职的李建盛带来了冲击：彼时许多国产 Linux 发行版只自顾自进行孤岛式开发。但是，比如说我在一个包里面添加了一点功能，半年之后，却发现上游比我做的东西更多，而且更完善，甚至一些 bug 人家...

2022-05-11

627

Android Studio 是 Android 开发的官方 IDE，包括构建 Android 应用程序所需的一切。近日 Android 团队正式发布了 Android Studio Chipmunk 的稳定版本。这个版本是一个较小的功能版本，但包含了最新的 IntelliJ 更新，并在质量和稳定性方面做出了改善，仅在这个版本中就解决了超过 175 个质量问题。 Compose Animation 预览这个之前的实验性功能现在可以让 Jetpack Compose 的开发者检查和调试他们用 Compose 构建的动画。如果一个动画在可合成的预览中被描述，你可以检查每个动画值在特定时间的准确值，暂停动画、循环、快进或放慢。这对于逐帧比较动画与它们的设计规格特别有用。 Compose Animation Preview 目前支持AnimatedVisibility 和 updateTransition。它将在未来支持更多的动画类型。 CPU Profiler Android Studio Chipmunk 现在显示更新的 jank 信息，包括 jank 类型以及预期和实际期限，帮助你发...

2022-05-11

831

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。