The goal of the Galois BRACELET project is to develop new tools for rapidly assess whether a vulnerability is reachable within enterprise C/C++ binary software and triage crashes in deployed software to determine their root cause.

BRACELET is part of the DARPA Enhanced SBOM for Optimized Software Sustainment (E-BOSS) program.