Tere, LOR!
Galois Inc. tutvustas Grease'i – programmi, mis analüüsib staatilisi täidetavaid faile ja otsib nende haavatavusi. Grease disassembeldab täidetava faili ja koostab selle täitmismodell, mille järel analüüsitakse piire võimalike vigade osas. Grease'i saab kasutada nii iseseisvalt kui ka pistikprogrammina tagasiinseneritehnika süsteemi Ghidra.
Grease toetab ELF-formaadis täidetavate failide ja dünaamiliste raamatukogude analüüsi, mis sisaldavad ARMv7l, PowerPC või x86_64 koodi, ning suudab ka LLVM bitkoodi analüüsida.
Kood on kirjutatud Haskell keeles ja levitatakse BSD-3 litsentsi alusel.
Allikas: linux.org.ru
