Grease - утилита для поиска ошибок в бинарных файлах
Привет, ЛОР!
Компания Galois Inc. представила Grease — программу для статического анализа исполняемых файлов и поиска в них уязвимостей. Grease дизассемблирует исполняемый файл и строит модель его исполнения, после чего анализирует пограничные условия на предмет возможных ошибок. Использовать Grease можно как отдельно, так и плагином к системе обратного инжениринга Ghidra.
Код написан на языке Haskell и распространяется под лицензией BSD-3.
>>> Репозитарий на Github
>>> Подробности
