soot.jimple.toolkits.ide.exampleproblems

Class IFDSReachingDefinitions

java.lang.Object

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

soot.jimple.toolkits.ide.DefaultJimpleIFDSTabulationProblem<Pair<Value,java.util.Set<DefinitionStmt>>,InterproceduralCFG<Unit,SootMethod>>

soot.jimple.toolkits.ide.exampleproblems.IFDSReachingDefinitions

All Implemented Interfaces:

IFDSTabulationProblem<Unit,Pair<Value,java.util.Set<DefinitionStmt>>,SootMethod,InterproceduralCFG<Unit,SootMethod>>, SolverConfiguration

public class IFDSReachingDefinitions
extends DefaultJimpleIFDSTabulationProblem<Pair<Value,java.util.Set<DefinitionStmt>>,InterproceduralCFG<Unit,SootMethod>>

Constructor Summary

Constructors

Constructor and Description
IFDSReachingDefinitions(InterproceduralCFG<Unit,SootMethod> icfg)

Method Summary

Modifier and Type	Method and Description
FlowFunctions<Unit,Pair<Value,java.util.Set<DefinitionStmt>>,SootMethod>	createFlowFunctionsFactory()
Pair<Value,java.util.Set<DefinitionStmt>>	createZeroValue()
java.util.Map<Unit,java.util.Set<Pair<Value,java.util.Set<DefinitionStmt>>>>	initialSeeds() Returns initial seeds to be used for the analysis.

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

IFDSReachingDefinitions

public IFDSReachingDefinitions(InterproceduralCFG<Unit,SootMethod> icfg)

Method Detail

createFlowFunctionsFactory

public FlowFunctions<Unit,Pair<Value,java.util.Set<DefinitionStmt>>,SootMethod> createFlowFunctionsFactory()

Specified by:

createFlowFunctionsFactory in class DefaultIFDSTabulationProblem<Unit,Pair<Value,java.util.Set<DefinitionStmt>>,SootMethod,InterproceduralCFG<Unit,SootMethod>>

initialSeeds

public java.util.Map<Unit,java.util.Set<Pair<Value,java.util.Set<DefinitionStmt>>>> initialSeeds()

Description copied from interface: IFDSTabulationProblem

Returns initial seeds to be used for the analysis. This is a mapping of statements to initial analysis facts.

createZeroValue

public Pair<Value,java.util.Set<DefinitionStmt>> createZeroValue()

Specified by:

createZeroValue in class DefaultIFDSTabulationProblem<Unit,Pair<Value,java.util.Set<DefinitionStmt>>,SootMethod,InterproceduralCFG<Unit,SootMethod>>