galoisinc/mateSuite interactiva de análisis de programas que utiliza Grafos de Propiedades de Código para buscar errores en código C y C++, unificando el análisis de vulnerabilidades específicas de la aplicación y de bajo nivel.
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 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 C/C++ objetivo.
Consulte la documentación en línea para obtener más información.
Este material se basa en el trabajo apoyado por la Fuerza Aérea de los Estados Unidos y la Agencia de Proyectos de Investigación Avanzada de Defensa (DARPA) bajo el Contrato No. FA8750-19-C-0004. Las opiniones, hallazgos, conclusiones o recomendaciones expresadas en este material son las del autor(es) y no reflejan necesariamente los puntos de vista de la Fuerza Aérea de los Estados Unidos o DARPA. Aprobado para publicación pública, distribución ilimitada.
