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-07/psql weakness_started_pFRBiCcJi9wOxCoHbpyL AND ((NOT PERFORMER AND (segfault_code_2heLL76l0U OR segfault_code_etMMrPfNPq OR segfault_code_DFXIf7piSv OR segfault_code_Aqi4ohtdb6 OR segfault_code_ywU60VVuWw OR segfault_code_2bynvecYJr OR segfault_msg_brwMW5Q927 OR illegal_inst_msg_OLaOrRtAiB) AND NOT timeout_0OuhkXSfg0) or (PERFORMER AND NOT ((segfault_code_2heLL76l0U OR segfault_code_etMMrPfNPq OR segfault_code_DFXIf7piSv OR segfault_code_Aqi4ohtdb6 OR segfault_code_ywU60VVuWw OR segfault_code_2bynvecYJr OR segfault_msg_brwMW5Q927 OR illegal_inst_msg_OLaOrRtAiB) OR timeout_0OuhkXSfg0 OR controlled_exit_JTsmEuFq7u))) (NOT PERFORMER AND (segfault_code_2heLL76l0U OR segfault_code_etMMrPfNPq OR segfault_code_DFXIf7piSv OR segfault_code_Aqi4ohtdb6 OR segfault_code_ywU60VVuWw OR segfault_code_2bynvecYJr OR segfault_msg_brwMW5Q927 OR illegal_inst_msg_OLaOrRtAiB) AND NOT timeout_0OuhkXSfg0) or (PERFORMER AND NOT ((segfault_code_2heLL76l0U OR segfault_code_etMMrPfNPq OR segfault_code_DFXIf7piSv OR segfault_code_Aqi4ohtdb6 OR segfault_code_ywU60VVuWw OR segfault_code_2bynvecYJr OR segfault_msg_brwMW5Q927 OR illegal_inst_msg_OLaOrRtAiB) OR timeout_0OuhkXSfg0 OR controlled_exit_JTsmEuFq7u)) 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-08/psql weakness_started_QSWp1zFTVIfx5gVmTjJF AND ((NOT PERFORMER AND (segfault_code_NsrDCsWdcj OR segfault_code_I0ij4L7Apr OR segfault_code_DXYPBl4qDX OR segfault_code_xVt7ot01oc OR segfault_code_drCyEVWo3X OR segfault_code_tKJnjKE7iN OR segfault_msg_W4zuc5b9wt OR illegal_inst_msg_KmRVlTILCu) AND NOT timeout_NNotbhkMcl) or (PERFORMER AND NOT ((segfault_code_NsrDCsWdcj OR segfault_code_I0ij4L7Apr OR segfault_code_DXYPBl4qDX OR segfault_code_xVt7ot01oc OR segfault_code_drCyEVWo3X OR segfault_code_tKJnjKE7iN OR segfault_msg_W4zuc5b9wt OR illegal_inst_msg_KmRVlTILCu) OR timeout_NNotbhkMcl OR controlled_exit_qSvMuL6JAf))) (NOT PERFORMER AND (segfault_code_NsrDCsWdcj OR segfault_code_I0ij4L7Apr OR segfault_code_DXYPBl4qDX OR segfault_code_xVt7ot01oc OR segfault_code_drCyEVWo3X OR segfault_code_tKJnjKE7iN OR segfault_msg_W4zuc5b9wt OR illegal_inst_msg_KmRVlTILCu) AND NOT timeout_NNotbhkMcl) or (PERFORMER AND NOT ((segfault_code_NsrDCsWdcj OR segfault_code_I0ij4L7Apr OR segfault_code_DXYPBl4qDX OR segfault_code_xVt7ot01oc OR segfault_code_drCyEVWo3X OR segfault_code_tKJnjKE7iN OR segfault_msg_W4zuc5b9wt OR illegal_inst_msg_KmRVlTILCu) OR timeout_NNotbhkMcl OR controlled_exit_qSvMuL6JAf)) 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