Salut, LOR!
Compania Galois Inc. a lansat Grease – un program pentru analiza statică a fișierelor executabile și căutarea vulnerabilităților în acestea. Grease dezasamblează fișierul executabil și construiește un model al execuției sale, apoi analizează condițiile limită pentru posibile erori. Grease poate fi folosit atât separat, cât și ca un plugin pentru sistemul de inginerie inversă Ghidra.
Grease suportă analiza fișierelor executabile ELF și bibliotecilor dinamice care conțin cod ARMv7l, PowerPC sau x86_64, precum și poate analiza bitcode LLVM.
Codul este scris în limbajul Haskell și este distribuit sub licența BSD-3.
Sursa: linux.org.ru
