MATE

MATE MATE es un conjunto de herramientas para el análisis interactivo de programas con un enfoque en la búsqueda de errores en código C y C++. MATE unifica el análisis de vulnerabilidades específicas de la aplicación y de bajo nivel utilizando grafos de propiedades de código CPG, lo que permite e...