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