public class ReachabilityMonitor extends DefaultAnalysisMonitoring
Implementation note: the collected information is context sensitive, but the exposed API is currently context insensitive.
Constructor and Description |
---|
ReachabilityMonitor() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Function> |
getReachableFunctions() |
java.util.Set<AbstractNode> |
getReachableNodes() |
java.util.Set<AbstractNode> |
getUndominatedUnreachableNodes(Function f,
boolean ignoreIfNodeSuccessors)
Finds the unreachable nodes in a function that are not dominated by other unreahable nodes.
|
java.util.Set<Function> |
getUnreachableFunctions() |
void |
visitFunction(Function f,
java.util.Collection<State> entry_states)
Invoked when a function is encountered in the scan phase.
|
void |
visitNodeTransferPre(AbstractNode n,
State s)
Invoked immediately before processing a node transfer.
|
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPost, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitPhasePost, visitPhasePre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty
public java.util.Set<Function> getReachableFunctions()
public java.util.Set<AbstractNode> getReachableNodes()
public java.util.Set<AbstractNode> getUndominatedUnreachableNodes(Function f, boolean ignoreIfNodeSuccessors)
public java.util.Set<Function> getUnreachableFunctions()
public void visitFunction(Function f, java.util.Collection<State> entry_states)
ISolverMonitoring
visitFunction
in interface ISolverMonitoring<State,Context>
visitFunction
in class DefaultAnalysisMonitoring
public void visitNodeTransferPre(AbstractNode n, State s)
ISolverMonitoring
visitNodeTransferPre
in interface ISolverMonitoring<State,Context>
visitNodeTransferPre
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University