#!/bin/sh
# Build DF-2931 PoC on the guest (exact commands used)
set -e
cc -O2 -o /tmp/uuidleak /tmp/uuidleak.c
# structural proof module (root):
#   mkdir -p /tmp/uuidoffmod; cp uuidoff.c Makefile /tmp/uuidoffmod/
#   cd /tmp/uuidoffmod && make