MATE

COMPAÑERO

Mate es un conjunto de herramientas para el análisis de programas interactivos con un enfoque en la caza de errores en el código C y C ++. Mate unifica un análisis de vulnerabilidad de bajo nivel específico y de bajo nivel utilizando gráficos de propiedades de código (CPG), lo que permite el descubrimiento de vulnerabilidades altamente específicas de la aplicación que dependen tanto de los detalles de implementación como de la semántica de alto nivel de los programas objetivo C/C ++.

Consulte la documentación en línea para obtener más información.

Expresiones de gratitud

Este material se basa en el trabajo respaldado por la Agencia de Proyectos de Investigación Avanzada de la Fuerza Aérea de los Estados Unidos y Defensa (DARPA) bajo el No. FA8750-19-C-0004. Cualquier opinión, hallazgos y conclusiones o recomendaciones expresadas en este material son las del autor (s) y no reflejan necesariamente las opiniones de la Fuerza Aérea o DARPA de los Estados Unidos. Aprobado para la liberación pública, distribución ilimitada.