Package 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 Description IEncodingBroker()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract IVarAbstractiongenerateNode(Node v)Generate a node of proper kind.abstract StringgetSignature()Return the signature of the implemented sub-class, may be useful in somewhere.abstract voidinitFlowGraph(GeomPointsTo ptAnalyzer)Build the initial encoding of the pointer assignments and points-to facts.
-
-
-
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:
-
-