Hallo, LOR!
Das Unternehmen Galois Inc. hat Grease vorgestellt – ein Programm zur statischen Analyse von ausführbaren Dateien und zur Suche nach Schwachstellen. Grease disassembliert die ausführbare Datei und erstellt ein Modell ihrer Ausführung, danach analysiert es Grenzbedingungen auf mögliche Fehler. als Plugin für das Rückentwicklungs-System Ghidra..
Grease unterstützt die Analyse von ELF ausführbaren Dateien und dynamischen Bibliotheken, die ARMv7l, PowerPC oder x86_64 Code enthalten, und kann auch LLVM Bitcode analysieren.
Der Code ist in Haskell geschrieben und wird unter der BSD-3-Lizenz verbreitet.
Quelle: linux.org.ru
