dk.brics.tajs.monitoring.soundness

Class SoundnessTesterMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

dk.brics.tajs.monitoring.soundness.SoundnessTesterMonitor

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class SoundnessTesterMonitor
extends DefaultAnalysisMonitoring

Monitor that performs soundness testing.

Collects type information using TypeCollector during scan phase, and invokes SoundnessTester afterwards.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SoundnessTesterMonitor.SoundnessException Exception signalling that one or more soundness checks failed.

Constructor Summary

Constructors

Constructor and Description
SoundnessTesterMonitor()

Method Summary

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.

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SoundnessTesterMonitor

public SoundnessTesterMonitor()

Method Detail

setSolverInterface

public void setSolverInterface(GenericSolver.SolverInterface c)

Description copied from interface: IAnalysisMonitoring

Sets the solver interface which will be used by the analysis.

Specified by:

setSolverInterface in interface IAnalysisMonitoring

Overrides:

setSolverInterface in class DefaultAnalysisMonitoring

visitNativeFunctionCall

public void visitNativeFunctionCall(AbstractNode n,
                                    HostObject hostobject,
                                    boolean num_actuals_unknown,
                                    int num_actuals,
                                    int min,
                                    int max)

Collects DOM object allocation sites.

Specified by:

visitNativeFunctionCall in interface IAnalysisMonitoring

Overrides:

visitNativeFunctionCall in class DefaultAnalysisMonitoring

Parameters:

n - node responsible for the call

hostobject - the native function being called

num_actuals_unknown - if set, the number of actuals is unknown

num_actuals - number of actuals (if num_actuals_unknown is not set)

min - minimum number of parameters expected

max - maximum number of paramaters expected (-1 for any number)

visitPhasePost

public void visitPhasePost(AnalysisPhase phase)

After scan phase, perform the soundness test, and generate the log file if necessary.

Specified by:

visitPhasePost in interface IAnalysisMonitoring

Overrides:

visitPhasePost in class DefaultAnalysisMonitoring

visitPhasePre

public void visitPhasePre(AnalysisPhase phase)

Before analysis, make sure log file exists, if necessary by generating it -- if selected in the options.

Specified by:

visitPhasePre in interface IAnalysisMonitoring

Overrides:

visitPhasePre in class DefaultAnalysisMonitoring

visitVariableOrProperty

public void visitVariableOrProperty(AbstractNode node,
                                    java.lang.String var,
                                    SourceLocation loc,
                                    Value value,
                                    Context context,
                                    State state)

Collects value of a variable or property.

Specified by:

visitVariableOrProperty in interface IAnalysisMonitoring

Overrides:

visitVariableOrProperty in class DefaultAnalysisMonitoring