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


Android 15 Developer Preview Updated
25/03/2024

Google has released Android 15 Developer Preview 2 with changes including better handling of automatic language switching and updates for OpenJDK 17.



Quantum Computers Really Are A One Trick Pony
17/03/2024

Google is offering $5 million if you can think up a use for a quantum computer. Wait, I thought quantum computers were the next big thing, a revolution! Surely we know what they can do?


More News

raspberry pi books

 

Comments




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

Last Updated ( Thursday, 25 November 2021 )