public class IFDSPossibleTypes extends DefaultJimpleIFDSTabulationProblem<Pair<Value,Type>,heros.InterproceduralCFG<Unit,SootMethod>>
Constructor and Description |
---|
IFDSPossibleTypes(heros.InterproceduralCFG<Unit,SootMethod> icfg) |
Modifier and Type | Method and Description |
---|---|
heros.FlowFunctions<Unit,Pair<Value,Type>,SootMethod> |
createFlowFunctionsFactory() |
Pair<Value,Type> |
createZeroValue() |
Map<Unit,Set<Pair<Value,Type>>> |
initialSeeds() |
public IFDSPossibleTypes(heros.InterproceduralCFG<Unit,SootMethod> icfg)
public heros.FlowFunctions<Unit,Pair<Value,Type>,SootMethod> createFlowFunctionsFactory()
createFlowFunctionsFactory
in class heros.template.DefaultIFDSTabulationProblem<Unit,Pair<Value,Type>,SootMethod,heros.InterproceduralCFG<Unit,SootMethod>>
public Pair<Value,Type> createZeroValue()
createZeroValue
in class heros.template.DefaultIFDSTabulationProblem<Unit,Pair<Value,Type>,SootMethod,heros.InterproceduralCFG<Unit,SootMethod>>