程序包 proguard.analysis.cpa.defaults

类 Cfa<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

java.lang.Object

proguard.analysis.cpa.defaults.Cfa<CfaNodeT,CfaEdgeT,SignatureT>

直接已知子类:

JvmCfa

public abstract class Cfa<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
extends Object

A Cfa is a control flow automaton with nodes <CfaNodeT> and edges <CfaEdgeT>. It can be used for different programming languages with functions identified by <SignatureT>.

字段概要

字段

修饰符和类型	字段	说明
protected final Map<SignatureT,Map<Integer,CfaNodeT>>	functionNodes

构造器概要

构造器

构造器	说明
Cfa()

方法概要

修饰符和类型	方法	说明
void	addFunctionEntryNode(SignatureT signature, CfaNodeT node)	Add an entry node to the graph for a specified function (with offset 0).
void	addFunctionNode(SignatureT signature, CfaNodeT node, int offset)	Add a node to the graph for a specified function.
Stream<CfaNodeT>	getAllNodes()	Returns a stream of all the nodes present in the graph.
CfaNodeT	getFunctionEntryNode(SignatureT signature)	Returns the entry node of a specific function (with offset 0), returns null if the function or its entry node are not in the graph.
Collection<CfaNodeT>	getFunctionEntryNodes()	Returns a collection of the entry nodes (with offset 0) of all the functions present in the graph, returns an empty collection if the graph is empty.
CfaNodeT	getFunctionNode(Clazz clazz, Method method, int offset)	Returns the node of a function at a specific code offset, returns null if the function or the specific node are not in the graph.
CfaNodeT	getFunctionNode(SignatureT signature, int offset)	Returns the node of a function at a specific code offset, returns null if the function or the specific node are not in the graph.
Collection<CfaNodeT>	getFunctionNodes(SignatureT signature)	Returns all the nodes of a specific function, returns an empty collection if the function is not in the graph or if it has no nodes.
boolean	isEmpty()	Returns true if there are no nodes in the CFA, false otherwise.

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

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

字段详细资料

functionNodes

protected final Map<SignatureT extends Signature,Map<Integer,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>>> functionNodes

构造器详细资料

Cfa

public Cfa()

方法详细资料

isEmpty

public boolean isEmpty()

Returns true if there are no nodes in the CFA, false otherwise.

getAllNodes

public Stream<CfaNodeT> getAllNodes()

Returns a stream of all the nodes present in the graph.

Note: a Stream is provided to avoid creating new collections unnecessarily.

getFunctionEntryNodes

public Collection<CfaNodeT> getFunctionEntryNodes()

Returns a collection of the entry nodes (with offset 0) of all the functions present in the graph, returns an empty collection if the graph is empty.

getFunctionEntryNode

public CfaNodeT getFunctionEntryNode(SignatureT signature)

Returns the entry node of a specific function (with offset 0), returns null if the function or its entry node are not in the graph.

参数:

signature - The signature of the function.

getFunctionNodes

public Collection<CfaNodeT> getFunctionNodes(SignatureT signature)

Returns all the nodes of a specific function, returns an empty collection if the function is not in the graph or if it has no nodes.

参数:

signature - The signature of the function.

getFunctionNode

public CfaNodeT getFunctionNode(SignatureT signature,
 int offset)

Returns the node of a function at a specific code offset, returns null if the function or the specific node are not in the graph.

参数:

signature - The signature of the function.

offset - The offset of the code location represented by the node.

getFunctionNode

public CfaNodeT getFunctionNode(Clazz clazz,
 Method method,
 int offset)

Returns the node of a function at a specific code offset, returns null if the function or the specific node are not in the graph.

参数:

clazz - The Clazz in which the function is declared.

method - The Method in which the function is declared.

offset - The offset of the code location represented by the node.

addFunctionEntryNode

public void addFunctionEntryNode(SignatureT signature,
 CfaNodeT node)

Add an entry node to the graph for a specified function (with offset 0).

参数:

signature - The signature of the function,.

node - The entry node to add.

addFunctionNode

public void addFunctionNode(SignatureT signature,
 CfaNodeT node,
 int offset)

Add a node to the graph for a specified function.

参数:

signature - The signature of the function.

node - The node to add.