diff --git a/bin/zafl.sh b/bin/zafl.sh index 378838625c9e0d4895a00cd94b213ba77ad28af7..88bbeb3867e28a57272ef4d9a0bfd8988b7c83b3 100755 --- a/bin/zafl.sh +++ b/bin/zafl.sh @@ -10,8 +10,8 @@ usage() echo "zafl.sh <input_binary> <output_zafl_binary> [options]" echo echo "options:" - echo " --ida Use IDAPro" - echo " --rida Do not use IDAPro (default)" + echo " --ida Use IDAPro (default)" + echo " --rida Do not use IDAPro" echo " --stars Use STARS (default)" echo " --no-stars Do not use STARS" } @@ -33,8 +33,8 @@ output_zafl_binary=$2 shift shift -ida_or_rida_opt=" -s meds_static=off -s rida=on " -#ida_or_rida_opt=" " +#ida_or_rida_opt=" -s meds_static=off -s rida=on " +ida_or_rida_opt=" " stars_opt=" -o zafl:--stars " other_args=""