soot.jimple.infoflow.cfg.BiDirICFGFactory 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
/**
* (c) Copyright 2013, Tata Consultancy Services & Ecole Polytechnique de Montreal
* All rights reserved
*/
package soot.jimple.infoflow.cfg;
import soot.jimple.infoflow.InfoflowConfiguration.CallgraphAlgorithm;
import soot.jimple.infoflow.solver.cfg.IInfoflowCFG;
/**
* Interface for all factories that can create bi-directional interprocedural
* control flow graphs.
*
* @author Steven Arzt
* @author Marc-Andre Laverdiere-Papineau
*
*/
public interface BiDirICFGFactory {
public IInfoflowCFG buildBiDirICFG(CallgraphAlgorithm callgraphAlgorithm,
boolean enableExceptionTracking);
}