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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. NONE 1 foo $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. NONE 2 a b $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. NONE 3 alpha bravo charlie $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. NONE 1 foo $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. NONE 2 a b $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. NONE 3 alpha bravo charlie $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. NONE 1 foo $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. NONE 2 a b $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. NONE 3 alpha bravo charlie $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. NONE 1 foo $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -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 Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. DOS_UNCONTROLLED_EXIT 2 a $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -D $SS_TC_ROOT/testData/good-03/psql weakness_started_jJuVzzk0KLuQwMTaxujV AND ((NOT PERFORMER AND (segfault_code_7MBBVtMO3K OR segfault_code_J5FIq18QA2 OR segfault_code_ep8URTcmTN OR segfault_code_mceWZrkOtK OR segfault_code_F65R3U0gim OR segfault_code_2x7XNu6r25 OR segfault_msg_tGUHZlfgmH OR illegal_inst_msg_168yiVGUrn) AND NOT timeout_fqcUHkbXPH) or (PERFORMER AND NOT ((segfault_code_7MBBVtMO3K OR segfault_code_J5FIq18QA2 OR segfault_code_ep8URTcmTN OR segfault_code_mceWZrkOtK OR segfault_code_F65R3U0gim OR segfault_code_2x7XNu6r25 OR segfault_msg_tGUHZlfgmH OR illegal_inst_msg_168yiVGUrn) OR timeout_fqcUHkbXPH OR controlled_exit_jjmxVnZcUC))) (NOT PERFORMER AND (segfault_code_7MBBVtMO3K OR segfault_code_J5FIq18QA2 OR segfault_code_ep8URTcmTN OR segfault_code_mceWZrkOtK OR segfault_code_F65R3U0gim OR segfault_code_2x7XNu6r25 OR segfault_msg_tGUHZlfgmH OR illegal_inst_msg_168yiVGUrn) AND NOT timeout_fqcUHkbXPH) or (PERFORMER AND NOT ((segfault_code_7MBBVtMO3K OR segfault_code_J5FIq18QA2 OR segfault_code_ep8URTcmTN OR segfault_code_mceWZrkOtK OR segfault_code_F65R3U0gim OR segfault_code_2x7XNu6r25 OR segfault_msg_tGUHZlfgmH OR illegal_inst_msg_168yiVGUrn) OR timeout_fqcUHkbXPH OR controlled_exit_jjmxVnZcUC)) 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 None stonesoup_trace:weakness_start Read a space-delimited string from the input. The first element in the string is the number of elements following it. Then read in the following elements, and output them to stderr. If there are fewer elements than expected, a seg fault occurs. DOS_UNCONTROLLED_EXIT 10 a b c $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so -D $SS_TC_ROOT/testData/good-03/psql weakness_started_XjvqNq9l9cKBwqh3dLRD AND ((NOT PERFORMER AND (segfault_code_pM0ZE42VZS OR segfault_code_bhDyrvYeHl OR segfault_code_xdx1WGphtt OR segfault_code_JttyY1dWBH OR segfault_code_v71T5vyNNz OR segfault_code_ewUgHpwgGq OR segfault_msg_twzR5t2g4z OR illegal_inst_msg_dKmsEXzC9J) AND NOT timeout_wsc5eBb2zt) or (PERFORMER AND NOT ((segfault_code_pM0ZE42VZS OR segfault_code_bhDyrvYeHl OR segfault_code_xdx1WGphtt OR segfault_code_JttyY1dWBH OR segfault_code_v71T5vyNNz OR segfault_code_ewUgHpwgGq OR segfault_msg_twzR5t2g4z OR illegal_inst_msg_dKmsEXzC9J) OR timeout_wsc5eBb2zt OR controlled_exit_UbHYYPlUB5))) (NOT PERFORMER AND (segfault_code_pM0ZE42VZS OR segfault_code_bhDyrvYeHl OR segfault_code_xdx1WGphtt OR segfault_code_JttyY1dWBH OR segfault_code_v71T5vyNNz OR segfault_code_ewUgHpwgGq OR segfault_msg_twzR5t2g4z OR illegal_inst_msg_dKmsEXzC9J) AND NOT timeout_wsc5eBb2zt) or (PERFORMER AND NOT ((segfault_code_pM0ZE42VZS OR segfault_code_bhDyrvYeHl OR segfault_code_xdx1WGphtt OR segfault_code_JttyY1dWBH OR segfault_code_v71T5vyNNz OR segfault_code_ewUgHpwgGq OR segfault_msg_twzR5t2g4z OR illegal_inst_msg_dKmsEXzC9J) OR timeout_wsc5eBb2zt OR controlled_exit_UbHYYPlUB5)) 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 None stonesoup_trace:weakness_start