Remove --ida in test (deprecated)

bin/zafl.sh

@@ -17,8 +17,6 @@ usage()
 	echo "zafl.sh <input_binary> <output_zafl_binary> [options]"
 	echo 
 	echo "options:"
-	echo "     --ida                          Use IDAPro (default)"
-	echo "     --rida                         Do not use IDAPro"
 	echo "     -s, --stars                    Use STARS (default)"
 	echo "     -S, --no-stars                 Do not use STARS"
 	echo "     -g, --graph-optimization       Use basic block graph optimizations"
@@ -78,11 +76,11 @@ parse_args()
 				exit 0
 				;;
 			--ida)
-				ida_or_rida_opt=" -s meds_static=on -s rida=off "
+				ida_or_rida_opt=" -c meds_static=on -s rida=off "
 				shift
 				;;
 			--rida)
-				ida_or_rida_opt=" -s meds_static=off -s rida=on "
+				ida_or_rida_opt=" -s meds_static=off -c rida=on "
 				shift
 				;;
 			-s | --stars)

test/sha256sum/test_sha256sum.sh

@@ -55,26 +55,14 @@ fuzz_with_zafl()
 mkdir $session
 pushd $session
 
-# build ZAFL version of sha256sum executable
-zafl.sh `which sha256sum` sha256sum.ida.zafl --tempdir analysis.sha256sum.ida.zafl --ida
-if [ $? -eq 0 ]; then
-	log_success "build sha256sum.ida.zafl"
-else
-	log_error "build sha256sum.ida.zafl"
-fi
-grep ATTR analysis.sha256sum.ida.zafl/logs/zafl.log
-
-log_message "Fuzz ida.zafl for $AFL_TIMEOUT secs"
-fuzz_with_zafl $(realpath ./sha256sum.ida.zafl)
-
 # build ZAFL (no Ida) version of sha256sum executable
-zafl.sh `which sha256sum` sha256sum.rida.zafl --tempdir analysis.sha256sum.rida.zafl --rida
+zafl.sh `which sha256sum` sha256sum.rida.zafl --tempdir analysis.sha256sum
 if [ $? -eq 0 ]; then
 	log_success "build sha256sum.rida.zafl"
 else
 	log_error "build sha256sum.rida.zafl"
 fi
-grep ATTR analysis.sha256sum.rida.zafl/logs/zafl.log
+grep ATTR analysis.sha256sum/logs/zax.log
 
 log_message "Fuzz rida.zafl for $AFL_TIMEOUT secs"
 fuzz_with_zafl $(realpath ./sha256sum.rida.zafl)