dk.brics.tajs.monitoring

Class ProgramExitReachabilityChecker

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

dk.brics.tajs.monitoring.ProgramExitReachabilityChecker

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class ProgramExitReachabilityChecker
extends DefaultAnalysisMonitoring

Monitor that checks whether dataflow appears at the ordinary/exceptional program exit at the end of the scan phase.

Constructor Summary

Constructors

Constructor and Description
ProgramExitReachabilityChecker(boolean makeAssertionErrorInScanPhase, boolean requireOrdinaryExit, boolean allowOrdinaryExit, boolean requireExceptionalExit, boolean allowExceptionalExit, java.util.function.Supplier<java.lang.Boolean> analysisReachedFixedPoint)

Method Summary

Modifier and Type	Method and Description
boolean	isSeenOrdinaryExit()
void	visitBlockTransferPost(BasicBlock b, State state) Invoked immediately after processing a block transfer.
void	visitPhasePost(AnalysisPhase phase) Invoked at the end of a phase.

Methods inherited from class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitNodeTransferPre, visitPhasePre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty

Methods inherited from class java.lang.Object

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

Constructor Detail

ProgramExitReachabilityChecker

public ProgramExitReachabilityChecker(boolean makeAssertionErrorInScanPhase,
                                      boolean requireOrdinaryExit,
                                      boolean allowOrdinaryExit,
                                      boolean requireExceptionalExit,
                                      boolean allowExceptionalExit,
                                      java.util.function.Supplier<java.lang.Boolean> analysisReachedFixedPoint)

Parameters:

makeAssertionErrorInScanPhase - if set, throw AssertionError if flow to the program exit does not satisfy the other paramaters.

Method Detail

isSeenOrdinaryExit

public boolean isSeenOrdinaryExit()

visitBlockTransferPost

public void visitBlockTransferPost(BasicBlock b,
                                   State state)

Description copied from interface: ISolverMonitoring

Invoked immediately after processing a block transfer.

Specified by:

visitBlockTransferPost in interface ISolverMonitoring<State,Context>

Overrides:

visitBlockTransferPost in class DefaultAnalysisMonitoring

visitPhasePost

public void visitPhasePost(AnalysisPhase phase)

Description copied from interface: IAnalysisMonitoring

Invoked at the end of a phase.

Specified by:

visitPhasePost in interface IAnalysisMonitoring

Overrides:

visitPhasePost in class DefaultAnalysisMonitoring