Package soot.jimple.spark.geom.ptinsE

Class PtInsNodeGenerator

java.lang.Object

soot.jimple.spark.geom.geomPA.IEncodingBroker

soot.jimple.spark.geom.ptinsE.PtInsNodeGenerator

public class PtInsNodeGenerator
extends IEncodingBroker

Build the initial encoded pointer assignment graph with the PtIns encoding.

Author:

xiao

Constructor Summary

Constructors

Constructor	Description
PtInsNodeGenerator()

Method Summary

Modifier and Type	Method	Description
IVarAbstraction	generateNode(Node vNode)	Generate a node of proper kind.
String	getSignature()	Return the signature of the implemented sub-class, may be useful in somewhere.
void	initFlowGraph(GeomPointsTo ptAnalyzer)	Build the initial encoding of the pointer assignments and points-to facts.

Methods inherited from class java.lang.Object

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

Constructor Detail

PtInsNodeGenerator

public PtInsNodeGenerator()

Method Detail

initFlowGraph

public void initFlowGraph(GeomPointsTo ptAnalyzer)

Description copied from class: IEncodingBroker

Build the initial encoding of the pointer assignments and points-to facts.

Specified by:

initFlowGraph in class IEncodingBroker

generateNode

public IVarAbstraction generateNode(Node vNode)

Description copied from class: IEncodingBroker

Generate a node of proper kind.

Specified by:

generateNode in class IEncodingBroker

Returns:

getSignature

public String getSignature()

Description copied from class: IEncodingBroker

Return the signature of the implemented sub-class, may be useful in somewhere.

Specified by:

getSignature in class IEncodingBroker

Returns: