soot.jimple.infoflow.solver.fastSolver

接口 FastSolverLinkedNode<D,N>

所有超级接口:

Cloneable

所有已知实现类:

Abstraction

public interface FastSolverLinkedNode<D,N>
extends Cloneable

Common interface for all abstractions processed by the IFDS solver

作者:

Steven Arzt

方法概要

限定符和类型	方法和说明
boolean	addNeighbor(D originalAbstraction) Links this node to a neighbor node, i.e., to an abstraction that would have been merged with this one of paths were not being tracked.
D	clone() Clones this data flow abstraction
D	getActiveCopy() If this abstraction supports alias analysis, this returns the active copy of the current abstraction.
int	getNeighborCount() Gets the number of neighbors already registered with this abstraction
int	getPathLength() Gets the length of the path over which this node was propagated
D	getPredecessor() Gets the predecessor of this node
void	setPredecessor(D predecessor) Explicitly sets the predecessor of this node.

方法详细资料

addNeighbor

boolean addNeighbor(D originalAbstraction)

Links this node to a neighbor node, i.e., to an abstraction that would have been merged with this one of paths were not being tracked.

返回:

True if the neighbor was added, false if it was rejected

getNeighborCount

int getNeighborCount()

Gets the number of neighbors already registered with this abstraction

返回:

The number of neighbors already registered with this abstraction

setPredecessor

void setPredecessor(D predecessor)

Explicitly sets the predecessor of this node.

参数:

predecessor - The predecessor node to set

getPredecessor

D getPredecessor()

Gets the predecessor of this node

返回:

The predecessor of this node is applicable, null for source nodes

clone

D clone()

Clones this data flow abstraction

返回:

A clone of the current data flow abstraction

getActiveCopy

D getActiveCopy()

If this abstraction supports alias analysis, this returns the active copy of the current abstraction. Otherwise, "this" is returned.

返回:

The active copy if supported, otherwise the "this" reference

getPathLength

int getPathLength()

Gets the length of the path over which this node was propagated

返回:

The length of the path over which this node was propagated