Компилировать в байт-код Java (без использования Java) - PullRequest
Новая
       13

Компилировать в байт-код Java (без использования Java)

19 голосов
/ 27 марта 2009

Мой класс компиляторов создает язык, который мы намереваемся скомпилировать в байт-код Java. Мы добились большого прогресса и приближаемся ко времени, когда пришло время для генерации кода.

У нас проблемы с поиском информации о том, как создавать файлы .class из нашего компилятора. Есть ли у вас какие-либо ресурсы, которые могут оказать нам некоторую помощь? У нас уже есть много документации по набору инструкций, но нам нужна информация о том, как напрямую заполнить файл класса / написание шестнадцатеричного кода.

Нам не нужна информация или предложения по декомпиляции файлов .class.

Даже простой пример написания файла .class с нуля был бы превосходным.

Спецификация JVM - это не то, что нам нужно. Что нам действительно нужно, так это пример или пошаговое руководство.

Ответы [ 6 ]

9 голосов
/ 27 марта 2009

Существует целый ряд проектов, которые предоставляют высокоуровневый интерфейс для создания файлов классов Java без необходимости писать файлы классов самостоятельно. Взгляните на следующее:

Все предоставляют API для создания файлов классов. Вы всегда можете посмотреть на код, который они написали, чтобы сделать это, и написать некоторый подобный код для вашего компилятора, хотя я мог бы представить, что это изрядная работа

С BCEL взгляните на ClassGen, который должен позволить вам записывать файлы классов в нужном формате, простой пример: 

ClassGen cg = new ClassGen("HelloWorld", "java.lang.Object",
                             "<generated>", ACC_PUBLIC | ACC_SUPER,
                             null);
9 голосов
/ 27 марта 2009

Спецификация виртуальной машины: Формат файла класса и Набор инструкций виртуальной машины Java должен это сделать.

Вы можете обратиться к Библиотеке инженерии байтных кодов ( BCEL ) за вдохновением, а также Findbugs (она должна читать / понимать файлы классов).

6 голосов
/ 27 марта 2009

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

4 голосов
/ 27 марта 2009

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

Источник: 

public class Hello {
        public static void main(String[] args) {
                System.out.println("H");
        }
}

javap вывод: 

Compiled from "Hello.java"
public class Hello extends java.lang.Object{
public Hello();
  Code:
   0:   aload_0
   1:   invokespecial   #1; //Method java/lang/Object."<init>":()V
   4:   return

public static void main(java.lang.String[]);
  Code:
   0:   getstatic       #2; //Field java/lang/System.out:Ljava/io/PrintStream;
   3:   ldc     #3; //String H
   5:   invokevirtual   #4; //Method java/io/PrintStream.println:(Ljava/lang/String;)V
   8:   return

}

Binary: 

CA FE BA BE 00 00 00 32 00 1D 0A 00 06 00 0F 09         _______2________
00 10 00 11 08 00 12 0A 00 13 00 14 07 00 15 07         ________________
00 16 01 00 06 3C 69 6E 69 74 3E 01 00 03 28 29         _____<init>___()
56 01 00 04 43 6F 64 65 01 00 0F 4C 69 6E 65 4E         V___Code___LineN
75 6D 62 65 72 54 61 62 6C 65 01 00 04 6D 61 69         umberTable___mai
6E 01 00 16 28 5B 4C 6A 61 76 61 2F 6C 61 6E 67         n___([Ljava/lang
2F 53 74 72 69 6E 67 3B 29 56 01 00 0A 53 6F 75         /String;)V___Sou
72 63 65 46 69 6C 65 01 00 0A 48 65 6C 6C 6F 2E         rceFile___Hello.
6A 61 76 61 0C 00 07 00 08 07 00 17 0C 00 18 00         java____________
19 01 00 01 48 07 00 1A 0C 00 1B 00 1C 01 00 05         ____H___________
48 65 6C 6C 6F 01 00 10 6A 61 76 61 2F 6C 61 6E         Hello___java/lan
67 2F 4F 62 6A 65 63 74 01 00 10 6A 61 76 61 2F         g/Object___java/
6C 61 6E 67 2F 53 79 73 74 65 6D 01 00 03 6F 75         lang/System___ou
74 01 00 15 4C 6A 61 76 61 2F 69 6F 2F 50 72 69         t___Ljava/io/Pri
6E 74 53 74 72 65 61 6D 3B 01 00 13 6A 61 76 61         ntStream;___java
2F 69 6F 2F 50 72 69 6E 74 53 74 72 65 61 6D 01         /io/PrintStream_
00 07 70 72 69 6E 74 6C 6E 01 00 15 28 4C 6A 61         __println___(Lja
76 61 2F 6C 61 6E 67 2F 53 74 72 69 6E 67 3B 29         va/lang/String;)
56 00 21 00 05 00 06 00 00 00 00 00 02 00 01 00         V_!_____________
07 00 08 00 01 00 09 00 00 00 1D 00 01 00 01 00         ________________
00 00 05 2A B7 00 01 B1 00 00 00 01 00 0A 00 00         ___*____________
00 06 00 01 00 00 00 01 00 09 00 0B 00 0C 00 01         ________________
00 09 00 00 00 25 00 02 00 01 00 00 00 09 B2 00         _____%__________
02 12 03 B6 00 04 B1 00 00 00 01 00 0A 00 00 00         ________________
0A 00 02 00 00 00 03 00 08 00 04 00 01 00 0D 00         ________________
00 00 02 00 0E                                          _____
2 голосов
/ 27 марта 2009

Спецификация JVM , вероятно, то, что вы ищете, и в частности глава 4 - формат файла класса .

1 голос
/ 27 марта 2009

SmartEiffel содержит генератор файлов Java .class с открытым исходным кодом.

http://smarteiffel.loria.fr/

...