org.jf.dexlib2.analysis

Class AnalyzedInstruction

java.lang.Object

org.jf.dexlib2.analysis.AnalyzedInstruction

All Implemented Interfaces:

java.lang.Comparable<AnalyzedInstruction>

public class AnalyzedInstruction
extends java.lang.Object
implements java.lang.Comparable<AnalyzedInstruction>

Field Summary

Fields

Modifier and Type	Field and Description
protected Instruction	instruction The actual instruction
protected int	instructionIndex The index of the instruction, where the first instruction in the method is at index 0, and so on
protected Instruction	originalInstruction When deodexing, we might need to deodex this instruction multiple times, when we merge in new register information.
protected RegisterType[]	postRegisterMap This contains the register types *after* the instruction has executed
protected java.util.TreeSet<AnalyzedInstruction>	predecessors Instructions that can pass on execution to this one during normal execution
protected RegisterType[]	preRegisterMap This contains the register types *before* the instruction has executed
protected java.util.LinkedList<AnalyzedInstruction>	successors Instructions that can execution could pass on to next during normal execution

Constructor Summary

Constructors

Constructor and Description
AnalyzedInstruction(Instruction instruction, int instructionIndex, int registerCount)

Method Summary

Methods

Modifier and Type	Method and Description
protected boolean	addPredecessor(AnalyzedInstruction predecessor)
protected void	addSuccessor(AnalyzedInstruction successor)
int	compareTo(AnalyzedInstruction analyzedInstruction)
int	getDestinationRegister()
Instruction	getInstruction()
int	getInstructionIndex()
Instruction	getOriginalInstruction()
RegisterType	getPostInstructionRegisterType(int registerNumber)
int	getPredecessorCount()
java.util.SortedSet<AnalyzedInstruction>	getPredecessors()
RegisterType	getPreInstructionRegisterType(int registerNumber)
int	getRegisterCount()
java.util.List<AnalyzedInstruction>	getSuccesors()
int	getSuccessorCount()
boolean	isBeginningInstruction() Is this instruction a "beginning instruction".
protected boolean	isInvokeInit()
protected RegisterType	mergePreRegisterTypeFromPredecessors(int registerNumber) Iterates over the predecessors of this instruction, and merges all the post-instruction register types for the given register.
protected boolean	mergeRegister(int registerNumber, RegisterType registerType, java.util.BitSet verifiedInstructions)
protected void	restoreOdexedInstruction()
protected void	setDeodexedInstruction(Instruction instruction)
protected boolean	setPostRegisterType(int registerNumber, RegisterType registerType)
boolean	setsRegister()
boolean	setsRegister(int registerNumber)
boolean	setsWideRegister()

Methods inherited from class java.lang.Object

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

Field Detail

instruction

protected Instruction instruction

The actual instruction

instructionIndex

protected final int instructionIndex

The index of the instruction, where the first instruction in the method is at index 0, and so on

predecessors

protected final java.util.TreeSet<AnalyzedInstruction> predecessors

Instructions that can pass on execution to this one during normal execution

successors

protected final java.util.LinkedList<AnalyzedInstruction> successors

Instructions that can execution could pass on to next during normal execution

preRegisterMap

protected final RegisterType[] preRegisterMap

This contains the register types *before* the instruction has executed

postRegisterMap

protected final RegisterType[] postRegisterMap

This contains the register types *after* the instruction has executed

originalInstruction

protected final Instruction originalInstruction

When deodexing, we might need to deodex this instruction multiple times, when we merge in new register information. When this happens, we need to restore the original (odexed) instruction, so we can deodex it again

Constructor Detail

AnalyzedInstruction

public AnalyzedInstruction(Instruction instruction,
                   int instructionIndex,
                   int registerCount)

Method Detail

getInstructionIndex

public int getInstructionIndex()

getPredecessorCount

public int getPredecessorCount()

getPredecessors

public java.util.SortedSet<AnalyzedInstruction> getPredecessors()

addPredecessor

protected boolean addPredecessor(AnalyzedInstruction predecessor)

addSuccessor

protected void addSuccessor(AnalyzedInstruction successor)

setDeodexedInstruction

protected void setDeodexedInstruction(Instruction instruction)

restoreOdexedInstruction

protected void restoreOdexedInstruction()

getSuccessorCount

public int getSuccessorCount()

getSuccesors

public java.util.List<AnalyzedInstruction> getSuccesors()

getInstruction

public Instruction getInstruction()

getOriginalInstruction

public Instruction getOriginalInstruction()

isBeginningInstruction

public boolean isBeginningInstruction()

Is this instruction a "beginning instruction". A beginning instruction is defined to be an instruction that can be the first successfully executed instruction in the method. The first instruction is always a beginning instruction. If the first instruction can throw an exception, and is covered by a try block, then the first instruction of any exception handler for that try block is also a beginning instruction. And likewise, if any of those instructions can throw an exception and are covered by try blocks, the first instruction of the corresponding exception handler is a beginning instruction, etc. To determine this, we simply check if the first predecessor is the fake "StartOfMethod" instruction, which has an instruction index of -1.

Returns:

a boolean value indicating whether this instruction is a beginning instruction

mergeRegister

protected boolean mergeRegister(int registerNumber,
                    RegisterType registerType,
                    java.util.BitSet verifiedInstructions)

mergePreRegisterTypeFromPredecessors

protected RegisterType mergePreRegisterTypeFromPredecessors(int registerNumber)

Iterates over the predecessors of this instruction, and merges all the post-instruction register types for the given register. Any dead, unreachable, or odexed predecessor is ignored

Parameters:

registerNumber - the register number

Returns:

The register type resulting from merging the post-instruction register types from all predecessors

setPostRegisterType

protected boolean setPostRegisterType(int registerNumber,
                          RegisterType registerType)

isInvokeInit

protected boolean isInvokeInit()

setsRegister

public boolean setsRegister()

setsWideRegister

public boolean setsWideRegister()

setsRegister

public boolean setsRegister(int registerNumber)

getDestinationRegister

public int getDestinationRegister()

getRegisterCount

public int getRegisterCount()

getPostInstructionRegisterType

@Nonnull
public RegisterType getPostInstructionRegisterType(int registerNumber)

getPreInstructionRegisterType

@Nonnull
public RegisterType getPreInstructionRegisterType(int registerNumber)

compareTo

public int compareTo(AnalyzedInstruction analyzedInstruction)

Specified by:

compareTo in interface java.lang.Comparable<AnalyzedInstruction>