From 16be45e235c9fb782126c3a5a17180ada430c767 Mon Sep 17 00:00:00 2001
From: Anh <zenpoems@gmail.com>
Date: Tue, 28 May 2019 12:59:16 -0400
Subject: [PATCH] Add -F flag (disable fork server)

---
 bin/zafl.sh   | 5 +++++
 move_globals  | 2 +-
 zipr_umbrella | 2 +-
 3 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/bin/zafl.sh b/bin/zafl.sh
index 6d0cc57..f6e6570 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
diff --git a/move_globals b/move_globals
index 34db6e6..a72ca23 160000
--- a/move_globals
+++ b/move_globals
@@ -1 +1 @@
-Subproject commit 34db6e6f2dc8397bc2af64fa8325366907c1dd90
+Subproject commit a72ca2375278c6a68682d6975de3d889be14c734
diff --git a/zipr_umbrella b/zipr_umbrella
index 6ad3ad5..3a2c0d3 160000
--- a/zipr_umbrella
+++ b/zipr_umbrella
@@ -1 +1 @@
-Subproject commit 6ad3ad5693a626b35fc20c5090adc523d69384d7
+Subproject commit 3a2c0d31167517bbdcca3596863f36cd1dbb7922
-- 
GitLab