Ciao, LOR!
L'azienda Galois Inc. ha presentato Grease – un programma per l'analisi statica di file eseguibili e la ricerca di vulnerabilità. Grease disassembla il file eseguibile e costruisce un modello della sua esecuzione, dopodiché analizza le condizioni dei limiti alla ricerca di possibili errori. È possibile utilizzare Grease sia in modo autonomo che come plugin per il sistema di reverse engineering Ghidra.
Grease supporta l'analisi di file eseguibili ELF e librerie dinamiche contenenti codice ARMv7l, PowerPC o x86_64, e può anche analizzare il bitcode LLVM.
Il codice è scritto in Haskell e distribuito con licenza BSD-3.
Fonte: linux.org.ru
