@hackage qute-cli0.1.1

Command-line interface for the Qute software analysis framework.

This package provides a command-line interface for the software analysis framework Qute. Specifically, it includes a concrete simulator for the QBE intermediate language targeted by Qute and a symbolic executor based on Qute's symbolic semantics. Further, it provides a library with utility modules needed for this purpose. This, for example, includes an implementation of the KTest format.