Это невозможно, нет. Компьютеры не способны на такого рода сложные рассуждения о возможном поведении программы (см., Например, Проблема остановки , которая показывает, что алгоритм не может даже определить, завершится ли данная программа sh Бег). Только человек, осуществивший обратное проектирование программного обеспечения вручную, мог сделать такое определение, что было бы очень трудоемким процессом для приложения даже средней сложности.