A simple monitoring that will prevent the analysis from running more than a set time.
Composite, delegating, implementation of IAnalysisMonitoring.
Default, empty, implementation of
Measures different parts of the analysis state in order to diagnose memory usage.
Records various information during analysis.
Read/write information for the properties of an abstract object.
|PhaseMonitoring<PreScanMonitorType extends IAnalysisMonitoring,ScanMonitorType extends IAnalysisMonitoring>||
Delegating monitor which has a monitor during the analysis-phase and another during the scan-phase.
Monitor that checks whether dataflow appears at the ordinary/exceptional program exit at the end of the scan phase.
Monitor for printing progress during analysis.
Monitor that checks reachability of different kinds, throwing an assertion-error on missing reachability at the end of the scan-phase.
Monitor for reachability information.
Monitor for checking TAJS_*-assertions are reachable at the end of the scan phase..
Decorator monitor that can be toggled on and off.
Collects abstract values for variable occurrences during the scanning phase of the analysis.
Tuple of a variable name, source location, and a context.
Read status of a property in the abstract object.
Write status of a property in the abstract object.
Copyright © 2009-2019 Aarhus University