Galois Open Sources Tools for Finding Vulnerabilities in C, C++ Code
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.
Dubbed MATE, the tools are the result of a collaborative effort supported by the United States Air Force and Defense Advanced Research Project Agency (DARPA).
Read more: Galois Open Sources Tools for Finding Vulnerabilities in C, C++ Code
Story added 29. August 2022, content source with full text you can find at link above.