public class MemoryUsageDiagnosisMonitor extends DefaultAnalysisMonitoring
NB-1: performs measurements for the entire analysis state at the fix point (i.e. during scan phase) NB-2: could easily be perform similar measurements on a per-state basis.
Modifier and Type | Class and Description |
---|---|
static class |
MemoryUsageDiagnosisMonitor.Measurements |
Constructor and Description |
---|
MemoryUsageDiagnosisMonitor() |
Modifier and Type | Method and Description |
---|---|
void |
setSolverInterface(GenericSolver.SolverInterface c)
Sets the solver interface which will be used by the analysis.
|
void |
show(MemoryUsageDiagnosisMonitor.Measurements measurements)
Prints a description of the measurements.
|
void |
visitBlockTransferPost(BasicBlock b,
State state)
Invoked immediately after processing a block transfer.
|
void |
visitPhasePost(AnalysisPhase phase)
Invoked at the end of a phase.
|
void |
visitPhasePre(AnalysisPhase phase)
Invoked at the beginning of a phase.
|
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitNodeTransferPre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty
public void setSolverInterface(GenericSolver.SolverInterface c)
IAnalysisMonitoring
setSolverInterface
in interface IAnalysisMonitoring
setSolverInterface
in class DefaultAnalysisMonitoring
public void show(MemoryUsageDiagnosisMonitor.Measurements measurements)
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
public void visitPhasePre(AnalysisPhase phase)
IAnalysisMonitoring
visitPhasePre
in interface IAnalysisMonitoring
visitPhasePre
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University