Compilação para bytecode java (sem o uso de Java)

StackOverflow https://stackoverflow.com/questions/688098

Pergunta

A minha classe compiladores é a criação de uma linguagem que se pretende compilar para Java bytecode. Fizemos muitos progressos e nos aproximando do momento em que é hora para a geração de código.

Estamos tendo problemas para localizar informações sobre como criar arquivos .class do nosso compilador. Você tem recursos que podem nos dar alguma ajuda? Nós já temos muita documentação sobre o conjunto de instruções, mas a informação precisa sobre como preencher diretamente o arquivo de classe / escrita de hex.

Não precisamos de informações ou sugestões sobre Decompiling os arquivos .class.

Mesmo um exemplo simples de escrever um arquivo .class a partir do zero seria excelente.

A especificação JVM não é o que estamos procurando. O que realmente precisamos é um exemplo ou um passo a passo.

Foi útil?

Solução

O VM Spec: A classe File Format eo o Java Conjunto de instruções de máquina virtual deve fazê-lo.

Você pode olhar para o Código Engenharia Biblioteca Byte ( BCEL ) para alguma inspiração, bem como < a href = "http://findbugs.sourceforge.net/" rel = "noreferrer"> Findbugs (tem de ler / entender arquivos de classe).

Outras dicas

Há uma série de projetos lá fora, que fornece uma interface de alto nível para a criação de arquivos de classe Java sem você ter que escrever os arquivos de classe si mesmo. Dê uma olhada no seguinte:

Todos fornecer uma API para criar arquivos de classe. Você pode sempre olhar para o código que tenho escrito para fazer isso e escrever um código semelhante para o seu compilador, embora eu imagino que é uma quantidade justa de trabalho.

Com BCEL dar uma olhada em ClassGen, que deverá permitir-lhe para escrever arquivos de classe no formato que você quer, um simples exemplo a seguir: 

ClassGen cg = new ClassGen("HelloWorld", "java.lang.Object",
                             "<generated>", ACC_PUBLIC | ACC_SUPER,
                             null);

Me desculpe desapontá-lo, mas o VM especificações são exatamente que você está depois. Se você não consegue lidar com as especificações, então talvez você não deveria estar escrevendo compiladores depois de tudo.

Eu acho que você pode tentar usar as ferramentas existentes e examinar o efeito das mudanças incrementais para o bytecode resultante.

Fonte: 

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

javap saída: 

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                                          _____

O JVM especificação é provavelmente o que você está procurando, e em particular Capítulo 4 -. o formato de arquivo de classe

SmartEiffel contém uma fonte java aberta .class gerador de arquivo.

http://smarteiffel.loria.fr/

Licenciado em: CC-BY-SA com atribuição
Não afiliado a StackOverflow
scroll top