MATE

COPAIN

Mate est une suite d'outils pour l'analyse de programme interactive en mettant l'accent sur la chasse aux bogues dans le code C et C ++. Mate unifie l'analyse de vulnérabilité spécifique à l'application et de bas niveau à l'aide de graphiques de propriété de code (CPG), permettant la découverte de vulnérabilités hautement spécifiques à l'application qui dépendent à la fois des détails de mise en œuvre et de la sémantique de haut niveau des programmes cibles C / C ++.

Voir la documentation en ligne pour plus d'informations.

Remerciements

Ce matériel est basé sur les travaux soutenus par la United States Air Force and Defense Advanced Research Project Agency (DARPA) en vertu du contrat n ° FA8750-19-C-0004. Toutes les opinions, conclusions et conclusions ou recommandations exprimés dans ce matériel sont ceux des auteurs et ne reflètent pas nécessairement les vues de la Force aérienne américaine ou de la DARPA. Approuvé pour la libération publique, Distribution Unlimited.