Java Binary Enhancement Tool (JBET) является общий анализ и манипуляции программа Java инструмент. Существующие файлы класса могут быть разобраны, собраны или изменить программно через API JBET. JBET также может быть использован для создания новых файлов класса Java с нуля. JBET использует удобный внутреннее представление всего содержимого Java бинарных (.class) файлы, что позволяет пользователю редактировать классы легко, в структурированном виде.
JBET был разработан в рамках DARPA Я -Protecting мобильные агенты проект в рамках программ OASIS и активных сетей (номер контракта N66001-00-C-8602) для изучения программного обеспечения автоматизированной запутывания.
язык Ява был выбран для этого проекта из-за (относительно) простота построения двоичных средства редактирования, предоставляемые большой объем информации типа, присутствующей в файлы классов. Наши два доклада, методы запутывания Отчет об оценке, и запутывание отчет, доступны со страницы загрузки. Запутывания инструмент, разработанный не является частью этого выпуска.
JBET был также использован в Survivable Project Server DARPA / AFRL (номер контракта F30602-00-С-0183), чтобы добавить дополнительные проверки безопасности в Java Стандартная библиотека. (Java API SecurityManager браузер не поддерживает многие желательные проверки безопасности, таких как продолжение разрешения доступ к файлам после открытия.)
JBET был использован для замены родных ссылки метод в стандартной библиотеке Java заглушками, которые требуют замены политики безопасности. Этот инструмент, называемый Jpolicy, также доступна для скачивания на этом сайте. Jpolicy очень неполным в это время, но может быть интересна тем, кто работает в сфере безопасности Java или изменения стандартную библиотеку себя.
Внутреннее представление файлов класса Java, используемых в JBET intented, чтобы сделать его легким для программистам писать Java двоичный код преобразования. Каждый элемент файлы классов Java имеет соответствующий внутренней структуры данных: ClassInfo для целых классов, MethodInfo методов, FieldInfo для полей, Snippit для блоков кода, и Инструкцией для отдельных команд. Snippit и Инструкция понять синтаксис кода операции Java и семантику, что позволяет автоматическое создание действительных программ Java. Java-совместимый класс проверяющий также включен.
Некоторые код преобразования трудно запрограммировать непосредственно манипулирования инструкции Java. Для тех преобразований, ориентированный ациклический граф (DAG) представление кода имеется. В представлении DAG, каждый базовый блок имеет соответствующий DAG, с набором входных и выходных узлов. Края в графе подключения «производитель» узлы (например, констант, или результат вычислений) на "пользователь" узлы (такие как вызовы методов или других расчетов). Методы делятся на базовые блоки и поток управления сохраняется на базовом уровне блока (возможно, потому что Java лишь фиксируется прыжок цели)
JBET требуется Java 1.4 виртуальную машину для запуска, хотя он может работать от класса файлы из более ранних версий Java. Упаковка и построить среду поставляется поддерживает Linux и Windows, с Cygwin; Однако, процесс сборки проста и может быть выполнена вручную и на других платформах. Perl необходим для регрессионного тестирования.
Jpolicy требует Java 1.4 виртуальную машину, чтобы построить, либо Linux или Windows NT / XP с Cygwin. GCC требуется для строительства на Windows (поставляется с Cygwin). Исполняющая система может быть либо Java 1.3 или 1.4 (только JVM Солнца), работает на Linux или Windows NT / XP. Windows 9x и Windows 2000 может работать как хорошо, но не были испытаны.
Установка
1. Установите JDK 1.4.1.
2. Установите путь к классам jdk1.4.1 / JRE / Lib / rt.jar
3. CD ДЗО; сделать
4. Если это не работает, проверьте Makefile. Java или Javac не может быть в пути.
5. Чтобы построить файл фляги, которые могут быть использованы с "Java -jar jbet.jar", запустить "сделать банку".
6. Если у вас установлен Perl, запускать тесты с "сделать тест"
Необязательно, бежать. "Сделать регенерацию; сделать тест"
сделать символическую ссылку из jbet3 / бен / JBET где-то. на вашем пути.
Использование
JBET использует формат JNI для имен классов и типов JNI и описания методов. Для описания этого синтаксиса, используйте 'JBET справки синтаксис ". JVM спецификации Sun может также быть полезным.
смотреть на разборки класса, используйте 'JBET печать ". Попробуйте разборки класс у вас есть источник для, и был построен с отладочной информацией (-g): «JBET -P <путь к классам> печать <имя-класса>". JVM спецификации Sun имеет ссылку на инструкцию.
Комментарии не найдены