MATE

KUMPEL

Mate ist eine Reihe von Tools für die interaktive Programmanalyse mit Schwerpunkt auf der Jagd nach Fehler im C- und C ++ - Code. Mate vereint anwendungsspezifische und niedrige Schwachstellenanalyse unter Verwendung von Codes Property Graphs (CPGs) und ermöglicht die Erkennung hoch anwendungsspezifischer Schwachstellen, die sowohl von den Implementierungsdetails als auch von der hochrangigen Semantik der Ziel-C/C ++ -Programme abhängen.

Weitere Informationen finden Sie in der Online -Dokumentation.

Anerkennung

Dieses Material basiert auf Arbeiten, die von der United States Air Force and Defense Advanced Research Project Agency (DARPA) unter Vertrag Nr. FA8750-19-C-0004 unterstützt werden. Alle Meinungen, Ergebnisse und Schlussfolgerungen oder Empfehlungen, die in diesem Material geäußert werden, sind die der Autoren und spiegeln nicht unbedingt die Ansichten der US -amerikanischen Luftwaffe oder DARPA wider. Für die öffentliche Freigabe zugelassen, Distribution Unlimited.