Examples of Jimple2Intermediate

dk.brics.string.java.Jimple2Intermediate

Converter from Jimple code to intermediate representation.

Basic rundown of the translation process:

Create intermediate {@link Method} objects with empty bodies for eachmethod in the application.
Create the wrapper method, which is a special method that calls all externally visible methods with corrupt/unknown arguments.
Create methods modelling the toString-method for each application class.
Translate the method bodies from jimple into intermediate code.

The first three steps are handled by this class, while the fourth and most complicated step is delegated to several other classes. See {@link MethodTranslator} for an overview how how step four is executed. @see dk.brics.string.StringAnalysis @see MethodTranslator

        diagnostics.analysisStarted();


        //
        //  Create intermediate code
        //
        jt = new Jimple2Intermediate(new Jimple2IntermediateFactoryImpl(externallyVisible, taintAnalysisStrategy, staticStringTypes, resolvers));
        Application app = jt.translateApplicationClasses(hotspots);
        Map<ValueBox, Statement> m1 = jt.getTranslationMap();
        num_exps = m1.size() + jt.getNumberOfExpsSkipped();
        
        // release memory

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.

Examples of Jimple2Intermediate

Examples of dk.brics.string.java.Jimple2Intermediate