авторДаниил КуцДинамический анализ программного обеспечения методами фаззинга и символьного исполнения