Modifier and Type	Class and Description
private static class	SsaToRop.PhiVisitor Helper for `removePhiFunctions`: PhiSuccessorUpdater for adding move instructions to predecessors based on phi insns.

Modifier and Type	Field and Description
private static final boolean	DEBUG local debug flag
private final InterferenceGraph	interference `non-null;` interference graph
private final boolean	minimizeRegisters `true` if the converter should attempt to minimize the rop-form register count
private final SsaMethod	ssaMeth `non-null;` method to process

Access	Constructor and Description
private	SsaToRop(SsaMethod `non-null;` method to process ssaMethod, boolean `true` if the converter should attempt to minimize the rop-form register count minimizeRegisters) Constructs an instance.

Method Summary

Modifier and Type	Method and Description
private RopMethod	Returns: `non-null;` rop-form output convert() Performs the conversion.
private BasicBlock	Returns: `non-null;` ROP block convertBasicBlock(SsaBasicBlock SSA block to process block) Converts a single basic block to rop form.
private BasicBlockList	Returns: rop-form basic block list convertBasicBlocks()
private InsnList	Returns: `non-null;` immutable instruction list convertInsns(ArrayList<SsaInsn> `non-null;` old instructions ssaInsns) Converts an insn list to rop form.
public static RopMethod	Returns: `non-null;` rop-form output convertToRopMethod(SsaMethod `non-null;` method to process ssaMeth, boolean `true` if the converter should attempt to minimize the rop-form register count minimizeRegisters) Converts a method in SSA form to ROP form.
public int[]	Returns: a list of registers ordered by most-frequently-used to least-frequently-used. Each register is listed once and only once. getRegistersByFrequency() Note This method is not presently used.
private void	moveParametersToHighRegisters() Moves the parameter registers, which allocateRegisters() places at the bottom of the frame, up to the top of the frame to match Dalvik calling convention.
private void	removeEmptyGotos() Removes all blocks containing only GOTOs from the control flow.
private void	removePhiFunctions() See Appel 19.6.
private void	verifyValidExitPredecessor(SsaBasicBlock `non-null;` block to validate b) Validates that a basic block is a valid end predecessor.

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

DEBUG	back to summary
private static final boolean DEBUG local debug flag

interference	back to summary
private final InterferenceGraph interference `non-null;` interference graph

minimizeRegisters	back to summary
private final boolean minimizeRegisters `true` if the converter should attempt to minimize the rop-form register count

ssaMeth	back to summary
private final SsaMethod ssaMeth `non-null;` method to process

Constructor Detail

SsaToRop back to summary

SsaToRop	back to summary
private SsaToRop(SsaMethod ssaMethod, boolean minimizeRegisters) Constructs an instance. Parameters ssaMethod:SsaMethod `non-null;` method to process minimizeRegisters:boolean `true` if the converter should attempt to minimize the rop-form register count

private SsaToRop(SsaMethod ssaMethod, boolean minimizeRegisters)

Constructs an instance.

Parameters

ssaMethod:SsaMethod: non-null; method to process
minimizeRegisters:boolean: true if the converter should attempt to minimize the rop-form register count

Method Detail

convert back to summary

convert	back to summary
private RopMethod convert() Performs the conversion. Returns:RopMethod `non-null;` rop-form output

private RopMethod convert()

Performs the conversion.

Returns:RopMethod: non-null; rop-form output

convertBasicBlock back to summary

convertBasicBlock	back to summary
private BasicBlock convertBasicBlock(SsaBasicBlock block) Converts a single basic block to rop form. Parameters block:SsaBasicBlock SSA block to process Returns:BasicBlock `non-null;` ROP block

private BasicBlock convertBasicBlock(SsaBasicBlock block)

Converts a single basic block to rop form.

Parameters

block:SsaBasicBlock: SSA block to process

Returns:BasicBlock

non-null; ROP block

convertBasicBlocks	back to summary
private BasicBlockList convertBasicBlocks() Returns:BasicBlockList rop-form basic block list

convertInsns back to summary

convertInsns	back to summary
private InsnList convertInsns(ArrayList<SsaInsn> ssaInsns) Converts an insn list to rop form. Parameters ssaInsns:ArrayList<SsaInsn> `non-null;` old instructions Returns:InsnList `non-null;` immutable instruction list

private InsnList convertInsns(ArrayList<SsaInsn> ssaInsns)

Converts an insn list to rop form.

Parameters

ssaInsns:ArrayList<SsaInsn>: non-null; old instructions

Returns:InsnList

non-null; immutable instruction list

convertToRopMethod back to summary

convertToRopMethod	back to summary
public static RopMethod convertToRopMethod(SsaMethod ssaMeth, boolean minimizeRegisters) Converts a method in SSA form to ROP form. Parameters ssaMeth:SsaMethod `non-null;` method to process minimizeRegisters:boolean `true` if the converter should attempt to minimize the rop-form register count Returns:RopMethod `non-null;` rop-form output

public static RopMethod convertToRopMethod(SsaMethod ssaMeth, boolean minimizeRegisters)

Converts a method in SSA form to ROP form.

Parameters

ssaMeth:SsaMethod: non-null; method to process
minimizeRegisters:boolean: true if the converter should attempt to minimize the rop-form register count

Returns:RopMethod

non-null; rop-form output

getRegistersByFrequency	back to summary
public int[] getRegistersByFrequency() Note This method is not presently used. Returns:int[] a list of registers ordered by most-frequently-used to least-frequently-used. Each register is listed once and only once.

getRegistersByFrequency

back to summary

public int[] getRegistersByFrequency()

Note

This method is not presently used.

Returns:int[]: a list of registers ordered by most-frequently-used to least-frequently-used. Each register is listed once and only once.

moveParametersToHighRegisters	back to summary
private void moveParametersToHighRegisters() Moves the parameter registers, which allocateRegisters() places at the bottom of the frame, up to the top of the frame to match Dalvik calling convention.

removeEmptyGotos	back to summary
private void removeEmptyGotos() Removes all blocks containing only GOTOs from the control flow. Although much of this work will be done later when converting from rop to dex, not all simplification cases can be handled there. Furthermore, any no-op block between the exit block and blocks containing the real return or throw statements must be removed.

removePhiFunctions	back to summary
private void removePhiFunctions() See Appel 19.6. To remove the phi instructions in an edge-split SSA representation we know we can always insert a move in a predecessor block.

verifyValidExitPredecessor back to summary

verifyValidExitPredecessor	back to summary
private void verifyValidExitPredecessor(SsaBasicBlock b) Validates that a basic block is a valid end predecessor. It must end in a RETURN or a THROW. Throws a runtime exception on error. Parameters b:SsaBasicBlock `non-null;` block to validate Exceptions RuntimeException: on error

private void verifyValidExitPredecessor(SsaBasicBlock b)

Validates that a basic block is a valid end predecessor. It must end in a RETURN or a THROW. Throws a runtime exception on error.

Parameters

b:SsaBasicBlock: non-null; block to validate

Exceptions

RuntimeException:: on error

org.droidparts.dexmaker.dx.ssa.back back to summary

private Class SsaToRop.PhiVisitor

Class Inheritance

extends Object
implements Visitor

java.lang.Object
org.droidparts.dexmaker.dx.ssa.back.SsaToRop.PhiVisitor

All Implemented Interfaces

org.droidparts.dexmaker.dx.ssa.PhiInsn.Visitor

Helper for removePhiFunctions: PhiSuccessorUpdater for adding move instructions to predecessors based on phi insns.

Field Summary

Modifier and Type	Field and Description
private final ArrayList<SsaBasicBlock>	blocks

Constructor Summary

Access	Constructor and Description
public	PhiVisitor(ArrayList<SsaBasicBlock> blocks)

Method Summary

Modifier and Type	Method and Description
public void	visitPhiInsn(PhiInsn insn) Implements org.droidparts.dexmaker.dx.ssa.PhiInsn.Visitor.visitPhiInsn.

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

blocks	back to summary
private final ArrayList<SsaBasicBlock> blocks

Constructor Detail

PhiVisitor	back to summary
public PhiVisitor(ArrayList<SsaBasicBlock> blocks)

Method Detail

visitPhiInsn	back to summary
public void visitPhiInsn(PhiInsn insn) Implements org.droidparts.dexmaker.dx.ssa.PhiInsn.Visitor.visitPhiInsn.

public Class SsaToRop

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

private Class SsaToRop.PhiVisitor

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail