Examples of dk.brics.string.java.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

Examples of dk.brics.string.java.Jimple2Intermediate

Related Classes of dk.brics.string.java.Jimple2Intermediate