b439f64ac1
Provide more robust parameter parsing in veriexec. Do a little cleanup as well. Differential revision: https://reviews.freebsd.org/D33246 Obtained from: Semihalf Reviewed by: sjg, sebastien.bini_stormshield.eu |
||
---|---|---|
.. | ||
Makefile | ||
Makefile.depend | ||
manifest_lexer.l | ||
manifest_parser.y | ||
veriexec.8 | ||
veriexec.c | ||
veriexec.h |