Bonjour, LOR !
La société Galois Inc. a présenté Grease, un programme d'analyse statique des fichiers exécutables et de recherche de vulnérabilités. Grease désassemble le fichier exécutable et construit un modèle de son exécution, puis analyse les conditions limites à la recherche d'éventuelles erreurs. Grease peut être utilisé de manière autonome ou comme plugin pour le système de rétro-ingénierie Ghidra.
Grease prend en charge l'analyse des fichiers exécutables ELF et des bibliothèques dynamiques contenant du code ARMv7l, PowerPC ou x86_64, et peut également analyser le bitcode LLVM.
Le code est écrit en Haskell et est distribué sous la licence BSD-3.
Source : linux.org.ru
