heros.fieldsens

Class BiDiFieldSensitiveIFDSSolver<Field,Fact,Stmt,Method,I extends InterproceduralCFG<Stmt,Method>>

java.lang.Object

heros.fieldsens.BiDiFieldSensitiveIFDSSolver<Field,Fact,Stmt,Method,I>

public class BiDiFieldSensitiveIFDSSolver<Field,Fact,Stmt,Method,I extends InterproceduralCFG<Stmt,Method>>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BiDiFieldSensitiveIFDSSolver(IFDSTabulationProblem<Stmt,Field,Fact,Method,I> forwardProblem, IFDSTabulationProblem<Stmt,Field,Fact,Method,I> backwardProblem, FactMergeHandler<Fact> factHandler, Debugger<Field,Fact,Stmt,Method> debugger, Scheduler scheduler)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BiDiFieldSensitiveIFDSSolver

public BiDiFieldSensitiveIFDSSolver(IFDSTabulationProblem<Stmt,Field,Fact,Method,I> forwardProblem,
                                    IFDSTabulationProblem<Stmt,Field,Fact,Method,I> backwardProblem,
                                    FactMergeHandler<Fact> factHandler,
                                    Debugger<Field,Fact,Stmt,Method> debugger,
                                    Scheduler scheduler)