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


Stack Overflow On Google Cloud
06/03/2024

Stack Overflow and Google Cloud have announced a partnership to deliver new gen AI-powered capabilities to developers through the Stack Overflow platform, Google Cloud Console, and Gemini for Google C [ ... ]



Android Studio Iguana With Crash Reports
05/03/2024

Google has announced that the latest version of Android Studio, Iguana, is now stable. It has version control system support in App Quality Insights and new built-in support for creating baseline prof [ ... ]


More News

raspberry pi books

 

Comments




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

Last Updated ( Thursday, 25 November 2021 )