Creating test case using base program. Added an environment variable read to the function definition. Completed injection. TRUE UNSPECIFIED UNSPECIFIED $SS_TC_ROOT/$SS_TC_INSTALL/bin/postgres -p 8432 ./configure --prefix="$SS_TC_ROOT/$SS_TC_INSTALL" --with-pgport=8432 --with-libraries="$SS_TC_DEPS/lib" --with-includes="$SS_TC_DEPS/include" --with-openssl --with-libxml --with-libxslt --without-selinux --with-readline --without-tcl --without-perl --without-python --without-gssapi --without-pam --without-krb5 --with-ldap --without-bonjour --with-zlib --disable-thread-safety make CC="$SS_CC" CCLD="$SS_LNK" make install CC="$SS_CC" CCLD="$SS_LNK" initalize a database Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. NONE /opt/stonesoup/workspace/testData/good01.txt Hello World $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 sudo -E -u postgres $SS_TC_ROOT/$SS_TC_INSTALL/bin/initdb $SS_TC_ROOT/testData/good-01/psqldb (UTF8 OR ASCII) AND NOT TIMEOUT AND NOT CONTROLLED_EXIT good-01/good-01-UTF8.out good-01/good-01-ASCII.out DOES_NOT_RETURN CONTROLLED_EXIT perform a select Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. NONE /opt/stonesoup/workspace/testData/good02.txt This $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-02/psql GOOD-02 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT good-02/good-02.out DOES_NOT_RETURN CONTROLLED_EXIT perform an insert Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. NONE /opt/stonesoup/workspace/testData/badfilename.txt $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-03/psql GOOD-03 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT good-03/good-03.out DOES_NOT_RETURN CONTROLLED_EXIT perform a create Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. NONE /opt/stonesoup/workspace/testData/good01.txt Hello World $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-04/psql GOOD-04 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT good-04/good-04.out DOES_NOT_RETURN CONTROLLED_EXIT perform a delete Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. NONE /opt/stonesoup/workspace/testData/good02.txt This $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-05/psql GOOD-05 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT good-05/good-05.out DOES_NOT_RETURN CONTROLLED_EXIT perform a drop Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. NONE /opt/stonesoup/workspace/testData/badfilename.txt $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-06/psql GOOD-06 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT good-06/good-06.out DOES_NOT_RETURN CONTROLLED_EXIT import a .sql file Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. NONE /opt/stonesoup/workspace/testData/good01.txt Hello World $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-07/psql GOOD-07 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT good-07/good-07.out DOES_NOT_RETURN CONTROLLED_EXIT perform an alter Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. NONE /opt/stonesoup/workspace/testData/good02.txt This $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-08/psql GOOD-08 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT good-08/good-08.out DOES_NOT_RETURN CONTROLLED_EXIT see who's logged in Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. NONE /opt/stonesoup/workspace/testData/badfilename.txt $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-09/psql GOOD-09 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT \s*booktown\s*\|\s*root\s*\|\s*([0-9]{1,3}\.){3}[0-9]{1,3}\s* DOES_NOT_RETURN CONTROLLED_EXIT perform a select using LIKE Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. NONE /opt/stonesoup/workspace/testData/good01.txt Hello World $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-10/psql GOOD-10 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT good-10/good-10.out DOES_NOT_RETURN CONTROLLED_EXIT Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. DOS_UNCONTROLLED_EXIT READ_APPLICATION_DATA /opt/stonesoup/workspace/testData/bad01.txt abcdefghijklmnopqrstuvwxyz $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-10/psql weakness_started_BfO6zq4pJ9x6O07KIOgJ AND ((NOT PERFORMER AND (segfault_code_V23WIoBhWF OR segfault_code_Muj55ExDwO OR segfault_code_QtH86nLkUB OR segfault_code_M7etEakqMC OR segfault_code_cDIQjBrGwm OR segfault_code_NIf1vg3A8P OR segfault_msg_UdaRzRrnXY OR illegal_inst_msg_IpcI3HcrMP OR null_termination_ksXMIfM2Nw) AND NOT timeout_TDizq6eH9r) or (PERFORMER AND NOT ((segfault_code_V23WIoBhWF OR segfault_code_Muj55ExDwO OR segfault_code_QtH86nLkUB OR segfault_code_M7etEakqMC OR segfault_code_cDIQjBrGwm OR segfault_code_NIf1vg3A8P OR segfault_msg_UdaRzRrnXY OR illegal_inst_msg_IpcI3HcrMP OR null_termination_ksXMIfM2Nw) OR timeout_TDizq6eH9r OR controlled_exit_DpfpAbUdrj))) (NOT PERFORMER AND (segfault_code_V23WIoBhWF OR segfault_code_Muj55ExDwO OR segfault_code_QtH86nLkUB OR segfault_code_M7etEakqMC OR segfault_code_cDIQjBrGwm OR segfault_code_NIf1vg3A8P OR segfault_msg_UdaRzRrnXY OR illegal_inst_msg_IpcI3HcrMP OR null_termination_ksXMIfM2Nw) AND NOT timeout_TDizq6eH9r) or (PERFORMER AND NOT ((segfault_code_V23WIoBhWF OR segfault_code_Muj55ExDwO OR segfault_code_QtH86nLkUB OR segfault_code_M7etEakqMC OR segfault_code_cDIQjBrGwm OR segfault_code_NIf1vg3A8P OR segfault_msg_UdaRzRrnXY OR illegal_inst_msg_IpcI3HcrMP OR null_termination_ksXMIfM2Nw) OR timeout_TDizq6eH9r OR controlled_exit_DpfpAbUdrj)) DOES_NOT_RETURN CONTROLLED_EXIT CONTINUED_EXECUTION None 132 None 134 None 135 None 136 None 139 None 1 None Segmentation fault None Illegal instruction logfile.txt .{16}A{47}NEW TEST None stonesoup_trace:weakness_start Good inputs: 1) environment variable is not set. 2) environment variable is set to a filename that exists and whose contents contain a null character in first 16 bytes.3) environment variable is set to a filename that does not exist.Bad input: 1) environment variable is set to a file that does not contain a null character in first 16 bytes. DOS_UNCONTROLLED_EXIT READ_APPLICATION_DATA /opt/stonesoup/workspace/testData/bad02.txt this string is really long and does not contain a null char soon enough $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-03/psql weakness_started_TmoK30jmI3eIaI66HhuY AND ((NOT PERFORMER AND (segfault_code_RTRHrID0V4 OR segfault_code_0u0B1RIhP8 OR segfault_code_t8rphCUpSE OR segfault_code_dqlD8j5N3K OR segfault_code_LpHdKkeQOO OR segfault_code_84NODeOQek OR segfault_msg_hUK7EtA9Na OR illegal_inst_msg_a1KY8QNFA1 OR null_termination_HUeO0XjYXb) AND NOT timeout_AeIV6WXsAK) or (PERFORMER AND NOT ((segfault_code_RTRHrID0V4 OR segfault_code_0u0B1RIhP8 OR segfault_code_t8rphCUpSE OR segfault_code_dqlD8j5N3K OR segfault_code_LpHdKkeQOO OR segfault_code_84NODeOQek OR segfault_msg_hUK7EtA9Na OR illegal_inst_msg_a1KY8QNFA1 OR null_termination_HUeO0XjYXb) OR timeout_AeIV6WXsAK OR controlled_exit_yxh2QQIuHt))) (NOT PERFORMER AND (segfault_code_RTRHrID0V4 OR segfault_code_0u0B1RIhP8 OR segfault_code_t8rphCUpSE OR segfault_code_dqlD8j5N3K OR segfault_code_LpHdKkeQOO OR segfault_code_84NODeOQek OR segfault_msg_hUK7EtA9Na OR illegal_inst_msg_a1KY8QNFA1 OR null_termination_HUeO0XjYXb) AND NOT timeout_AeIV6WXsAK) or (PERFORMER AND NOT ((segfault_code_RTRHrID0V4 OR segfault_code_0u0B1RIhP8 OR segfault_code_t8rphCUpSE OR segfault_code_dqlD8j5N3K OR segfault_code_LpHdKkeQOO OR segfault_code_84NODeOQek OR segfault_msg_hUK7EtA9Na OR illegal_inst_msg_a1KY8QNFA1 OR null_termination_HUeO0XjYXb) OR timeout_AeIV6WXsAK OR controlled_exit_yxh2QQIuHt)) DOES_NOT_RETURN CONTROLLED_EXIT CONTINUED_EXECUTION None 132 None 134 None 135 None 136 None 139 None 1 None Segmentation fault None Illegal instruction logfile.txt .{16}A{47}NEW TEST None stonesoup_trace:weakness_start