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

Представлены материалы для исследования процесса сертификации программного обеспечения. Приведены основные теоретические сведения, необходимые для проведения динамического анализа кода, а также описание процесса использования программного обеспечения, предназначенного для выполнения данного вида анализа. Для студентов МГТУ им. Н.Э. Баумана, обучающихся по специальностям «Компьютерная безопасность», «Информационная безопасность телекоммуникационных систем», «Информационная безопасность автоматизированных систем», «Противодействие техническим разведкам».