proguard.analysis.cpa.interfaces

Interface CfaNode<CfaEdgeT extends CfaEdge,SignatureT extends Signature>

All Known Implementing Classes:

JvmCatchCfaNode, JvmCfaNode, JvmUnknownCfaNode

public interface CfaNode<CfaEdgeT extends CfaEdge,SignatureT extends Signature>

A node for Cfa parametrized by its edges CfaEdgeT. A CFA node corresponds to a program point before the instruction at a specific offset.

Field Summary

Fields

Modifier and Type	Field and Description
static int	EXCEPTION_EXIT_NODE_OFFSET
static int	RETURN_EXIT_NODE_OFFSET

Method Summary

Modifier and Type	Method and Description
java.util.List<CfaEdgeT>	getEnteringEdges() Returns a list of entering edges.
java.util.List<CfaEdgeT>	getLeavingEdges() Returns a list of leaving edges.
int	getOffset() Returns the instruction offset.
SignatureT	getSignature() Returns the function signature it belongs to.
boolean	isEntryNode() Checks whether the node is a function entry.
default boolean	isExceptionExitNode() Returns true if the node is the return location of the function (offset == EXCEPTION_EXIT_NODE_OFFSET).
boolean	isExitNode() Checks whether the node is a function exit.
default boolean	isReturnExitNode() Returns true if the node is the return location of the function (offset == RETURN_EXIT_NODE_OFFSET).
default boolean	isUnknownNode() Returns true if the location of the node is unknown.

Field Detail

RETURN_EXIT_NODE_OFFSET

static final int RETURN_EXIT_NODE_OFFSET

See Also:

Constant Field Values

EXCEPTION_EXIT_NODE_OFFSET

static final int EXCEPTION_EXIT_NODE_OFFSET

See Also:

Constant Field Values

Method Detail

getLeavingEdges

java.util.List<CfaEdgeT> getLeavingEdges()

Returns a list of leaving edges.

getEnteringEdges

java.util.List<CfaEdgeT> getEnteringEdges()

Returns a list of entering edges.

isEntryNode

boolean isEntryNode()

Checks whether the node is a function entry.

isExitNode

boolean isExitNode()

Checks whether the node is a function exit.

getSignature

SignatureT getSignature()

Returns the function signature it belongs to.

getOffset

int getOffset()

Returns the instruction offset.

isReturnExitNode

default boolean isReturnExitNode()

Returns true if the node is the return location of the function (offset == RETURN_EXIT_NODE_OFFSET).

isExceptionExitNode

default boolean isExceptionExitNode()

Returns true if the node is the return location of the function (offset == EXCEPTION_EXIT_NODE_OFFSET).

isUnknownNode

default boolean isUnknownNode()

Returns true if the location of the node is unknown.