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