бинарного кода с помощью Data Flow Analysis?!
Прошерстил интернет, не смог найти что-то вразумительное 🤔
А нужен именно Data Flow Analysis, и ни в коем случае не Abstract Interpretation?
Мы в своё время делали такое: https://www.ispras.ru/proceedings/isp_32_2020_6/isp_32_2020_6_101/?sphrase_id=5503065 Как сейчас проект развивается, не знаю, когда я им ещё занимался, были планы на опенсорс. UPD: даже сайт с API докой поднимали, https://glassfrog.org/ Ещё был вот такой проект от АНБ: https://github.com/NationalSecurityAgency/ghidra
Ох, мир тесен! Ни один год провёл в этом институте 😅 Большое спасибо за наводку 👍
Обсуждают сегодня