Intel Open Sources AI Bug Checker

Intel has made its AI-powered bug checker open source. ControlFlag uses machine learning and works with any programming language with control structures.

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

It has now become open source and the team says they are:

“I am delighted to give developers the opportunity to develop on it and see what more can be done using this extremely valuable and innovative technology.”

Intel has tested ControlFlag on production software and widely used open source software systems, and last year identified a code anomaly in Client URL (cURL), a computer software project transferring data using various network protocols over a billion times per day. After reporting the anomaly to the cURL team, they accepted ControlFlag’s findings and subsequently corrected their code.

ControlFlag’s model anomaly detection system can be used for various problems such as detecting typographical errors or reporting a missing NULL check. The software has two main phases, a model exploration phase followed by a secondary phase during which the software searches for abnormal models.

control flag design

The model exploration phase is a learning phase that extracts typical models into user-supplied GitHub repositories, and then builds a decision tree from the extracted models. The analysis phase then applies the extracted models to report abnormal expressions in user-specified target repositories.

In an article presented in the Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming describing software, Niranjan Hasabnis and Justin Gottschlich of Intel Labs state that to their knowledge, the software is the first of its kind to be idiosyncratic self-supervision. programming model detection system. They also say that even though they only demonstrate ControlFlag for C / C ++, they designed it to be programming language agnostic. As such, it should be able to learn the idiosyncratic signatures of any type of control structure.

More information

Paper explaining ControlFlag

ControlFlag on GitHub

Related Articles

Intel develops C ++ parallel data

PNL Open Sources ntel architect

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

Banner

square

comments

or send your comment to: [email protected]

About Mariel Baker

Check Also

Minimalist movement on the BBC as it halves original artistic programming

The BBC has cut its original artistic programming in half over the past decade, as …