Package dk.brics.tajs.monitoring.soundness.testing

The soundness testing implementation: compares abstract and concrete states.

See: Description

Interface Summary

Interface	Description
SoundnessCheck	A soundness check.

Class Summary

Class	Description
AbstractConcreteValueComparator	Compares abstract and concrete values, deciding if the abstract value over-approximates the concrete value.
LogEntrySoundnessTester	The complex part of soundness testing: checks that log entries from a concete execution are over-approximated by the abstract states computed by the static analysis.
ProgramExitReachabilitySoundnessTester	Simple soundness testing: checks that the static analysis and concrete execution agree on how the program terminates.
SoundnessCheckImpl	Base class for SoundnessCheck implementations.
SoundnessTester	Tests the soundness of a static analysis result by comparing it with results from a dynamic analysis.

Enum Summary

Enum	Description
SoundnessCheck.FailureKind

Package dk.brics.tajs.monitoring.soundness.testing Description

The soundness testing implementation: compares abstract and concrete states.

New kinds of abstract or concrete information probably only require changes to either AbstractConcreteValueComparator or LogEntrySoundnessTester.