Téléchargement maple ir - Téléchargement du code source maple ir

maple ir

Autres catégories

1.0.0

Télécharger

Érable-ir

Maple-IR est un cadre d'analyse statique basé sur IR industriel pour les bytecode Java. Actuellement, il met en œuvre une analyse basée sur la forme SSA ainsi que la construction et la destruction de Bytecode à IR. La chaîne d'outils prend l'entrée bytecode, le soulève vers SSA IR, transforme l'IR, puis recompile vers le bas en bytecode. Cela se fait en exécutant symboliquement chaque méthode lors de la simulation de la pile, similaire à la fonctionnalité des rayons hexadécimaux ninja binaire ou IDA Pro. L'analyse intraprocédurale des données de données est entièrement mise en œuvre, et des optimisations telles que le pliage constant et la propagation de copie sont également implémentées. Un exportateur CFG Graphviz est également disponible; Voir ci-dessous pour des exemples.

Maple-IR n'est pas en développement actif. Il est indéfiniment sur la pause, bien que les contributions du code soient les bienvenues. Veuillez déposer des questions, des commentaires et des problèmes sur le tracker du problème.

Maple-IR dans sa forme actuelle n'est pas encore prêt pour la production, bien qu'il puisse être fait avec peu d'effort.

Si vous utilisez Maple-IR, faites-le nous savoir! Nous serions ravis d'entendre parler de tous les projets sympas pour lesquels vous l'utilisez.

LLVM mais pire!

"C'est comme LLVM, mais pire."

Caractéristiques

Java bytecode (préfixe-basé sur la pile) vers SSA IR (Infix AST)
SSA IR à Bytecode Reasmembly
Visual (graphviz) et texte jolie imprimante
Entrée de texte pour l'analyse IR; IR éditable par l'homme ( planifié )

Philosophie

Entrez IR et restez dans IR, abstrait des détails spécifiques à l'ASM / JVM
Transformez l'IR puis réassemblez le code désobfuscié
Visez l'exactitude sémantique

Captures d'écran et exemples

Voici la visualisation GraphViz pour l'IR optimisé, détruit (post-SSA) pour le code suivant:

 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 );
}

Exemple de sortie

Voici une fonction plus méchante, sous forme SSA optimisée, tirée du décompilateur Fernflower:

Détails techniques

La destruction de la SSA est mise en œuvre en utilisant les méthodes de Sreedhar et al. et Boisinot et al .. Le destructeur BoisSinot est actuellement le destructeur par défaut. La construction de SSA est mise en œuvre sur la base d'un algorithme de balayage linéaire rapide à 1 pass librement basé sur la méthode de Cytron et al. Utilisation des frontières de dominance. Pour plus de détails, voir ssagenpass.java. La destruction de Bytecode est délicate en Java en raison des gammes d'exception. De plus, la linéarisation du graphique de flux de contrôle (CFG) de manière simple est difficile en raison de la nidification de boucle. La linéarisation est gérée en appliquant récursivement l'algorithme des composants superconnectés de Tarjan. Les tables d'exception pour chaque méthode sont jetées et régénérées en fonction de la structure du graphique de flux de contrôle. Pour plus de détails, voir ControlFlowGraphDumper.

Pour plus de détails, consultez le livre blanc.

Mises en garde

L'analyse interprocédurale n'a pas été pleinement mise en œuvre (c'est difficile).
Beaucoup de passes IR n'étaient pas conçues en pensant à javac . Cela signifie, par exemple, les blocs finally traités correctement, mais pas soigneusement.

Compilation

Pour construire:

 mvn clean compile test package

La construction produira deux pots, un avec des dépendances incluses ( mapleir-full.jar ) et une sans ( mapleir-full-with-deps.jar ). Vous pouvez également utiliser chaque module individuellement.

Ensuite, éventuellement: