MATE

AMIGO

Mate é um conjunto de ferramentas para análise de programas interativos, com foco na caça para bugs no código C e C ++. O MATE unifica a análise de vulnerabilidade específica e de baixo nível usando os gráficos de propriedades de código (CPGs), permitindo a descoberta de vulnerabilidades altamente específicas de aplicativos que dependem dos detalhes da implementação e da semântica de alto nível dos programas de C/C ++ de destino.

Veja a documentação on -line para obter mais informações.

Agradecimentos

Este material é baseado no 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 nº FA8750-19-C-0004. Quaisquer opiniões, descobertas e conclusões ou recomendações expressas neste material são as do (s) autor (s) e não refletem necessariamente as opiniões da Força Aérea dos Estados Unidos ou da DARPA. Aprovado para liberação pública, distribuição ilimitada.