Download do maple ir - maple ir do download do código fonte

maple ir

Outras categorias

1.0.0

Baixar

Maple-Ir

O Maple-IR é uma estrutura de análise estática baseada em IR industrial para Java Bytecode. Atualmente, ele implementa análises baseadas em forma de SSA, bem como construção e destruição de bytecode para IR. A cadeia de ferramentas pega a entrada do bytecode, eleva -a para a SSA IR, transforma o IR e recompila de volta ao bytecode. Isso é feito executando simbolicamente cada método enquanto simula a pilha, semelhante a como os raios hexadecimais binários Ninja ou Ida Pro operam. A análise intraprocedural de fluxo de dados é totalmente implementada e também são implementadas otimizações como dobragem constante e propagação de cópias. Um exportador CFG GraphViz também está disponível; Veja abaixo para exemplos.

Maple-IR não está em desenvolvimento ativo. É em hiato indefinidamente, embora as contribuições do código sejam bem -vindas. Faça perguntas, comentários e problemas no rastreador de questões.

O Maple-IR em sua forma atual ainda não está pronto para produção, embora possa ser feito com pouco esforço.

Se você usar o Maple-Ir, informe-nos! Gostaríamos muito de ouvir sobre quaisquer projetos legais para os quais você o use.

LLVM, mas pior!

"É como LLVM, mas pior."

Características

Java ByteCode (baseado em pilha de prefixos) para a SSA IR (infix ast)
SSA IR to Bytecode Remofly
Visual (GraphViz) e impressora bonita de texto
Entrada de texto para análise de infravermelho; IR-Humano-editável ( planejado )

Filosofia

Entre e permaneça no IR, resumo longe de detalhes específicos do ASM/JVM
Transforme o IR, então remonte o código Deobfuscated
Buscar correção semântica

Capturas de tela e exemplos

Aqui está a visualização do GraphViz para o IR otimizado e destruído (pós-SSA) para o seguinte código:

 void test130 () {
    int x = 5 ;
    int y = 10 ;

    do {
        try {
            trap ( x , y );
            y = x ;
            trap ( x , y );
            y = 123 ;
        } catch ( RuntimeException e ) {
            do {
                trap ( x , y );
                int z = y ;
                trap ( x , y );
                y = x ;
                trap ( x , y );
                x = z ;
                trap ( x , y );
            } while (! p ());
        }
    } while ( p ());

    System . out . println ( x );
    System . out . println ( y );
}

Exemplo de saída

Aqui está uma função mais desagradável, na forma SSA otimizada, retirada do decompilador de Fernflower:

Detalhes técnicos

A destruição da SSA é implementada usando os métodos de Sreedhar et al. e Boissinot et al. O destruidor de Boissinot é atualmente o destruidor padrão. A construção da SSA é implementada com base em um algoritmo de varredura linear rápido de 1 passagem com base no método de Cytron et al. Usando fronteiras de dominância. Para mais detalhes, consulte SsagenPass.java. A destruição do bytecode é complicada em Java devido a intervalos de exceção. Além disso, linearizando o gráfico de fluxo de controle (CFG) de maneira simples é difícil devido ao ninho de loop. A linearização é tratada aplicando recursivamente o algoritmo de componentes superconnectados de Tarjan. As tabelas de exceção para cada método são descartadas e regeneradas com base na estrutura do gráfico de fluxo de controle. Para mais detalhes, consulte ControlFlowGraphDumper.

Para mais detalhes, consulte o Whitepaper.

Advertências

A análise interprocedural não foi totalmente implementada (é difícil).
Muitos dos passes de RI não foram projetados com javac em mente. Isso significa que, por exemplo, finally os blocos são processados corretamente, embora não perfeitamente.

Compilação

Para construir:

 mvn clean compile test package

A construção produzirá dois frascos, um com dependências incluídas ( mapleir-full.jar ) e um sem ( mapleir-full-with-deps.jar ). Você também pode usar cada módulo individualmente.

Então, opcionalmente: