ControlFlag: Machine programming research tool detects bugs in code

2020-12-04 06:22

Intel unveiled ControlFlag - a machine programming research system that can autonomously detect errors in code.

"We think ControlFlag is a powerful new tool that could dramatically reduce the time and money required to evaluate and debug code. According to studies, software developers spend approximately 50% of the time debugging. With ControlFlag, and systems like it, I imagine a world where programmers spend notably less time debugging and more time on what I believe human programmers do best - expressing creative, new ideas to machines," said Justin Gottschlich, principal scientist and director/founder of Machine Programming Research at Intel Labs.

ControlFlag's bug detection capabilities are enabled by machine programming, a fusion of machine learning, formal methods, programming languages, compilers and computer systems.

ControlFlag can detect these anomalies regardless of programming language.

With limited inputs for the control tools that the program should be evaluating, ControlFlag can identify stylistic variations in programming language, similar to the way that readers recognize the differences between full words or using contractions in English.

News URL

http://feedproxy.google.com/~r/HelpNetSecurity/~3/YFFWNHiy-FM/

#research