程序包 proguard.analysis.cpa.jvm.cfa

类 JvmCfa

java.lang.Object

proguard.analysis.cpa.defaults.Cfa<JvmCfaNode,JvmCfaEdge,MethodSignature>

proguard.analysis.cpa.jvm.cfa.JvmCfa

public class JvmCfa
extends Cfa<JvmCfaNode,JvmCfaEdge,MethodSignature>

A JVM specific implementation of Cfa.

The keys of the function maps are the MethodSignatures.

The nodes of a function are identified by the offset of the code location. Besides the normal exit node for return instructions, function can also have a special exit node for uncaught exceptions.

An additional JvmCatchCfaNode is added for each handler in the method exception table.

A unique JvmUnknownCfaNode node is used for instructions the successor of which is unknown.

字段概要

从类继承的字段 proguard.analysis.cpa.defaults.Cfa

functionNodes

构造器概要

构造器

构造器	说明
JvmCfa()

方法概要

修饰符和类型	方法	说明
void	addFunctionCatchNode(MethodSignature signature, JvmCatchCfaNode node, int offset)	Adds a catch node to the CFA (i.e. a node indicating the beginning of an exception handler).
void	addInterproceduralEdge(Call call)	Adds a call node between two methods.
JvmCfaNode	addNodeIfAbsent(MethodSignature signature, int offset, Clazz clazz)	If the requested function node is present in the graph return it.
void	addUnknownTargetInterproceduralEdge(Call call)	Adds a call node between two methods.
void	clear()	Removes references to this CFA nodes from the singleton JvmUnknownCfaNode and clears its node collections making it garbage collectable.
boolean	containsFunctionCatchNode(MethodSignature signature, int offset)	Returns true if the catch node of the specified method at the specified offset is present in the graph.
java.util.stream.Stream<JvmCfaNode>	getAllNodes()	Returns a stream of all the nodes present in the graph.
JvmCatchCfaNode	getFunctionCatchNode(MethodSignature signature, int offset)	Returns the catch node of a method the handler of which begins at the specific code offset, returns null if the method or the specific catch node are not in the graph.
java.util.Collection<JvmCatchCfaNode>	getFunctionCatchNodes(MethodSignature signature)	Returns all the catch nodes of a specific method, returns an empty collection if the function is not in the graph or if it has no catch nodes.
JvmCfaNode	getFunctionExceptionExitNode(MethodSignature signature, Clazz clazz)	Returns the exception exit node (i.e. the exit node in case of not caught exception) of the specified method if present, otherwise creates the exit node for the method and returns it.
JvmCfaNode	getFunctionReturnExitNode(MethodSignature signature, Clazz clazz)	Returns the exit node of the specified method if present, otherwise creates the exit node for the method and returns it.

从类继承的方法 proguard.analysis.cpa.defaults.Cfa

addFunctionEntryNode, addFunctionNode, getFunctionEntryNode, getFunctionEntryNodes, getFunctionNode, getFunctionNode, getFunctionNodes, isEmpty

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

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

构造器详细资料

JvmCfa

public JvmCfa()

方法详细资料

getAllNodes

public java.util.stream.Stream<JvmCfaNode> getAllNodes()

从类复制的说明: Cfa

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

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

覆盖:

getAllNodes 在类中 Cfa<JvmCfaNode,JvmCfaEdge,MethodSignature>

getFunctionCatchNodes

public java.util.Collection<JvmCatchCfaNode> getFunctionCatchNodes(MethodSignature signature)

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

参数:

signature - The signature of the method.

getFunctionCatchNode

public JvmCatchCfaNode getFunctionCatchNode(MethodSignature signature,
                                            int offset)

Returns the catch node of a method the handler of which begins at the specific code offset, returns null if the method or the specific catch node are not in the graph.

参数:

signature - The signature of the method, might be different for different domains.

offset - The offset of the catch handler represented by the node.

addFunctionCatchNode

public void addFunctionCatchNode(MethodSignature signature,
                                 JvmCatchCfaNode node,
                                 int offset)

Adds a catch node to the CFA (i.e. a node indicating the beginning of an exception handler).

containsFunctionCatchNode

public boolean containsFunctionCatchNode(MethodSignature signature,
                                         int offset)

Returns true if the catch node of the specified method at the specified offset is present in the graph.

getFunctionReturnExitNode

public JvmCfaNode getFunctionReturnExitNode(MethodSignature signature,
                                            Clazz clazz)

Returns the exit node of the specified method if present, otherwise creates the exit node for the method and returns it.

getFunctionExceptionExitNode

public JvmCfaNode getFunctionExceptionExitNode(MethodSignature signature,
                                               Clazz clazz)

Returns the exception exit node (i.e. the exit node in case of not caught exception) of the specified method if present, otherwise creates the exit node for the method and returns it.

addNodeIfAbsent

public JvmCfaNode addNodeIfAbsent(MethodSignature signature,
                                  int offset,
                                  Clazz clazz)

If the requested function node is present in the graph return it. If the node is not present add it to the graph and return the new node.

addInterproceduralEdge

public void addInterproceduralEdge(Call call)

Adds a call node between two methods.

addUnknownTargetInterproceduralEdge

public void addUnknownTargetInterproceduralEdge(Call call)

Adds a call node between two methods. This is used when the target method has no CodeAttribute, which means the target method is not present in the CFA. The unknown node is set as the call target.

clear

public void clear()

Removes references to this CFA nodes from the singleton JvmUnknownCfaNode and clears its node collections making it garbage collectable.