Работа посвящена проблеме выявления опасных функциональных возможностей в программном обеспечении, функционирующем в составе киберфизических систем. Предложен подход к исследованию безопасности программного обеспечения, основанный на многовариантном динамическом анализе поведения программы в изолированном окружении с использованием методов машинного обучения и символьного выполнения. Разработаны методы, обеспечивающие увеличение покрытия исполняемого кода анализируемой программы с учетом его потенциальной опасности.