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