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


GitHub Universe AI Announcements - Copilot And Spark
30/10/2024

GitHub has announced several improvements for developers at Universe, its annual conference. Developers will get multi-model Copilot and GitHub Spark, an AI-native tool for building applications in na [ ... ]



C23 ISO Standard Is Here But You Probably Won't Read It
06/11/2024

At last ISO C23 has been published, but at $250 you probably aren't going to read it. Can we really tolerate this sort of profiteering on the work of others? This is worse than academic publishing!


More News

espbook

 

Comments




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

Last Updated ( Thursday, 25 November 2021 )