There is a newer version of the record available.

Published June 2, 2022 | Version 1
Software Open

Automatically Deriving Control-Flow Graph Generators from Operational Semantics

Authors/Creators

  • 1. MIT

Description

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

mandate_artifact.zip

Files (1.4 GB)

Name Size Download all
md5:8038d1132fd5bb23b7b29736d1dcd83e
1.4 GB Preview Download