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