Привет, ЛОР!

Компания Galois Inc. представила Grease – программу для статического анализа исполняемых файлов и поиска в них уязвимостей. Grease дизассемблирует исполняемый файл и строит модель его исполнения, после чего анализирует пограничные условия на предмет возможных ошибок. Использовать Grease можно как отдельно, так и плагином к [ системе обратного инжениринга Ghidra ]( https://ghidra-sre.org/ ) .

Код написан на языке Haskell и распространяется под лицензией BSD-3.

>>> [ Репозитарий на Github ]( https://github.com/GaloisInc/grease )

https://www.linux.org.ru/news/opensource/17918764