Italian Hacker Camp

02/08/2018 14:00 05/08/2018 12:00

--IHC--

Condividi

Talk e laboratori

Lo schedule sarà disponibile a breve.
Per partecipare all'evento ricordati di REGISTRARTI!

Non ti arrabbiare: analisi automatica di binari con Angr

  • abiondo, babush
  • 03/08/2018 21:21
  • 1 ora 50 minuti
  • LAB

L’esecuzione simbolica è una delle tecniche più efficaci ed in voga nell’analisi di binari. Grazie ad essa è possibile creare una rappresentazione astratta di un programma in funzione dei suoi input. Questo ci permette di capire come esso risponda agli input, dandoci la possibilità di formularne automaticamente di nuovi per raggiungere specifici punti di interesse (es.: bypassare un controllo o causare l’overflow di un buffer). Questo laboratorio mira a dare un’introduzione ad Angr, il principal...