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

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