Вероника Антонова Динамический анализ программного обеспечения методами фаззинга и символьного исполнения Подробнее