heros.fieldsens

Class FieldSensitiveIFDSSolver<FieldRef,D,N,M,I extends InterproceduralCFG<N,M>>

java.lang.Object

heros.fieldsens.FieldSensitiveIFDSSolver<FieldRef,D,N,M,I>

public class FieldSensitiveIFDSSolver<FieldRef,D,N,M,I extends InterproceduralCFG<N,M>>
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected Context<FieldRef,D,N,M>	context
protected Debugger<FieldRef,D,N,M>	debugger
protected static Logger	logger

Constructor Summary

Constructors

Constructor and Description
FieldSensitiveIFDSSolver(IFDSTabulationProblem<N,FieldRef,D,M,I> tabulationProblem, FactMergeHandler<D> factHandler, Debugger<FieldRef,D,N,M> debugger, Scheduler scheduler)

Method Summary

Modifier and Type	Method and Description
protected MethodAnalyzer<FieldRef,D,N,M>	createMethodAnalyzer(M method)

Methods inherited from class java.lang.Object

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

Field Detail

logger

protected static final Logger logger

context

protected Context<FieldRef,D,N,M> context

debugger

protected Debugger<FieldRef,D,N,M> debugger

Constructor Detail

FieldSensitiveIFDSSolver

public FieldSensitiveIFDSSolver(IFDSTabulationProblem<N,FieldRef,D,M,I> tabulationProblem,
                                FactMergeHandler<D> factHandler,
                                Debugger<FieldRef,D,N,M> debugger,
                                Scheduler scheduler)

Method Detail

createMethodAnalyzer

protected MethodAnalyzer<FieldRef,D,N,M> createMethodAnalyzer(M method)