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

Field Summary

static int	n_added_flowedge
static int	n_added_pts

Constructor Summary

IEncodingBroker()

Method Summary

abstract IVarAbstraction	generateNode(Node v) Generate a node of proper kind.
abstract int	getEncodingType()
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

Field Detail

n_added_flowedge

public static int n_added_flowedge

n_added_pts

public static int n_added_pts

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.

getEncodingType

public abstract int getEncodingType()

See Also:

SparkOptions.geom_encoding_Geom, SparkOptions.geom_encoding_HeapIns, SparkOptions.geom_encoding_PtIns