soot.baf

Class BafASMBackend

java.lang.Object

soot.AbstractASMBackend

soot.baf.BafASMBackend

public class BafASMBackend
extends AbstractASMBackend

Concrete ASM based bytecode generation backend for the BAF intermediate representation

Author:

Tobias Hamann, Florian Kuebler, Dominik Helm, Lukas Sommer

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<Unit,Label>	branchTargetLabels
protected java.util.Map<Local,java.lang.Integer>	localToSlot

Fields inherited from class soot.AbstractASMBackend

cv, javaVersion, sc

Constructor Summary

Constructors

Constructor and Description
BafASMBackend(SootClass sc, int javaVersion) Creates a new BafASMBackend with a given enforced java version

Method Summary

Methods

Modifier and Type	Method and Description
protected void	generateInstruction(MethodVisitor mv, Inst inst) Emits the bytecode for a single Baf instruction
protected void	generateMethodBody(MethodVisitor mv, SootMethod method) Emits the bytecode for the body of a single method Has to be implemented by subclasses to suit their needs
protected Label	getBranchTargetLabel(Unit target) Returns the ASM Label for a given Unit that is the target of a branch or jump
protected int	getMinJavaVersion(SootMethod method) Determines the minimum Java version required for the bytecode of the given SootMethod Subclasses should override this method to suit their needs, otherwise Java 1.7 is assumed for compatibility with invokeDynamic

Methods inherited from class soot.AbstractASMBackend

generateAnnotationElems, generateAnnotations, generateAttributes, generateAttributes, generateAttributes, generateByteCode, generateClassFile, generateClassHeader, generateFields, generateInnerClassReferences, generateMethods, generateOuterClassReference, generateTextualRepresentation, getBafBody, getModifiers

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

branchTargetLabels

protected final java.util.Map<Unit,Label> branchTargetLabels

localToSlot

protected final java.util.Map<Local,java.lang.Integer> localToSlot

Constructor Detail

BafASMBackend

public BafASMBackend(SootClass sc,
             int javaVersion)

Creates a new BafASMBackend with a given enforced java version

Parameters:

sc - The SootClass the bytecode is to be generated for

javaVersion - A particular Java version enforced by the user, may be 0 for automatic detection, must not be lower than necessary for all features used

Method Detail

getBranchTargetLabel

protected Label getBranchTargetLabel(Unit target)

Returns the ASM Label for a given Unit that is the target of a branch or jump

Parameters:

target - The unit that is the branch target

Returns:

The Label that specifies this unit

getMinJavaVersion

protected int getMinJavaVersion(SootMethod method)

Description copied from class: AbstractASMBackend

Determines the minimum Java version required for the bytecode of the given SootMethod Subclasses should override this method to suit their needs, otherwise Java 1.7 is assumed for compatibility with invokeDynamic

Overrides:

getMinJavaVersion in class AbstractASMBackend

Parameters:

method - The SootMethod the minimum Java version is to be determined for

Returns:

The minimum Java version required for the given SootMethod

generateMethodBody

protected void generateMethodBody(MethodVisitor mv,
                      SootMethod method)

Description copied from class: AbstractASMBackend

Emits the bytecode for the body of a single method Has to be implemented by subclasses to suit their needs

Specified by:

generateMethodBody in class AbstractASMBackend

Parameters:

mv - The MethodVisitor to emit the bytecode to

method - The SootMethod the bytecode is to be emitted for

generateInstruction

protected void generateInstruction(MethodVisitor mv,
                       Inst inst)

Emits the bytecode for a single Baf instruction

Parameters:

mv - The ASM MethodVisitor the bytecode is to be emitted to

inst - The Baf instruction to be converted into bytecode