soot.jimple.infoflow.solver.sparseSolver.propagation.IPropagationStrategy 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

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;

public interface IPropagationStrategy, I extends BiDiInterproceduralCFG> {
    /**
     * Get the successors of n given d
     *
     * @param n current unit
     * @param d outgoing abstraction at n
     * @return collection of successors
     */
    Collection getSuccsOf(N n, D d);

    /**
     * Get the start points of sm given d
     *
     * @param sm method to be called
     * @param d  callee context abstraction
     * @return collection of successors
     */
    Collection getStartPointsOf(SootMethod sm, D d);
}