Test both ida and rida for sha256.zafl

bin/zafl.sh

@@ -78,7 +78,7 @@ parse_args()
 				exit 0
 				;;
 			--ida)
-				ida_or_rida_opt=" "
+				ida_or_rida_opt=" -s meds_static=on -s rida=off "
 				shift
 				;;
 			--rida)
@@ -214,9 +214,6 @@ else
 	options=" $options $entry_opt "
 fi
 
-echo "entry_opt: $entry_opt"
-echo "exit_opt: $exit_opt"
-
 if [ ! -z "$exit_opt" ]; then
 	options=" $options $exit_opt "
 fi

test/sha256sum/test_sha256sum.sh

@@ -56,19 +56,19 @@ mkdir $session
 pushd $session
 
 # build ZAFL version of sha256sum executable
-zafl.sh `which sha256sum` sha256sum.zafl --tempdir analysis.sha256sum.zafl
+zafl.sh `which sha256sum` sha256sum.ida.zafl --tempdir analysis.sha256sum.ida.zafl --ida
 if [ $? -eq 0 ]; then
-	log_success "build sha256sum.zafl"
+	log_success "build sha256sum.ida.zafl"
 else
-	log_error "build sha256sum.zafl"
+	log_error "build sha256sum.ida.zafl"
 fi
-grep ATTR analysis.sha256sum.zafl/logs/zafl.log
+grep ATTR analysis.sha256sum.ida.zafl/logs/zafl.log
 
-log_message "Fuzz for $AFL_TIMEOUT secs"
-fuzz_with_zafl $(realpath ./sha256sum.zafl)
+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
+zafl.sh `which sha256sum` sha256sum.rida.zafl --tempdir analysis.sha256sum.rida.zafl --rida
 if [ $? -eq 0 ]; then
 	log_success "build sha256sum.rida.zafl"
 else