soot.jimple.spark.geom.geomPA

Class IEncodingBroker

java.lang.Object

soot.jimple.spark.geom.geomPA.IEncodingBroker

Direct Known Subclasses:

FullSensitiveNodeGenerator, HeapInsNodeGenerator, PtInsNodeGenerator

public abstract class IEncodingBroker
extends Object

An abstract class for hiding different encoding methods, e.g. Geom, HeapIns, PtIns.

Author:

xiao

Constructor Summary

Constructors

Constructor and Description
IEncodingBroker()

Method Summary

Modifier and Type	Method and Description
abstract IVarAbstraction	generateNode(Node v) Generate a node of proper kind.
abstract String	getSignature() Return the signature of the implemented sub-class, may be useful in somewhere.
abstract 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

IEncodingBroker

public IEncodingBroker()

Method Detail

generateNode

public abstract IVarAbstraction generateNode(Node v)

Generate a node of proper kind.

Parameters:

v -

Returns:

initFlowGraph

public abstract void initFlowGraph(GeomPointsTo ptAnalyzer)

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

getSignature

public abstract String getSignature()

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

Returns: