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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking NONE /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAaAAAAAAAAAAAAAAAA $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking NONE /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt Hello World! If this statement isn't more than 64 characters, it will go badly $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking NONE /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt Short is good for buffer overflows, unless you make a mistake and get it wrong $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking NONE /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAaAAAAAAAAAAAAAAAA $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking NONE /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt Hello World! If this statement isn't more than 64 characters, it will go badly $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking NONE /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt Short is good for buffer overflows, unless you make a mistake and get it wrong $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking NONE /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAaAAAAAAAAAAAAAAAA $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking NONE /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt Hello World! If this statement isn't more than 64 characters, it will go badly $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking NONE /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt Short is good for buffer overflows, unless you make a mistake and get it wrong $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking NONE /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAaAAAAAAAAAAAAAAAA $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking DOS_UNCONTROLLED_EXIT /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt Short is now bad $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-10/psql weakness_started_whk0nQF1nQLb3gYytaS8 AND ((NOT PERFORMER AND (segfault_code_8YBfnFCOOb OR segfault_code_WgcID143nF OR segfault_code_FonLbdFBOS OR segfault_code_k3oIMtLkls OR segfault_code_ZrCfoYv2fH OR segfault_code_NGUMWxfidu OR segfault_msg_zo7Mi3asDs OR illegal_inst_msg_zT8iQN9NNw) AND NOT timeout_RpmvOWr8bZ) or (PERFORMER AND NOT ((segfault_code_8YBfnFCOOb OR segfault_code_WgcID143nF OR segfault_code_FonLbdFBOS OR segfault_code_k3oIMtLkls OR segfault_code_ZrCfoYv2fH OR segfault_code_NGUMWxfidu OR segfault_msg_zo7Mi3asDs OR illegal_inst_msg_zT8iQN9NNw) OR timeout_RpmvOWr8bZ OR controlled_exit_pAa8k7yQ8P))) (NOT PERFORMER AND (segfault_code_8YBfnFCOOb OR segfault_code_WgcID143nF OR segfault_code_FonLbdFBOS OR segfault_code_k3oIMtLkls OR segfault_code_ZrCfoYv2fH OR segfault_code_NGUMWxfidu OR segfault_msg_zo7Mi3asDs OR illegal_inst_msg_zT8iQN9NNw) AND NOT timeout_RpmvOWr8bZ) or (PERFORMER AND NOT ((segfault_code_8YBfnFCOOb OR segfault_code_WgcID143nF OR segfault_code_FonLbdFBOS OR segfault_code_k3oIMtLkls OR segfault_code_ZrCfoYv2fH OR segfault_code_NGUMWxfidu OR segfault_msg_zo7Mi3asDs OR illegal_inst_msg_zT8iQN9NNw) OR timeout_RpmvOWr8bZ OR controlled_exit_pAa8k7yQ8P)) 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 Has a buffer declared on the stack. char[64] If input is shorter than 64 it will overflow,due to using improper sizeof and strlen checking DOS_UNCONTROLLED_EXIT /opt/stonesoup/workspace/testData/bismutite_ralish/hairpin_shilfa.txt AAAAAAAAAAAA $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 -D $SS_TC_ROOT/testData/good-05/psql weakness_started_sh9ppsKJjDhh9PUcRFqD AND ((NOT PERFORMER AND (segfault_code_epheR2wxGC OR segfault_code_VrMznbglf1 OR segfault_code_bz0oDq5JA7 OR segfault_code_iuRsbJqVV8 OR segfault_code_J2N3onfImj OR segfault_code_2hVnAugakQ OR segfault_msg_qakAzoMfRh OR illegal_inst_msg_OeO7Mm2KuV) AND NOT timeout_ZnkHnmfqog) or (PERFORMER AND NOT ((segfault_code_epheR2wxGC OR segfault_code_VrMznbglf1 OR segfault_code_bz0oDq5JA7 OR segfault_code_iuRsbJqVV8 OR segfault_code_J2N3onfImj OR segfault_code_2hVnAugakQ OR segfault_msg_qakAzoMfRh OR illegal_inst_msg_OeO7Mm2KuV) OR timeout_ZnkHnmfqog OR controlled_exit_DU1dSCn9cV))) (NOT PERFORMER AND (segfault_code_epheR2wxGC OR segfault_code_VrMznbglf1 OR segfault_code_bz0oDq5JA7 OR segfault_code_iuRsbJqVV8 OR segfault_code_J2N3onfImj OR segfault_code_2hVnAugakQ OR segfault_msg_qakAzoMfRh OR illegal_inst_msg_OeO7Mm2KuV) AND NOT timeout_ZnkHnmfqog) or (PERFORMER AND NOT ((segfault_code_epheR2wxGC OR segfault_code_VrMznbglf1 OR segfault_code_bz0oDq5JA7 OR segfault_code_iuRsbJqVV8 OR segfault_code_J2N3onfImj OR segfault_code_2hVnAugakQ OR segfault_msg_qakAzoMfRh OR illegal_inst_msg_OeO7Mm2KuV) OR timeout_ZnkHnmfqog OR controlled_exit_DU1dSCn9cV)) 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