MATE

PASANGAN

Mate adalah serangkaian alat untuk analisis program interaktif dengan fokus pada perburuan bug dalam kode C dan C ++. Mate menyatukan analisis kerentanan spesifik aplikasi dan tingkat rendah menggunakan Code Properti Grafik (CPG), memungkinkan penemuan kerentanan yang sangat spesifik aplikasi yang bergantung pada detail implementasi dan semantik tingkat tinggi dari program target C/C ++.

Lihat dokumentasi online untuk informasi lebih lanjut.

Ucapan Terima Kasih

Materi ini didasarkan pada pekerjaan yang didukung oleh Angkatan Udara Amerika Serikat dan Badan Proyek Penelitian Lanjutan (DARPA) berdasarkan Kontrak No. FA8750-19-C-0004. Setiap pendapat, temuan, dan kesimpulan atau rekomendasi yang diungkapkan dalam materi ini adalah pendapat penulis dan tidak selalu mencerminkan pandangan Angkatan Udara Amerika Serikat atau DARPA. Disetujui untuk rilis publik, Distribution Unlimited.