¡Hola, LOR!
La empresa Galois Inc. ha presentado Grease, un programa para el análisis estático de archivos ejecutables y la búsqueda de vulnerabilidades en ellos. Grease desensambla el archivo ejecutable y construye un modelo de su ejecución, luego analiza las condiciones límite en busca de posibles errores. Se puede utilizar Grease tanto de forma independiente como complemento de el sistema de ingeniería inversa Ghidra.
Grease admite el análisis de archivos ejecutables ELF y bibliotecas dinámicas que contienen código ARMv7l, PowerPC o x86_64, y también puede analizar bitcode LLVM.
El código está escrito en Haskell y se distribuye bajo la licencia BSD-3.
Fuente: linux.org.ru
