GREASE: Ferramenta de código aberto para encontrar bugs em binários

GREASE é uma ferramenta de código aberto que utiliza execução simbólica sub-restrita para ajudar engenheiros reversos a encontrar bugs difíceis de detectar em código binário, melhorando a segurança do sistema. Suporta várias arquiteturas e formatos, integrando-se ao Ghidra, funcionando como uma ferramenta de linha de comando autônoma ou uma biblioteca Haskell. GREASE analisa funções executando-as com registradores totalmente simbólicos, refinando iterativamente as premissas simbólicas usando heurísticas quando ocorrem erros. Embora existam limitações, como potenciais falsos positivos e negativos, GREASE auxilia significativamente na melhoria da segurança de software, particularmente ao analisar software COTS disponível apenas em forma binária.