ControlFlag GitHub repository: https://github.com/IntelLabs/control-flag
This page is dedicated to a growing collection of data on one of our systems, ControlFlag.
At the highest level, ControlFlag can be thought of as a code analysis tool that detects "irregular" code. Such irregular code (which we refer to as anomalous) may be a bug, code that could lead to a bug, or code that "works" but only accidentally, such as using bit-wise OR / AND where logical OR / AND is actually intended.
ControlFlag ACM SIGPLAN MAPS '21 publication: https://arxiv.org/abs/2011.03616
ControlFlag in the news: