Package dk.brics.tajs.monitoring.soundness

Soundness testing implementation: compares the (allegedly sound) fixpoint of the analysis against observations from concrete executions.

See: Description

Class Summary

Class	Description
LogFileHelper	Utility class for creating, finding, and parsing log files.
SoundnessTesterMonitor	Monitor that performs soundness testing.
ValueLoggerSourceLocationMapper	Domain-mapper between the source locations of TAJS and the value logger log files.
ValueLogSourceLocationEqualityDecider	Decision procedure for deciding if a TAJS and log-entry source location are equal.

Exception Summary

Exception	Description
LogFileHelper.LogFileException	Exception for situations where there is something wrong with a log file.
SoundnessTesterMonitor.SoundnessException	Exception signalling that one or more soundness checks failed.

Package dk.brics.tajs.monitoring.soundness Description

Soundness testing implementation: compares the (allegedly sound) fixpoint of the analysis against observations from concrete executions.

Can be used by enabling SoundnessTesterOptions.setTest(boolean) or by instantiating the SoundnessTesterMonitor directly.