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