Hallo, LOR!
Galois Inc. heeft Grease gepresenteerd - een programma voor statische analyse van uitvoerbare bestanden en het zoeken naar kwetsbaarheden. Grease disassembleert het uitvoerbare bestand en bouwt een model van de uitvoering, waarna het grensvoorwaarden analyseert op mogelijke fouten. Grease kan zowel stand-alone als als plugin voor het reverse engineering systeem Ghidra.
Grease ondersteunt de analyse van uitvoerbare ELF-bestanden en dynamische bibliotheken die ARMv7l-, PowerPC- of x86_64-code bevatten, en kan ook LLVM-bitcode analyseren.
De code is geschreven in Haskell en wordt verspreid onder de BSD-3-licentie.
Bron: linux.org.ru
