diff --git a/bin/zafl.sh b/bin/zafl.sh index 3e0f7324ea6d38a341d8c0843c1f51c0022f49bb..d29ef894cc8eb08f4fa5c36c7ef658a64aea6138 100755 --- a/bin/zafl.sh +++ b/bin/zafl.sh @@ -40,7 +40,7 @@ usage() echo } -ida_or_rida_opt=" -s meds_static=off -s rida=on " +ida_or_rida_opt=" -c rida " stars_opt=" -o zax:--stars " zax_opt=" " other_args="" @@ -293,7 +293,7 @@ fi log_msg "Transforming input binary $input_binary into $output_zafl_binary" zax_opt=" $zax_opt $float_opt " -cmd="$ZAFL_TM_ENV $PSZ -c rida $input_binary $output_zafl_binary $ida_or_rida_opt -c move_globals=on -c zax=on -o move_globals:--elftables-only $stars_opt $zax_opt $verbose_opt $options $other_args" +cmd="$ZAFL_TM_ENV $PSZ $input_binary $output_zafl_binary $ida_or_rida_opt -c move_globals=on -c zax=on -o move_globals:--elftables-only $stars_opt $zax_opt $verbose_opt $options $other_args" if [ ! -z "$ZAFL_TM_ENV" ]; then log_msg "Trace map will be expected at fixed address"