uaf-klee-kdalloc-q1.sh

#!/bin/bash
set -euo pipefail

clang uaf.c -g3 -c -emit-llvm

klee --posix-runtime --libc=uclibc --kdalloc --kdalloc-quarantine=1 \
  uaf.bc