Security firm Trail of Bits has open-sourced Buttercup, a Cyber Reasoning System (CRS) developed for the AIxCC (AI Cyber Challenge).

It is designed to find and patch software vulnerabilities in open-source code repositories.