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