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 java.lang.Object

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

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 java.lang.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 java.lang.String getSignature()

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

Returns: