Skip to content
Snippets Groups Projects
Commit 795a60cd authored by Anh Nguyen-Tuong's avatar Anh Nguyen-Tuong
Browse files

Add fork server only option

parent a99a2bdf
No related branches found
No related tags found
No related merge requests found
......@@ -27,6 +27,7 @@ usage()
echo " -u, --untracer Specify untracer instrumentation"
echo " -c, --enable-breakup-critical-edges Breakup critical edges"
echo " -C, --disable-breakup-critical-edges Do not breakup critical edges"
echo " -f, --fork-server-only Fork server only"
}
ida_or_rida_opt=" -s meds_static=off -s rida=on "
......@@ -133,6 +134,12 @@ parse_args()
zax_opt=" $zax_opt -o zax:-C "
shift
;;
-f | --fork-server-only)
ZAFL_LIMIT_END=0
export ZAFL_LIMIT_END
log_warning "Fork Server Only mode: no block-level instrumentation will be performed"
shift
;;
-*|--*=) # unsupported flags
echo "Error: Unsupported flag $1" >&2
exit 1
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment