#!/bin/sh
# DF-0938 run: read /proc/self/fpregs and report leaked kernel-stack bytes.
# On the BUGGY kernel: ~300 non-zero bytes in tail [108..512) with kernel pointers.
# On the FIXED kernel: 0 non-zero bytes in tail [108..512) (all zeros).
set -e
cd "$(dirname "$0")"
./poc 2>&1
echo "--- hexdump of leaked/received bytes ---"
./poc 2>/dev/null | hexdump -C | sed -n '1,40p'