|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Ramazan Jah-Far 2:5020/400 09 Jan 2003 18:44:37
To : Valentin Nechayev
Subject : Re: декомпиляция
--------------------------------------------------------------------------------
Hi!
In fido7.ru.linux, Valentin Nechayev wrote:
VN>>> Как раз вычисление прообраза - задача
VN>>> на сейчас совершенно неалгоритмизируемая.
RJF>> Hеправда. Легчайше алгоритмизуемая.
VN> Слова "на сейчас" подразумевали наличие решения, работающего при
VN> доступных сейчас ресурсах.
Кстати, я тоже выражаюсь недостаточно чётко. По-нормальному,
прежде всего нужно определиться с понятиями, наложить некоторые
ограничения чтобы задача была формализуема и т.п. :)
В частности, я предполагал, что известно конечное множество
компиляторов, которыми мог быть сгенерирован код. Тогда перебором
исходных текстов с последующей прогонкой через компиляторы и
сравнением с машинным кодом можно найти пробраз. Правда, если
данный машинный код невозможно получить компиляцией C source,
перебор не завершится никогда. /* если бы можно было доказать
существование такого k, что для машинного кода длиной в X байт
всегда найдётся C source прообраз не длинее kX байт, - :) */
Да, у этого метода есть ещё грабли - компиляторы могут зависать
(зацикливаться) на некоторых исходных текстах.
Также прообраз можно искать, пытаясь обратить работу VM,
выполнявшей код компилятора - такое обращение неоднозначно
(неоднозначно обращение переходов, арифметических операций и
перебор финальных значений переменных - на момент выхода из
области видимости). Кроме того я не знаю, есть ли вообще
теоретические исследования на эту тему... Этот метод
уже не реализуется "легчайше".
Вероятно, есть ещё какие-нибудь алгоритмизуемые методы...
P.S. приношу свои извинения за оффтопик
--
Bye!
Ramazan
--- ifmail v.2.15dev5
* Origin: Svit Online (post does not reflect views of Golden Tele (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
