See: Description
Interface | Description |
---|---|
CompositeMonitoring.Factory<T> | |
IAnalysisMonitoring |
Monitoring interface.
|
Class | Description |
---|---|
AnalysisTimeLimiter |
A simple monitoring that will prevent the analysis from running more than a set time.
|
CompositeMonitoring |
Composite, delegating, implementation of IAnalysisMonitoring.
|
DefaultAnalysisMonitoring |
Default, empty, implementation of
IAnalysisMonitoring . |
MaxMemoryUsageMonitor | |
MemoryUsageDiagnosisMonitor |
Measures different parts of the analysis state in order to diagnose memory usage.
|
MemoryUsageDiagnosisMonitor.Measurements | |
Monitoring |
Records various information during analysis.
|
ObjReadsWrites |
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.
|
ProgramExitReachabilityChecker |
Monitor that checks whether dataflow appears at the ordinary/exceptional program exit at the end of the scan phase.
|
ProgressMonitor |
Monitor for printing progress during analysis.
|
ProgressMonitor.PreScanProgressMonitor | |
ReachabilityChecker |
Monitor that checks reachability of different kinds, throwing an assertion-error on missing reachability at the end of the scan-phase.
|
ReachabilityMonitor |
Monitor for reachability information.
|
TAJSAssertionReachabilityCheckerMonitor |
Monitor for checking TAJS_*-assertions are reachable at the end of the scan phase..
|
TogglableMonitor |
Decorator monitor that can be toggled on and off.
|
TypeCollector |
Collects abstract values for variable occurrences during the scanning phase of the analysis.
|
TypeCollector.VariableSummary |
Tuple of a variable name, source location, and a context.
|
Enum | Description |
---|---|
AnalysisPhase | |
ObjReadsWrites.R_Status |
Read status of a property in the abstract object.
|
ObjReadsWrites.W_Status |
Write status of a property in the abstract object.
|
Copyright © 2009-2019 Aarhus University