Software debugging has been shown to utilize upwards of 50% of developers' time. Machine programming, the field concerned with the automation of software (and hardware) development, has recently made progress in both research and production-quality automated debugging systems. In this paper, we present ControlFlag, a system that detects possible idiosyncratic violations in software control structures. ControlFlag also suggests possible corrections in the event a true error is detected. A novelty of ControlFlag is that it is entirely self-supervised; that is, it requires no labels to learn about the potential idiosyncratic programming pattern violations. In addition to presenting ControlFlag's design, we also provide an abbreviated experimental evaluation.

中文翻译：

---

ControlFlag：一种用于软件控制结构的自监督特殊模式检测系统

软件调试已被证明占用了开发人员 50% 以上的时间。机器编程是与软件（和硬件）开发自动化相关的领域，最近在研究和生产质量的自动调试系统方面都取得了进展。在本文中，我们介绍了 ControlFlag，这是一个检测软件控制结构中可能的特殊违规的系统。ControlFlag 还建议在检测到真正错误的情况下可能的更正。ControlFlag 的一个新颖之处在于它是完全自监督的；也就是说，它不需要标签来了解潜在的特殊编程模式违规。除了展示 ControlFlag 的设计之外，我们还提供了一个简短的实验评估。