diff --git a/bin/zafl.sh b/bin/zafl.sh index 6d0cc57ba021bd3cb10731349db5a1af59f69eab..f6e65709c46c84ce1dd2f73f7532ca4294e43cd6 100755 --- a/bin/zafl.sh +++ b/bin/zafl.sh @@ -32,6 +32,7 @@ usage() echo " -c, --enable-breakup-critical-edges Breakup critical edges" echo " -C, --disable-breakup-critical-edges Do not breakup critical edges (default)" echo " -f, --fork-server-only Fork server only" + echo " -F, --disable-fork-server No fork server" echo " -m, --enable-fixed-map [<address>] Use fixed address for tracing map (<address> must be hex and page-aligned, e.g., 0x10000)" echo " -M, --disable-fixed-map Disable fixed address tracing map" echo " -i, --enable-floating-instrumentation Select best instrumentation point within basic block (default)" @@ -187,6 +188,10 @@ parse_args() log_warning "Fork Server Only mode: no block-level instrumentation will be performed" shift ;; + -F | --disable-fork-server) + zax_opt=" $zax_opt -o zax:\"-F\" " + shift + ;; -m | --enable-fixed-map) shift case $1 in