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>>Copyright © 2020 Soot OSS. All rights reserved.