soot.jimple.infoflow.solver.sparseSolver.propagation.DensePropagation Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of soot-infoflow Show documentation
Show all versions of soot-infoflow Show documentation
Soot extending data flow tracking components for Java
The newest version!
package soot.jimple.infoflow.solver.sparseSolver.propagation;
import java.util.Collection;
import soot.SootMethod;
import soot.jimple.infoflow.solver.fastSolver.FastSolverLinkedNode;
import soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG;
/**
* Propagation strategy delegating the work to the ICFG, i.e. propagating dense
*
* @param Statements
* @param Facts
* @param Interprocedural control-flow graph
*
* @author Tim Lange
*/
public class DensePropagation, I extends BiDiInterproceduralCFG>
implements IPropagationStrategy {
private final I iCfg;
public DensePropagation(I iCfg) {
this.iCfg = iCfg;
}
@Override
public Collection getSuccsOf(N n, D d) {
return iCfg.getSuccsOf(n);
}
@Override
public Collection getStartPointsOf(SootMethod sm, D d) {
return iCfg.getStartPointsOf(sm);
}
}