Galois Open Sources Tools for Finding Vulnerabilities in C C++ Code


Galois, a company that specialises in the study and development of innovative technologies, has open sourced a set of tools for finding security flaws in C and C++ code.

The United States Air Force and Defense Advanced Research Project Agency collaborated to create the MATE tools, which are the outcome of their work. MATE, a tool for static programme analysis, is now distributed under the BSD 3-clause licence. Read More…