soot.dexpler.instructions

Class MethodInvocationInstruction

java.lang.Object

soot.dexpler.instructions.DexlibAbstractInstruction

soot.dexpler.instructions.MethodInvocationInstruction

All Implemented Interfaces:

DanglingInstruction

Direct Known Subclasses:

ExecuteInlineInstruction, InvokeInterfaceInstruction, InvokeSpecialInstruction, InvokeStaticInstruction, InvokeVirtualInstruction

public abstract class MethodInvocationInstruction
extends DexlibAbstractInstruction
implements DanglingInstruction

Field Summary

Fields

Modifier and Type	Field and Description
protected AssignStmt	assign
protected InvokeExpr	invocation

Fields inherited from class soot.dexpler.instructions.DexlibAbstractInstruction

codeAddress, instruction, lineNumber, unit

Constructor Summary

Constructors

Constructor and Description
MethodInvocationInstruction(Instruction instruction, int codeAddress)

Method Summary

Modifier and Type	Method and Description
protected java.util.List<Local>	buildParameters(DexBody body, boolean isStatic) Build the parameters of this invocation.
void	finalize(DexBody body, DexlibAbstractInstruction successor) Finalize this instruction taking the successor into consideration.
protected SootMethodRef	getSootMethodRef() Return the SootMethodRef for the invoked method.
protected SootMethodRef	getStaticSootMethodRef() Return the static SootMethodRef for the invoked method.
protected MethodReference	getTargetMethodReference() Gets a reference to the target method that is invoked
protected java.util.List<java.lang.Integer>	getUsedRegistersNums() Return the indices used in this instruction.
java.util.Set<Type>	introducedTypes() Return the types that are be introduced by this instruction.
protected boolean	isUsedAsFloatingPoint(DexBody body, int register, boolean isStatic) Determine if register is used as floating point.
protected boolean	isUsedAsObject(DexBody body, int register, boolean isStatic) Determine if register is used as object.
protected void	jimplifyInterface(DexBody body) Executes the "jimplify" operation for an interface invocation
protected void	jimplifySpecial(DexBody body) Executes the "jimplify" operation for a special invocation
protected void	jimplifyStatic(DexBody body) Executes the "jimplify" operation for a static invocation
protected void	jimplifyVirtual(DexBody body) Executes the "jimplify" operation for a virtual invocation

Methods inherited from class soot.dexpler.instructions.DexlibAbstractInstruction

addTags, getInstruction, getLineNumber, getUnit, getUsedRegistersNums, getUsedRegistersNums, jimplify, setLineNumber, setUnit

Methods inherited from class java.lang.Object

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

Field Detail

invocation

protected InvokeExpr invocation

assign

protected AssignStmt assign

Constructor Detail

MethodInvocationInstruction

public MethodInvocationInstruction(Instruction instruction,
                                   int codeAddress)

Method Detail

finalize

public void finalize(DexBody body,
                     DexlibAbstractInstruction successor)

Description copied from interface: DanglingInstruction

Finalize this instruction taking the successor into consideration.

Specified by:

finalize in interface DanglingInstruction

Parameters:

body - to finalize into

successor - the direct successor of this instruction

introducedTypes

public java.util.Set<Type> introducedTypes()

Description copied from class: DexlibAbstractInstruction

Return the types that are be introduced by this instruction. Instructions that may introduce types should override this.

Overrides:

introducedTypes in class DexlibAbstractInstruction

isUsedAsFloatingPoint

protected boolean isUsedAsFloatingPoint(DexBody body,
                                        int register,
                                        boolean isStatic)

Determine if register is used as floating point. Abstraction for static and non-static methods. Non-static methods need to ignore the first parameter (this)

Parameters:

isStatic - if this method is static

isUsedAsObject

protected boolean isUsedAsObject(DexBody body,
                                 int register,
                                 boolean isStatic)

Determine if register is used as object. Abstraction for static and non-static methods. Non-static methods need to ignore the first parameter (this)

Parameters:

isStatic - if this method is static

getSootMethodRef

protected SootMethodRef getSootMethodRef()

Return the SootMethodRef for the invoked method.

getStaticSootMethodRef

protected SootMethodRef getStaticSootMethodRef()

Return the static SootMethodRef for the invoked method.

getTargetMethodReference

protected MethodReference getTargetMethodReference()

Gets a reference to the target method that is invoked

Returns:

A reference to the target method to be invoked

buildParameters

protected java.util.List<Local> buildParameters(DexBody body,
                                                boolean isStatic)

Build the parameters of this invocation. The first parameter is the instance for which the method is invoked (if method is non-static).

Parameters:

body - the body to build for and into

isStatic - if method is static

Returns:

the converted parameters

getUsedRegistersNums

protected java.util.List<java.lang.Integer> getUsedRegistersNums()

Return the indices used in this instruction.

Returns:

a list of register indices

jimplifyVirtual

protected void jimplifyVirtual(DexBody body)

Executes the "jimplify" operation for a virtual invocation

jimplifyInterface

protected void jimplifyInterface(DexBody body)

Executes the "jimplify" operation for an interface invocation

jimplifySpecial

protected void jimplifySpecial(DexBody body)

Executes the "jimplify" operation for a special invocation

jimplifyStatic

protected void jimplifyStatic(DexBody body)

Executes the "jimplify" operation for a static invocation