Ciao, LOR!
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 al contorno per individuare possibili errori. Grease può essere utilizzato sia in modo indipendente, sia 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 bitcode LLVM.
Il codice è scritto in Haskell e distribuito con licenza BSD-3.
Fonte: linux.org.ru
