IFDSReachingDefinitions (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- heros.template.DefaultIFDSTabulationProblem<Unit,D,SootMethod,I>
- - soot.jimple.toolkits.ide.DefaultJimpleIFDSTabulationProblem<Pair<Value,Set<DefinitionStmt>>,heros.InterproceduralCFG<Unit,SootMethod>>
  - - soot.jimple.toolkits.ide.exampleproblems.IFDSReachingDefinitions

All Implemented Interfaces:

heros.IFDSTabulationProblem<Unit,Pair<Value,Set<DefinitionStmt>>,SootMethod,heros.InterproceduralCFG<Unit,SootMethod>>, heros.SolverConfiguration
```
public class IFDSReachingDefinitions
extends DefaultJimpleIFDSTabulationProblem<Pair<Value,Set<DefinitionStmt>>,heros.InterproceduralCFG<Unit,SootMethod>>
```

Constructor Summary

Constructors
Constructor Description

IFDSReachingDefinitions(heros.InterproceduralCFG<Unit,SootMethod> icfg)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`heros.FlowFunctions<Unit,Pair<Value,Set<DefinitionStmt>>,SootMethod>`	`createFlowFunctionsFactory()`
`Pair<Value,Set<DefinitionStmt>>`	`createZeroValue()`
`Map<Unit,Set<Pair<Value,Set<DefinitionStmt>>>>`	`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
  - IFDSReachingDefinitions
```
public IFDSReachingDefinitions(heros.InterproceduralCFG<Unit,SootMethod> icfg)
```
- Method Detail
  - createFlowFunctionsFactory
```
public heros.FlowFunctions<Unit,Pair<Value,Set<DefinitionStmt>>,SootMethod> createFlowFunctionsFactory()
```
    Specified by:
    
    createFlowFunctionsFactory in class heros.template.DefaultIFDSTabulationProblem<Unit,Pair<Value,Set<DefinitionStmt>>,SootMethod,heros.InterproceduralCFG<Unit,SootMethod>>
  - initialSeeds
```
public Map<Unit,Set<Pair<Value,Set<DefinitionStmt>>>> initialSeeds()
```
  - createZeroValue
```
public Pair<Value,Set<DefinitionStmt>> createZeroValue()
```
    Specified by:
    
    createZeroValue in class heros.template.DefaultIFDSTabulationProblem<Unit,Pair<Value,Set<DefinitionStmt>>,SootMethod,heros.InterproceduralCFG<Unit,SootMethod>>