soot.jimple.toolkits.ide.exampleproblems

Class IFDSLocalInfoFlow

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.IFDSLocalInfoFlow

All Implemented Interfaces:

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

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

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
heros.FlowFunctions<Unit,Local,SootMethod>	createFlowFunctionsFactory()
Local	createZeroValue()
java.util.Map<Unit,java.util.Set<Local>>	initialSeeds()

Methods inherited from class heros.template.DefaultIFDSTabulationProblem

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

Methods inherited from class java.lang.Object

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

Constructor Detail

IFDSLocalInfoFlow

public IFDSLocalInfoFlow(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>>

createZeroValue

public Local createZeroValue()

Specified by:

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

initialSeeds

public java.util.Map<Unit,java.util.Set<Local>> initialSeeds()