galoisinc/mateSuite interactive d'analyse de programme utilisant des graphes de propriétés de code pour traquer les bugs dans le code C et C++, unifiant l'analyse des vulnérabilités spécifiques aux applications et de bas niveau.
MATE est une suite d'outils pour l'analyse interactive de programmes, avec un accent sur la recherche de bugs dans le code C et C++. MATE unifie l'analyse de vulnérabilités spécifiques aux applications et de bas niveau en utilisant des graphes de propriétés de code (CPG), permettant la découverte de vulnérabilités hautement spécifiques aux applications qui dépendent à la fois des détails d'implémentation et de la sémantique de haut niveau des programmes C/C++ cibles.
Voir la documentation en ligne pour plus d'informations.
Ce travail a été réalisé grâce au soutien de l'United States Air Force et de la Defense Advanced Research Project Agency (DARPA) dans le cadre du contrat n° FA8750-19-C-0004. Les opinions, conclusions et recommandations exprimées dans ce document sont celles des auteurs et ne reflètent pas nécessairement les vues de l'United States Air Force ou de la DARPA. Approuvé pour diffusion publique, distribution illimitée.
