diff --git a/bin/zafl.sh b/bin/zafl.sh
index c49d6cdf1ae1dbdbcc490113043d01d40a84d623..5e342283fcd2617cf749850ef088e7a8da3bde0c 100755
--- a/bin/zafl.sh
+++ b/bin/zafl.sh
@@ -123,6 +123,12 @@ if [ $? -eq 0 ]; then
 		echo Zafl: error: output binary does not show a dependence on the Zafl support library
 		exit 1
 	fi
+
+	ldd -d $output_zafl_binary | grep symbol | grep 'not defined' >/dev/null 2>&1
+	if [ $? -eq 0 ]; then
+		echo Zafl: error: something went wrong in resolving Zafl symnbols
+		exit 1
+	fi
 else
 	echo Zafl: error transforming input program
 	exit 1