Package soot.jimple.spark.geom.geomE

Class FullSensitiveNodeGenerator

java.lang.Object

soot.jimple.spark.geom.geomPA.IEncodingBroker

soot.jimple.spark.geom.geomE.FullSensitiveNodeGenerator

public class FullSensitiveNodeGenerator
extends IEncodingBroker

Build the initial encoding of the assignment graph in full geometric encoding.

Author:

xiao

Constructor Summary

Constructors

Constructor	Description
FullSensitiveNodeGenerator()

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

FullSensitiveNodeGenerator

public FullSensitiveNodeGenerator()

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

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:

generateNode

public IVarAbstraction generateNode(Node vNode)

Description copied from class: IEncodingBroker

Generate a node of proper kind.

Specified by:

generateNode in class IEncodingBroker

Returns: