soot.jimple.toolkits.ide.exampleproblems

Class IFDSPossibleTypes

java.lang.Object

heros.template.DefaultIFDSTabulationProblem<Unit,D,SootMethod,I>

soot.jimple.toolkits.ide.DefaultJimpleIFDSTabulationProblem<Pair<Value,Type>,heros.InterproceduralCFG<Unit,SootMethod>>

soot.jimple.toolkits.ide.exampleproblems.IFDSPossibleTypes

All Implemented Interfaces:

heros.IFDSTabulationProblem<Unit,Pair<Value,Type>,SootMethod,heros.InterproceduralCFG<Unit,SootMethod>>, heros.SolverConfiguration

public class IFDSPossibleTypes
extends DefaultJimpleIFDSTabulationProblem<Pair<Value,Type>,heros.InterproceduralCFG<Unit,SootMethod>>

Constructor Summary

Constructors

Constructor and Description
IFDSPossibleTypes(heros.InterproceduralCFG<Unit,SootMethod> icfg)

Method Summary

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()

Methods inherited from class heros.template.DefaultIFDSTabulationProblem

autoAddZero, computeValues, flowFunctions, followReturnsPastSeeds, interproceduralCFG, numThreads, recordEdges, zeroValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IFDSPossibleTypes

public IFDSPossibleTypes(heros.InterproceduralCFG<Unit,SootMethod> icfg)

Method Detail

createFlowFunctionsFactory

public heros.FlowFunctions<Unit,Pair<Value,Type>,SootMethod> createFlowFunctionsFactory()

Specified by:

createFlowFunctionsFactory in class heros.template.DefaultIFDSTabulationProblem<Unit,Pair<Value,Type>,SootMethod,heros.InterproceduralCFG<Unit,SootMethod>>

initialSeeds

public Map<Unit,Set<Pair<Value,Type>>> initialSeeds()

createZeroValue

public Pair<Value,Type> createZeroValue()

Specified by:

createZeroValue in class heros.template.DefaultIFDSTabulationProblem<Unit,Pair<Value,Type>,SootMethod,heros.InterproceduralCFG<Unit,SootMethod>>