Package soot.jimple.spark.geom.heapinsE

Class HeapInsNodeGenerator

java.lang.Object

soot.jimple.spark.geom.geomPA.IEncodingBroker

soot.jimple.spark.geom.heapinsE.HeapInsNodeGenerator

public class HeapInsNodeGenerator
extends IEncodingBroker

Build the initial pointer assignment graph with the HeapIns encoding.

Author:

xiao

Constructor Summary

Constructors

Constructor	Description
HeapInsNodeGenerator()

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

HeapInsNodeGenerator

public HeapInsNodeGenerator()

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: