程序包 proguard.analysis.datastructure.callgraph

类 Call

java.lang.Object

proguard.analysis.datastructure.callgraph.Call

所有已实现的接口:

Comparable<Call>

直接已知子类:

ConcreteCall, SymbolicCall

public abstract class Call
extends Object
implements Comparable<Call>

Represents a method call. If the call target is a Method that is present in the class pool, a ConcreteCall is instantiated. If the call target is not a known method, a SymbolicCall is the appropriate subclass.

字段概要

字段

修饰符和类型	字段	说明
final CodeLocation	caller	The location where the call was invoked.
final boolean	controlFlowDependent	If false, control flow in the calling method will always reach this call.
final Instruction	instruction	The instruction performing this call.
final boolean	runtimeTypeDependent	If true, this call might only be one of several alternative targets, depending on the actual type of the called object during runtime.
final int	throwsNullptr	Describes whether this call will throw a NullPointerException at runtime.

构造器概要

构造器

限定符	构造器	说明
protected	Call(CodeLocation caller, Value instance, List<Value> arguments, Value returnValue, int throwsNullptr, Instruction instruction, boolean controlFlowDependent, boolean runtimeTypeDependent)

方法概要

修饰符和类型	方法	说明
void	clearValues()	Clear all Value object references from this call.
int	compareTo(Call other)
boolean	equals(Object o)
Value	getArgument(int index)	Get the value for a specific argument index.
int	getArgumentCount()	Returns the number of arguments.
Value	getInstance()	If this is a virtual call, this describes the this pointer of the object whose method is called, usually an IdentifiedReferenceValue.
int	getJvmArgumentSize()	Returns the number of elements that need to be popped from the JVM stack for this call.
Value	getReturnValue()	Get the return value of this call.
abstract MethodSignature	getTarget()	The MethodSignature of the method that is being called.
int	hashCode()
abstract boolean	hasIncompleteTarget()	Check if this call's target is fully known or only parts of it (e.g. only the descriptor).
boolean	isCertainlyCalled()	Returns true if this call is always executed, no matter which branch in the methods are taken and which type the called object has during runtime.
boolean	isStatic()	Check if this call is static (no implicit instance set) or not.
void	setArguments(List<Value> arguments)
void	setInstance(Value instance)
void	setReturnValue(Value returnValue)
void	targetMethodAccept(MemberVisitor memberVisitor)
String	toSimpleString()	Prints a shorter version of the regular `toString()` without the caller or null pointer information.
String	toString()

从类继承的方法 java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

字段详细资料

caller

public final CodeLocation caller

The location where the call was invoked.

throwsNullptr

public final int throwsNullptr

Describes whether this call will throw a NullPointerException at runtime. Either Value.NEVER, Value.MAYBE or Value.ALWAYS.

instruction

public final Instruction instruction

The instruction performing this call. There are several different ways of invoking a method call in the JVM:

• Instruction.OP_INVOKESTATIC
• Instruction.OP_INVOKEVIRTUAL
• Instruction.OP_INVOKEINTERFACE
• Instruction.OP_INVOKESPECIAL
• Instruction.OP_INVOKEDYNAMIC

See the CallResolver for more details.

controlFlowDependent

public final boolean controlFlowDependent

If false, control flow in the calling method will always reach this call. Otherwise, whether the call will be invoked at runtime might depend on e.g. specific branches being taken.

runtimeTypeDependent

public final boolean runtimeTypeDependent

If true, this call might only be one of several alternative targets, depending on the actual type of the called object during runtime. Otherwise, this call is the only possible target.

构造器详细资料

Call

protected Call(CodeLocation caller,
 Value instance,
 List<Value> arguments,
 Value returnValue,
 int throwsNullptr,
 Instruction instruction,
 boolean controlFlowDependent,
 boolean runtimeTypeDependent)

方法详细资料

isStatic

public boolean isStatic()

Check if this call is static (no implicit instance set) or not.

getTarget

public abstract MethodSignature getTarget()

The MethodSignature of the method that is being called.

hasIncompleteTarget

public abstract boolean hasIncompleteTarget()

Check if this call's target is fully known or only parts of it (e.g. only the descriptor).

getArgumentCount

public int getArgumentCount()

Returns the number of arguments.

getJvmArgumentSize

public int getJvmArgumentSize()

Returns the number of elements that need to be popped from the JVM stack for this call.

getArgument

public Value getArgument(int index)

Get the value for a specific argument index.

Note: This is only to be used in implementations of CallHandler.handleCall(Call, TracedStack, TracedVariables). Afterwards, the values will have been cleared to reduce unnecessary memory usage, as argument values are not needed for the full call graph reconstruction.

setArguments

public void setArguments(List<Value> arguments)

getInstance

public Value getInstance()

If this is a virtual call, this describes the this pointer of the object whose method is called, usually an IdentifiedReferenceValue. For static calls this is null.

Note: This is only to be used in implementations of CallHandler.handleCall(Call, TracedStack, TracedVariables). Afterwards, the value will have been cleared to reduce unnecessary memory usage, as the instance value is not needed for the full call graph reconstruction.

setInstance

public void setInstance(Value instance)

getReturnValue

public Value getReturnValue()

Get the return value of this call.

Note: This is only to be used in implementations of CallHandler.handleCall(Call, TracedStack, TracedVariables). Afterwards, the value will have been cleared to reduce unnecessary memory usage, as the return value is not needed for the full call graph reconstruction.

setReturnValue

public void setReturnValue(Value returnValue)

clearValues

public void clearValues()

Clear all Value object references from this call.

isCertainlyCalled

public boolean isCertainlyCalled()

Returns true if this call is always executed, no matter which branch in the methods are taken and which type the called object has during runtime.

toString

public String toString()

覆盖:

toString 在类中 Object

toSimpleString

public String toSimpleString()

Prints a shorter version of the regular `toString()` without the caller or null pointer information.

targetMethodAccept

public void targetMethodAccept(MemberVisitor memberVisitor)

compareTo

public int compareTo(Call other)

指定者:

compareTo 在接口中 Comparable<Call>

equals

public boolean equals(Object o)

覆盖:

equals 在类中 Object

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object