Olá, LOR!
A Galois Inc. apresentou o Grease – um software para a análise estática de arquivos executáveis e identificação de vulnerabilidades. O Grease desmonta o arquivo executável e constrói um modelo de sua execução, após o qual analisa as condições de limite em busca de possíveis erros. O Grease pode ser utilizado tanto de forma independente quanto como um plugin para o sistema de engenharia reversa Ghidra.
O Grease suporta a análise de arquivos executáveis ELF e bibliotecas dinâmicas que contêm código ARMv7l, PowerPC ou x86_64, e também pode analisar bitcode LLVM.
O código é escrito na linguagem Haskell e distribuído sob a licença BSD-3.
Fonte: linux.org.ru
