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

Field Summary

Fields inherited from class soot.jimple.spark.geom.geomPA.IEncodingBroker

n_added_flowedge, n_added_pts

Constructor Summary

FullSensitiveNodeGenerator()

Method Summary

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

getEncodingType

public int getEncodingType()

Specified by:

getEncodingType in class IEncodingBroker

See Also:

SparkOptions.geom_encoding_Geom, SparkOptions.geom_encoding_HeapIns, SparkOptions.geom_encoding_PtIns

generateNode

public IVarAbstraction generateNode(Node vNode)

Description copied from class: IEncodingBroker

Generate a node of proper kind.

Specified by:

generateNode in class IEncodingBroker

Returns: