Added robustness checks to make sure integerbugdetector transform has a black...

Added robustness checks to make sure integerbugdetector transform has a black list of functions even when P1 fails
Added timeout to BED on a per input basis (on programs that expect stdin, the replayer would hang forever)

tools/ps_analyze.sh

@@ -144,7 +144,13 @@ if [ ! "X" = "X"$PGUSER ]; then
 				echo "No coverage file -- do not attempt P1 transform" > p1transform.out
 			fi
 
-			$SECURITY_TRANSFORMS_HOME/tools/transforms/integerbugtransform.exe $cloneid p1.xform/p1.filtered_out > integerbugtransform.out 2>&1
+			# reuse black list from p1 step (if present) o/w blacklist libc
+			if [ -f p1.xform/p1.coverage ]; then
+				BLACK_LIST=p1.xform/p1.filtered_out
+			else
+				BLACK_LIST="$PEASOUP_HOME/tools/p1xform.filter.libc.txt"
+			fi
+			$SECURITY_TRANSFORMS_HOME/tools/transforms/integerbugtransform.exe $cloneid "$BLACK_LIST" > integerbugtransform.out 2>&1
 			log integerbugtransform.out
 
 			$SECURITY_TRANSFORMS_HOME/libIRDB/test/ilr.exe $cloneid > ilr.out 2>&1 				# perform ILR 

tools/ps_validate.sh

@@ -15,6 +15,8 @@ INPUT_DIR=$3                # directory containing inputs (.../concolic.files_a.
 
 BASELINE_OUTPUT_DIR=$INPUT_DIR/sandboxed-files
 
+REPLAYER_TIMEOUT=120         # timeout value for the replayer -- for now 120 seconds per input
+
 echo "=========================================="
 echo "Running ps_validate.sh"
 echo "                STRATAFIED_BINARY: $STRATAFIED_BINARY"
@@ -38,7 +40,8 @@ do
   touch stderr.$input
 
   echo "ps_validate.sh: cmd: STRATA_SPRI_FILE=$BSPRI $GRACE_HOME/concolic/bin/replayer --symbols=a.sym --stdout=stdout.$input --stderr=stderr.$input --engine=sdt ./a.stratafied $i"
-    STRATA_SPRI_FILE="$BSPRI" "$GRACE_HOME/concolic/bin/replayer" --symbols=a.sym --stdout=stdout.$input --stderr=stderr.$input --engine=sdt $STRATAFIED_BINARY $i
+#    STRATA_SPRI_FILE="$BSPRI" "$GRACE_HOME/concolic/bin/replayer" --symbols=a.sym --stdout=stdout.$input --stderr=stderr.$input --engine=sdt $STRATAFIED_BINARY $i
+    STRATA_SPRI_FILE="$BSPRI" timeout $REPLAYER_TIME "$GRACE_HOME/concolic/bin/replayer" --symbols=a.sym --stdout=stdout.$input --stderr=stderr.$input --engine=sdt $STRATAFIED_BINARY $i  
 
   BASELINE_OUTPUT_STDOUT=$BASELINE_OUTPUT_DIR/run_$input_number/stdout
   BASELINE_OUTPUT_STDERR=$BASELINE_OUTPUT_DIR/run_$input_number/stderr