http://0x1.tv/20191115CA
Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019)
Александр Герасимов
-------------
Обзор текущего состояния исследований и разработок в области автоматического анализа программ с учётом опыта разработки и применения инструментов автоматического анализа программ на наличие ошибок и уязвимостей безопасности.