Removing built files

Former-commit-id: 0c60fc9c9edd9cec84a9d72acbf0a87fd5fed008

tools/do_concolic.sh

@@ -38,7 +38,7 @@ if [ ! -f $sym ]; then
 fi
 
 
-echo STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym $strata_exe
+echo STRATA_GRACE=1 $GRACE_HOME/concolic/bin/pgrp-timeout $GRACE_TIMEOUT_VALUE $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym $strata_exe
      STRATA_GRACE=1 $GRACE_HOME/concolic/bin/pgrp-timeout $GRACE_TIMEOUT_VALUE $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym $strata_exe
 
 

tools/ps_analyze.sh

@@ -336,18 +336,23 @@ check_files()
 
 }
 
-check_for_iconv()
+check_for_bad_funcs()
 {
 	my_name=$1
-	nm $my_name|grep iconv_open  > /dev/null 2> /dev/null 
+	bad_funcs="htons ntohs ntohl htonl iconv_open"
+
+	for ducs_i in $bad_funcs
+	do
+		nm $my_name|grep $ducs_i  > /dev/null 2> /dev/null 
 	
-	if [ $? = 0 ]; then
-		echo Found iconv in executable, we should skip this test.
-		echo SKIP
-		echo Skip
-		echo skip
-		exit 255
-	fi
+		if [ $? = 0 ]; then
+			echo "Found bad function ($ducs_i) in executable, we should skip this test."
+			echo SKIP
+			echo Skip
+			echo skip
+			exit 255
+		fi
+	done
 }
 
 #
@@ -440,7 +445,7 @@ rm -f $stratafied_exe
 # and switch to that dir
 cd $newdir
 
-check_for_iconv $newname.ncexe
+check_for_bad_funcs $newname.ncexe
 
 # next, create a location for our log files
 mkdir logs 	

tools/ps_run.sh

@@ -94,4 +94,8 @@ if [ -f $datapath/diagnostics.out ]; then
 	fi
 fi
 
+# final check, in case we couldn't catch the signal
+if [ $SAVE_EXIT_CODE = 139 ]; then
+	exit 200
+fi
 exit $SAVE_EXIT_CODE