Задача состоит в том, чтобы по данной программе (возможно, лишь в бинарном виде) определить:
1) портит ли она "полезные" данные (т.е. есть данные, которые она портить не должна)
2) передает ли она несанкционированным образом третьей стороне какие-либо данные
Примеры самоизменяющихся программ: вирусы
Синонимы: "полиморфный" код (то же, что и самоизменяющийся)
Сложность:
сложность постановки задачи (неточно сформулировано то, что надо проверять),
вычислительная сложность (проанализировать все пути выполнения)
Комментариев нет:
Отправить комментарий