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


Blender 4.5 Adds Full Vulkan Support
29/07/2025

Blender 4.5 is now available with a wide ranging set of improvements including full support for Vulkan, a more flexible compositor, and enhancements to the animation timeline.`



Windows 11 Overtakes Windows 10 - But Not In Europe
08/07/2025

With the end of support of Windows 10 just three months away, Windows 11 has finally edged ahead of Windows 10 in terms of  Desktop Windows Version Market Share on a Worldwide Basis. In Europe, h [ ... ]


More News

pico book

 

Comments




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

Last Updated ( Thursday, 25 November 2021 )