Intel Releases ControlFlag 1.0
Written by Kay Ewbank   
Thursday, 25 November 2021

ControlFlag, Intel's open source AI-powered bug checker has been updated to version 1.0.  ControlFlag uses machine learning and works with any programming language with control structures.

The tool was developed by Intel Labs’ Machine Programming Research (MPR) team, and uses advanced self-supervised machine-learning techniques to detect coding anomalies.

intel

The diagram below shows ControlFlag's two main phases: firstly, the pattern mining phase, followed by the scanning for anomalous patterns. The pattern mining phase mines typical patterns in the user-provided GitHub repositories and then builds a decision-tree from the mined patterns. The scanning phase can then apply the mined patterns to flag anomalous expressions in the user-specified target repositories.

controlflag design

The latest version has been updated with full support for working with C code. It can now learn typical patterns and detect anomalous patterns (inference) within if statements of C programs.

The new release can be used to download GitHub repositories for C language code. It can then mine conditional expressions, and ControlFlag can be trained using the code from the repository.

It also comes with datasets that contain conditional expressions that have already been mined from GitHub repositories, and has support for detecting anomalous conditional expressions in a target repository.

As a part of scanning for anomalies, ControlFlag also suggests possible corrections in case a conditional expression is flagged as an anomaly.

 intel

More Information

Paper Explaining ControlFlag

ControlFlag On GitHub

Related Articles

Intel Open Sources AI Bug Checker

Intel Developing Data Parallel C++

Intel Open Sources NLP Architect 

 

To be informed about new articles on I Programmer, sign up for our weekly newsletter, subscribe to the RSS feed and follow us on Twitter, Facebook or Linkedin.

Banner


Fei-Fei Li On Spatial Intelligence As The Next Frontier In AI
11/07/2025

Last month in front of an enthusiastic audience at Y Combinator, Fei-Fei Li, often called the godmother of AI, talked to Diana Hu about spatial intelligence and why she considers it the next crit [ ... ]



Chinese Robots Play Three-a-Side Soccer
06/07/2025

Four teams of humanoid robots faced off in fully autonomous 3-on-3 soccer matches in the latest event organized to showcase China’s advances in humanoid robot technology. It was the first such compe [ ... ]


More News

pico book

 

Comments




or email your comment to: comments@i-programmer.info

Last Updated ( Thursday, 25 November 2021 )