galoisinc/mateInteraktive Programmanalysesuite, die Code Property Graphs verwendet, um Fehler in C- und C++-Code aufzuspüren und dabei anwendungsspezifische sowie systemnahe Schwachstellenanalyse vereint.
MATE ist eine Sammlung von Werkzeugen für die interaktive Programmanalyse mit Fokus auf die Jagd nach Fehlern in C- und C++-Code. MATE vereint anwendungsspezifische und Low-Level-Schwachstellenanalyse unter Verwendung von Code Property Graphs (CPGs) und ermöglicht so die Entdeckung hochgradig anwendungsspezifischer Schwachstellen, die sowohl von Implementierungsdetails als auch von der Semantik auf hoher Ebene der Ziel-C/C++-Programme abhängen.
Weitere Informationen finden Sie in der Online-Dokumentation.
Dieses Material basiert auf Arbeiten, die von der United States Air Force und der Defense Advanced Research Project Agency (DARPA) unter Vertragsnummer FA8750-19-C-0004 unterstützt wurden. Die in diesem Material geäußerten Meinungen, Ergebnisse und Schlussfolgerungen oder Empfehlungen sind die der Autoren und spiegeln nicht unbedingt die Ansichten der United States Air Force oder der DARPA wider. Für die öffentliche Freigabe freigegeben, uneingeschränkte Verbreitung.
