public class SoundnessTesterMonitor extends DefaultAnalysisMonitoring
Collects type information using TypeCollector
during scan phase, and invokes SoundnessTester
afterwards.
Modifier and Type | Class and Description |
---|---|
static class |
SoundnessTesterMonitor.SoundnessException
Exception signalling that one or more soundness checks failed.
|
Constructor and Description |
---|
SoundnessTesterMonitor() |
Modifier and Type | Method and Description |
---|---|
void |
setSolverInterface(GenericSolver.SolverInterface c)
Sets the solver interface which will be used by the analysis.
|
void |
visitNativeFunctionCall(AbstractNode n,
HostObject hostobject,
boolean num_actuals_unknown,
int num_actuals,
int min,
int max)
Collects DOM object allocation sites.
|
void |
visitPhasePost(AnalysisPhase phase)
After scan phase, perform the soundness test, and generate the log file if necessary.
|
void |
visitPhasePre(AnalysisPhase phase)
Before analysis, make sure log file exists, if necessary by generating it -- if selected in the options.
|
void |
visitVariableOrProperty(AbstractNode node,
java.lang.String var,
SourceLocation loc,
Value value,
Context context,
State state)
Collects value of a variable or property.
|
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, visitBlockTransferPost, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitNodeTransferPre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead
public void setSolverInterface(GenericSolver.SolverInterface c)
IAnalysisMonitoring
setSolverInterface
in interface IAnalysisMonitoring
setSolverInterface
in class DefaultAnalysisMonitoring
public void visitNativeFunctionCall(AbstractNode n, HostObject hostobject, boolean num_actuals_unknown, int num_actuals, int min, int max)
visitNativeFunctionCall
in interface IAnalysisMonitoring
visitNativeFunctionCall
in class DefaultAnalysisMonitoring
n
- node responsible for the callhostobject
- the native function being callednum_actuals_unknown
- if set, the number of actuals is unknownnum_actuals
- number of actuals (if num_actuals_unknown is not set)min
- minimum number of parameters expectedmax
- maximum number of paramaters expected (-1 for any number)public void visitPhasePost(AnalysisPhase phase)
visitPhasePost
in interface IAnalysisMonitoring
visitPhasePost
in class DefaultAnalysisMonitoring
public void visitPhasePre(AnalysisPhase phase)
visitPhasePre
in interface IAnalysisMonitoring
visitPhasePre
in class DefaultAnalysisMonitoring
public void visitVariableOrProperty(AbstractNode node, java.lang.String var, SourceLocation loc, Value value, Context context, State state)
visitVariableOrProperty
in interface IAnalysisMonitoring
visitVariableOrProperty
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University