HardenedBSD/lib/libveriexec
..
libveriexec.h
Makefile
veriexec_check.c
veriexec.3