Cześć, LOR!
Firma Galois Inc. zaprezentowała Grease – program do analizy statycznej plików wykonywalnych i wykrywania w nich luk. Grease dezasembluje plik wykonywalny i buduje model jego wykonania, a następnie analizuje warunki brzegowe pod kątem możliwych błędów. Grease można używać zarówno samodzielnie, jak i jako wtyczkę do systemu inżynierii odwrotnej Ghidra.
Grease obsługuje analizę plików wykonywalnych ELF oraz bibliotek dynamicznych zawierających kod ARMv7l, PowerPC lub x86_64, a także może analizować bitcode LLVM.
Kod został napisany w języku Haskell i jest udostępniany na licencji BSD-3.
Źródło: linux.org.ru
