dk.brics.tajs.monitoring

Class ReachabilityMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

dk.brics.tajs.monitoring.ReachabilityMonitor

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class ReachabilityMonitor
extends DefaultAnalysisMonitoring

Monitor for reachability information.

Implementation note: the collected information is context sensitive, but the exposed API is currently context insensitive.

Constructor Summary

Constructors

Constructor and Description
ReachabilityMonitor()

Method Summary

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.

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ReachabilityMonitor

public ReachabilityMonitor()

Method Detail

getReachableFunctions

public java.util.Set<Function> getReachableFunctions()

getReachableNodes

public java.util.Set<AbstractNode> getReachableNodes()

getUndominatedUnreachableNodes

public java.util.Set<AbstractNode> getUndominatedUnreachableNodes(Function f,
                                                                  boolean ignoreIfNodeSuccessors)

Finds the unreachable nodes in a function that are not dominated by other unreahable nodes.

getUnreachableFunctions

public java.util.Set<Function> getUnreachableFunctions()

visitFunction

public void visitFunction(Function f,
                          java.util.Collection<State> entry_states)

Description copied from interface: ISolverMonitoring

Invoked when a function is encountered in the scan phase. (Invoked once on each function.)

Specified by:

visitFunction in interface ISolverMonitoring<State,Context>

Overrides:

visitFunction in class DefaultAnalysisMonitoring

visitNodeTransferPre

public void visitNodeTransferPre(AbstractNode n,
                                 State s)

Description copied from interface: ISolverMonitoring

Invoked immediately before processing a node transfer.

Specified by:

visitNodeTransferPre in interface ISolverMonitoring<State,Context>

Overrides:

visitNodeTransferPre in class DefaultAnalysisMonitoring