Development of this project was funded by Team Atlanta using prize winnings from the DARPA AI Cyber Challenge (AIxCC).
This work was supported by the Institute of Information & Communications Technology Planning & Evaluation(IITP) grant funded by the Korea government(MSIT) (No.RS-2024-00440780, Development of Automated SBOM and VEX Verification Technologies for Securing Software Supply Chains).