Published June 2, 2022 | Version 1.1
Software Open

Automatically Deriving Control-Flow Graph Generators from Operational Semantics


This artifact contains information needed to evaluate all claims in the paper. Specifically, it contains a QEMU image and sources containing Mandate, along with instructions for running. It also features pre-generated control-flow graphs and generators.


Files (2.6 GB)

Name Size Download all
2.6 GB Preview Download