Creating test case using base program. Added an environment variable read to get a filename to read in the file contents using an fread operation within the function 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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-06/psql weakness_started_lMaHehdiBMcvFZOK5PL7 AND ((NOT PERFORMER AND (segfault_code_zMULvQ42fy OR segfault_code_emhFJVqNms OR segfault_code_nv6CxW3xCV OR segfault_code_0BaOlUUV4E OR segfault_code_JUOJWFCgOb OR segfault_code_sq1LWPsIqf OR segfault_msg_IEowltsDaB OR illegal_inst_msg_QZ3kr7x1tY) AND NOT timeout_z6Z7TVlnh0) or (PERFORMER AND NOT ((segfault_code_zMULvQ42fy OR segfault_code_emhFJVqNms OR segfault_code_nv6CxW3xCV OR segfault_code_0BaOlUUV4E OR segfault_code_JUOJWFCgOb OR segfault_code_sq1LWPsIqf OR segfault_msg_IEowltsDaB OR illegal_inst_msg_QZ3kr7x1tY) OR timeout_z6Z7TVlnh0 OR controlled_exit_wjMTmIs980))) (NOT PERFORMER AND (segfault_code_zMULvQ42fy OR segfault_code_emhFJVqNms OR segfault_code_nv6CxW3xCV OR segfault_code_0BaOlUUV4E OR segfault_code_JUOJWFCgOb OR segfault_code_sq1LWPsIqf OR segfault_msg_IEowltsDaB OR illegal_inst_msg_QZ3kr7x1tY) AND NOT timeout_z6Z7TVlnh0) or (PERFORMER AND NOT ((segfault_code_zMULvQ42fy OR segfault_code_emhFJVqNms OR segfault_code_nv6CxW3xCV OR segfault_code_0BaOlUUV4E OR segfault_code_JUOJWFCgOb OR segfault_code_sq1LWPsIqf OR segfault_msg_IEowltsDaB OR illegal_inst_msg_QZ3kr7x1tY) OR timeout_z6Z7TVlnh0 OR controlled_exit_wjMTmIs980)) 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 /opt/stonesoup/workspace/testData/vulgarization_tutto/undarned_flocculant.txt 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-04/psql weakness_started_gbk4EdW7c1cIcWoURXhS AND ((NOT PERFORMER AND (segfault_code_EKvWxjXNAn OR segfault_code_WQqkFGTkaV OR segfault_code_UhzoCxHjVn OR segfault_code_pqRtzSjpbE OR segfault_code_WV2KnnM1Qn OR segfault_code_qH7kEHQEYO OR segfault_msg_HMkvt6pQwz OR illegal_inst_msg_zcQaYluk0d) AND NOT timeout_uUg6LPEaBA) or (PERFORMER AND NOT ((segfault_code_EKvWxjXNAn OR segfault_code_WQqkFGTkaV OR segfault_code_UhzoCxHjVn OR segfault_code_pqRtzSjpbE OR segfault_code_WV2KnnM1Qn OR segfault_code_qH7kEHQEYO OR segfault_msg_HMkvt6pQwz OR illegal_inst_msg_zcQaYluk0d) OR timeout_uUg6LPEaBA OR controlled_exit_XDtlO1qGwC))) (NOT PERFORMER AND (segfault_code_EKvWxjXNAn OR segfault_code_WQqkFGTkaV OR segfault_code_UhzoCxHjVn OR segfault_code_pqRtzSjpbE OR segfault_code_WV2KnnM1Qn OR segfault_code_qH7kEHQEYO OR segfault_msg_HMkvt6pQwz OR illegal_inst_msg_zcQaYluk0d) AND NOT timeout_uUg6LPEaBA) or (PERFORMER AND NOT ((segfault_code_EKvWxjXNAn OR segfault_code_WQqkFGTkaV OR segfault_code_UhzoCxHjVn OR segfault_code_pqRtzSjpbE OR segfault_code_WV2KnnM1Qn OR segfault_code_qH7kEHQEYO OR segfault_msg_HMkvt6pQwz OR illegal_inst_msg_zcQaYluk0d) OR timeout_uUg6LPEaBA OR controlled_exit_XDtlO1qGwC)) 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