GREASE: Herramienta de código abierto para encontrar errores en binarios
GREASE es una herramienta de código abierto que aprovecha la ejecución simbólica subrestringida para ayudar a los ingenieros inversos a encontrar errores difíciles de detectar en código binario, mejorando la seguridad del sistema. Admite varias arquitecturas y formatos, integrándose con Ghidra, funcionando como una herramienta de línea de comandos independiente o una biblioteca Haskell. GREASE analiza funciones ejecutándolas con registros totalmente simbólicos, refinando iterativamente las precondiciones simbólicas utilizando heurísticas cuando ocurren errores. Si bien existen limitaciones, como posibles falsos positivos y negativos, GREASE ayuda significativamente a mejorar la seguridad del software, especialmente al analizar software COTS disponible solo en formato binario.