public class ProgramExitReachabilityChecker extends DefaultAnalysisMonitoring
Constructor and Description |
---|
ProgramExitReachabilityChecker(boolean makeAssertionErrorInScanPhase,
boolean requireOrdinaryExit,
boolean allowOrdinaryExit,
boolean requireExceptionalExit,
boolean allowExceptionalExit,
java.util.function.Supplier<java.lang.Boolean> analysisReachedFixedPoint) |
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.
|
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
public ProgramExitReachabilityChecker(boolean makeAssertionErrorInScanPhase, boolean requireOrdinaryExit, boolean allowOrdinaryExit, boolean requireExceptionalExit, boolean allowExceptionalExit, java.util.function.Supplier<java.lang.Boolean> analysisReachedFixedPoint)
makeAssertionErrorInScanPhase
- if set, throw AssertionError
if flow to the program exit does not satisfy the other paramaters.public boolean isSeenOrdinaryExit()
public void visitBlockTransferPost(BasicBlock b, State state)
ISolverMonitoring
visitBlockTransferPost
in interface ISolverMonitoring<State,Context>
visitBlockTransferPost
in class DefaultAnalysisMonitoring
public void visitPhasePost(AnalysisPhase phase)
IAnalysisMonitoring
visitPhasePost
in interface IAnalysisMonitoring
visitPhasePost
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University