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