Make floating instrumentation the default

bin/zafl.sh

@@ -34,8 +34,8 @@ usage()
 	echo "     -f, --fork-server-only                  Fork server only"
 	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"
-	echo "     -I, --disable-floating-instrumentation  Use first instruction for instrumentation in basic blocks (default)"
+	echo "     -i, --enable-floating-instrumentation   Select best instrumentation point within basic block (default)"
+	echo "     -I, --disable-floating-instrumentation  Use first instruction for instrumentation in basic blocks"
 	echo "     --enable-context-sensitivity <style>    style={callsite,function} only function supported currently (off by default)"
 	echo "     -r, --random-seed <value>               Specify random seed"
 #	echo "     -l, --enable-locality                   Maintain code locality (best effort) when instrumenting binary"
@@ -48,7 +48,8 @@ ida_or_rida_opt=" -c rida "
 stars_opt=" -o zax:--stars "
 zax_opt=""
 other_args=""
-float_opt=""
+#float_opt=""
+float_opt=" -o zax:--enable-floating-instrumentation "
 context_sensitivity_opt=""
 trace_opt=""
 zipr_opt=""