HyperVis is an interactive tool for the visualization of counterexamples to hyperproperties, such as noninterference and other information-flow policies.
Artifact & Resources
Note: The following resources are only provided for review purposes at TACAS. Do not redistribute.
The artifact including readme and install instructions is available here: https://cloudstore.zih.tu-dresden.de/index.php/s/YkgRWf2Mk4C44MN
- VM image (Debian-based) with pre-installed tool: https://cloudstore.zih.tu-dresden.de/index.php/s/9sxdQaMFWSBrsTL
- Docker image: https://cloudstore.zih.tu-dresden.de/index.php/s/eHsaFTptf7C393T
- Online version: http://syntcompcc5.react.uni-saarland.de:4723/