galoisinc/mateИнтерактивный набор инструментов анализа программ, использующий графы свойств кода для поиска ошибок в коде на C и C++, объединяющий анализ уязвимостей на уровне приложений и низкоуровневый анализ.
MATE — это набор инструментов для интерактивного анализа программ, ориентированный на поиск ошибок в коде на C и C++. MATE объединяет прикладной и низкоуровневый анализ уязвимостей с помощью графов свойств кода (CPG), что позволяет обнаруживать узкоспециализированные уязвимости, зависящие как от деталей реализации, так и от высокоуровневой семантики целевых программ на C/C++.
См. онлайн-документацию для получения дополнительной информации.
Данная работа основана на исследованиях, поддержанных Военно-воздушными силами США и Агентством перспективных оборонных исследовательских проектов (DARPA) в рамках контракта № FA8750-19-C-0004. Любые мнения, выводы и рекомендации, выраженные в этом материале, принадлежат автор(ам) и не обязательно отражают точку зрения Военно-воздушных сил США или DARPA. Одобрено для публичного распространения без ограничений.
