A soundness check.
Compares abstract and concrete values, deciding if the abstract value over-approximates the concrete value.
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.
Simple soundness testing: checks that the static analysis and concrete execution agree on how the program terminates.
Base class for
Tests the soundness of a static analysis result by comparing it with results from a dynamic analysis.
Copyright © 2009-2018 Aarhus University