AI avtomatizirano "hackanje"

fiction je 12. sep 2018 ob 19:40 izjavil:

Po domače: za "napad" s pomočjo fuzzinga iščeš razne poti po programu. To lahko delaš direktno tako da velikokrat izvejaš program z različnimi vhodi, lahko pa poskusiš kodo pretvoriti v nekaj kar bolje razumeš in potem simuliraš izvajanje (kar je mnogo hitreje). Če razumeš da je nekje "if" lahko poskusiš rešiti "constrainte" in v končni fazi izračunaš pri kakšen vhodu gre v eno vejo in pri kakšnem v drugo. Cilj je najti neko ranljivo "vozlišče" v tem drevesu. To lahko pomeni, da z vhodom vplivaš na vsebino programskega števca (npr. klasišen buffer overflow) ali pa da ti uspe leakati nek flag, ki je na določenem naslovu v pomnilniku. "Obramba" so klasiščni anti-debugging triki, stack canary, CFI itd. Je pa spet dobro imeti nek high-level "decompilan" pogled na binary, ker tako lahko lažje patchas vse skupaj.