soot.jimple.infoflow.solver.SolverPeerGroup 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
package soot.jimple.infoflow.solver;
import java.util.HashSet;
import java.util.Set;
/**
* Peer group for synchronizing multiple IFDS solvers
*
* @author Steven Arzt
*
*/
public abstract class SolverPeerGroup {
protected Set solvers = new HashSet<>();
public SolverPeerGroup() {
}
/**
* Adds a data flow solver to this peer group
*
* @param solver The solver to add
*/
public void addSolver(IInfoflowSolver solver) {
this.solvers.add(solver);
}
}