…
..
Makefile	…
Makefile.depend	…
exec_script.c	…
gbl_check.c	…
libveriexec.h	…
veriexec.3	…
veriexec_check.c	…
veriexec_get.c	…