Package soot.jimple.toolkits.ide.exampleproblems

Class IFDSUninitializedVariables

java.lang.Object

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

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

soot.jimple.toolkits.ide.exampleproblems.IFDSUninitializedVariables

All Implemented Interfaces:

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

public class IFDSUninitializedVariables
extends DefaultJimpleIFDSTabulationProblem<Local,heros.InterproceduralCFG<Unit,SootMethod>>

Constructor Summary

Constructors

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

Method Summary

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

IFDSUninitializedVariables

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

Method Detail

createFlowFunctionsFactory

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

Specified by:

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

initialSeeds

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

createZeroValue

public Local createZeroValue()

Specified by:

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