/sbin/veriexec/
../
Makefile
Makefile.depend
manifest_lexer.l
manifest_parser.y
veriexec.8
veriexec.c
veriexec.h