Software Open Access

Automatically Deriving Control-Flow Graph Generators from Operational Semantics

Koppel, James; Kearl, Jackson; Solar-Lezama, Armando

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
mandate_artifact.zip
md5:047d1334c2a9c242e283ba35b0bbd12a
2.6 GB Download
75
11
views
downloads
All versions This version
Views 7533
Downloads 110
Data volume 29.1 GB0 Bytes
Unique views 6231
Unique downloads 110

Share

Cite as