Grease — инструмент за търсене на грешки в бинарни файлове

Здравей, ЛОР!

Компания Galois Inc. представи Grease – програма за статичен анализ на изпълними файлове и търсене на уязвимости в тях. Grease дисасемблира изпълнимия файл и изгражда модел на неговото изпълнение, след което анализира граничните условия за възможни грешки. Grease може да се използва както самостоятелно, така и като плъгин за системата за обратна инженерна Ghidra.

Grease поддържа анализа на изпълними файлове ELF и динамични библиотеки, съдържащи код ARMv7l, PowerPC или x86_64, а също така може да анализира bitcode LLVM.

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

Източник: linux.org.ru