public static class ProgressMonitor.PreScanProgressMonitor extends DefaultAnalysisMonitoring
Constructor and Description |
---|
PreScanProgressMonitor(boolean print) |
Modifier and Type | Method and Description |
---|---|
int |
getNodeTransfers() |
long |
getStateSize() |
java.util.Set<AbstractNode> |
getVisitedNonHostNodes() |
void |
setSolverInterface(GenericSolver.SolverInterface c)
Sets the solver interface which will be used by the analysis.
|
void |
visitBlockTransferPost(BasicBlock b,
State s)
Invoked immediately after processing a block transfer.
|
void |
visitBlockTransferPre(BasicBlock b,
State s)
Invoked immediately before processing a block transfer.
|
void |
visitIterationDone(java.lang.String terminatedEarlyMsg)
Invoked when dataflow solver iteration is done (not necessarily with success).
|
void |
visitNodeTransferPre(AbstractNode n,
State s)
Invoked immediately before processing a node transfer.
|
void |
visitPhasePre(AnalysisPhase phase)
Invoked at the beginning of a phase.
|
void |
visitPropagationPost(BlockAndContext<Context> from,
BlockAndContext<Context> to,
boolean changed)
Invoked immediately after propagating dataflow from one location to another.
|
void |
visitPropagationPre(BlockAndContext<Context> from,
BlockAndContext<Context> to)
Invoked immediately before propagating dataflow from one location to another.
|
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitPhasePost, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty
public int getNodeTransfers()
public long getStateSize()
public java.util.Set<AbstractNode> getVisitedNonHostNodes()
public void setSolverInterface(GenericSolver.SolverInterface c)
IAnalysisMonitoring
setSolverInterface
in interface IAnalysisMonitoring
setSolverInterface
in class DefaultAnalysisMonitoring
public void visitBlockTransferPost(BasicBlock b, State s)
ISolverMonitoring
visitBlockTransferPost
in interface ISolverMonitoring<State,Context>
visitBlockTransferPost
in class DefaultAnalysisMonitoring
public void visitBlockTransferPre(BasicBlock b, State s)
ISolverMonitoring
visitBlockTransferPre
in interface ISolverMonitoring<State,Context>
visitBlockTransferPre
in class DefaultAnalysisMonitoring
public void visitIterationDone(java.lang.String terminatedEarlyMsg)
ISolverMonitoring
visitIterationDone
in interface ISolverMonitoring<State,Context>
visitIterationDone
in class DefaultAnalysisMonitoring
terminatedEarlyMsg
- message about premature termination, if non-nullpublic void visitNodeTransferPre(AbstractNode n, State s)
ISolverMonitoring
visitNodeTransferPre
in interface ISolverMonitoring<State,Context>
visitNodeTransferPre
in class DefaultAnalysisMonitoring
public void visitPhasePre(AnalysisPhase phase)
IAnalysisMonitoring
visitPhasePre
in interface IAnalysisMonitoring
visitPhasePre
in class DefaultAnalysisMonitoring
public void visitPropagationPost(BlockAndContext<Context> from, BlockAndContext<Context> to, boolean changed)
ISolverMonitoring
visitPropagationPost
in interface ISolverMonitoring<State,Context>
visitPropagationPost
in class DefaultAnalysisMonitoring
changed
- true if the destination state was changedISolverMonitoring.visitPropagationPre(BlockAndContext, BlockAndContext)
public void visitPropagationPre(BlockAndContext<Context> from, BlockAndContext<Context> to)
ISolverMonitoring
ParallelTransfer
.)visitPropagationPre
in interface ISolverMonitoring<State,Context>
visitPropagationPre
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University