SPbCTF: 14 мая. Автоматический анализ

Встреча SPbCTF () Тимофей рассказал про символьное исполнение и показал, как решать бинарники с помощью z3, Ponce и angr.
Back to Top