Published June 2, 2022
| Version 1.1
Software
Open
Automatically Deriving Control-Flow Graph Generators from Operational Semantics
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
(2.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:047d1334c2a9c242e283ba35b0bbd12a
|
2.6 GB | Preview Download |