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

Now available under the BSD 3-clause license, MATE relies on code property graphs (CPGs) for static program analysis, and can identify application-specific bugs that depend on implementation details and high-level semantics.