Ahoj, LOR!
Spoločnosť Galois Inc. predstavila Grease – program na statickú analýzu vykonateľných súborov a vyhľadávanie v nich zraniteľností. Grease disassembluje vykonateľný súbor a vytvára model jeho vykonávania, následne analyzuje okrajové podmienky na prítomnosť možných chýb. Grease je možné používať samostatne, alebo ako plugin pre systém reverzného inžinierstva Ghidra.
Grease podporuje analýzu vykonateľných súborov ELF a dynamických knižníc obsahujúcich kód ARMv7l, PowerPC alebo x86_64, a tiež dokáže analyzovať bitcode LLVM.
Kód je napísaný v Haskelle a šíri sa pod licenciou BSD-3.
Zdroj: linux.org.ru
