Автоматический реверс-инжиниринг с помощью символьного исполнения

Вова https://t.me/KillingInTheNameOf расскажет про математическую магию, с которой любая компьютерная программа превращается в набор формальных утверждений. А с ними мы можем подтверждать что программа работает как было задумано. Ну, или... опровергать теоремы и находить уязвимости! Запись митапа 02.11.2025, прошедшего в томском хакспейсе Akiba. Сайт: https://akiba.space Telegram: https://t.me/akiba_space Чат: https://akiba.space/chat p.s. сорян за фризы картинки, интернет в хакспейсе в этот раз не вывез 1080p, будем фиксить стрим и делать запись локально, а не с ютуба выгружать