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.
The United States Air Force and the Defense Advanced Research Project Agency collaborated to create the tools, known as MATE (DARPA). Code property graphs (CPGs) are used by MATE, which is now distributed under the BSD 3-clause license, for static program analysis. MATE can spot application-specific errors that depend on implementation specifics and high-level semantics.
Flowfinder, MATE Notebooks, MATE POIs, and Mantiserve are just a few of the programs in the suite created on top of the CPG’s base.
For more such updates follow us on Google News ITsecuritywire News