Galois, a firm specialized in the research and development of new technologies, has open sourced a suite of tools for identifying vulnerabilities in C and C++ code.
Source: https://www.securityweek.com/galois-open-sources-tools-finding-vulnerabilities-c-c-code