galoisinc/mateSuite interativa de análise de programas que usa Code Property Graphs para caçar bugs em código C e C++, unificando a análise de vulnerabilidades específicas de aplicações e de baixo nível.
MATE é um conjunto de ferramentas para análise interativa de programas com foco na caça de bugs em código C e C++. MATE unifica análise de vulnerabilidades específicas de aplicação e de baixo nível usando grafos de propriedades de código (CPGs), possibilitando a descoberta de vulnerabilidades altamente específicas da aplicação que dependem tanto de detalhes de implementação quanto da semântica de alto nível dos programas C/C++ alvo.
Consulte a documentação online para mais informações.
Este material é baseado em trabalho apoiado pela Força Aérea dos Estados Unidos e pela Agência de Projetos de Pesquisa Avançada de Defesa (DARPA) sob o Contrato No. FA8750-19-C-0004. Quaisquer opiniões, descobertas e conclusões ou recomendações expressas neste material são de responsabilidade do(s) autor(es) e não refletem necessariamente as visões da Força Aérea dos Estados Unidos ou da DARPA. Aprovado para Divulgação Pública, Distribuição Ilimitada.
