MATE

ПРИЯТЕЛЬ

Mate - это набор инструментов для интерактивного анализа программ с акцентом на охоту на ошибки в коде C и C ++. Mate объединяет анализ уязвимостей для конкретного приложения и низкого уровня с использованием графиков свойств кода (CPG), что позволяет обнаружить высокопоставленные приложения уязвимости, которые зависят как от деталей реализации, так и от высокоуровневой семантики целевых программ C/C ++.

Смотрите онлайн -документацию для получения дополнительной информации.

Благодарности

Этот материал основан на работе, поддерживаемой Агентством ВВС и обороны Соединенных Штатов и обороны (DARPA) в соответствии с контрактом № FA8750-19-C-0004. Любые мнения, выводы и выводы или рекомендации, выраженные в этом материале, являются мнениями автора (-ов) и не обязательно отражают взгляды ВВС США или DARPA. Одобрено для публичного освобождения, дистрибуция неограниченное.