ControlFlag GitHub repository:

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: