galoisinc/mateSuite interattiva di analisi dei programmi che utilizza Code Property Graphs per cercare bug in codice C e C++, unificando l'analisi delle vulnerabilità a livello applicativo e di basso livello.
MATE è una suite di strumenti per l'analisi interattiva dei programmi, focalizzata sulla caccia di bug in codice C e C++. MATE unifica l'analisi delle vulnerabilità a livello applicativo e di basso livello utilizzando grafi di proprietà del codice (CPG), consentendo la scoperta di vulnerabilità altamente specifiche dell'applicazione che dipendono sia dai dettagli implementativi sia dalla semantica di alto livello dei programmi C/C++ di destinazione.
Vedi la documentazione online per maggiori informazioni.
Questo materiale si basa sul lavoro sostenuto dalla United States Air Force e dalla Defense Advanced Research Project Agency (DARPA) con Contratto n. FA8750-19-C-0004. Le opinioni, le scoperte e le conclusioni o raccomandazioni espresse in questo materiale sono quelle dell'autore/i e non rispecchiano necessariamente le opinioni della United States Air Force o della DARPA. Approvato per la divulgazione pubblica, distribuzione illimitata.
