Package soot.jimple.toolkits.ide.exampleproblems

Class IFDSLiveVariables

java.lang.Object

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

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

soot.jimple.toolkits.ide.exampleproblems.IFDSLiveVariables

All Implemented Interfaces:

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

public class IFDSLiveVariables
extends DefaultJimpleIFDSTabulationProblem<Value,heros.InterproceduralCFG<Unit,SootMethod>>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
heros.FlowFunctions<Unit,Value,SootMethod>	createFlowFunctionsFactory()
Value	createZeroValue()
Map<Unit,Set<Value>>	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

IFDSLiveVariables

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

Method Detail

createFlowFunctionsFactory

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

Specified by:

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

initialSeeds

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

createZeroValue

public Value createZeroValue()

Specified by:

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