GitHub repository: saffiepig/Syft-safety
Primary language: C++
Description: Safety property synthesis