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. UNSPECIFIED UNSPECIFIED $SS_TC_ROOT/$SS_TC_INSTALL/bin/openssl CFLAG="-O $CFLAGS" EX_LIBS="$LDFLAGS $LIBS" ./config --prefix="$SS_TC_ROOT/$SS_TC_INSTALL" shared make CC="$SS_CC" CCLD="$SS_LNK" EX_LIBS="$LDFLAGS $LIBS" make install_sw CC="$SS_CC" CCLD="$SS_LNK" EX_LIBS="$LDFLAGS $SS_LDFLAGS $LIBS" Generate an RSA private key Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. NONE /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt AAA $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 genpkey -out $SS_TC_ROOT/testOutput/good-01/key.pem -algorithm RSA GOOD-01 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT ../testOutput/good-01/key.pem -----END PRIVATE KEY----- DOES_NOT_RETURN CONTROLLED_EXIT Create a password hash using crypt, and salt of "xx" Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. NONE /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt 12345 Hello world! $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 passwd -crypt -salt xx password GOOD-02 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT xxj31ZMTZzkVA DOES_NOT_RETURN CONTROLLED_EXIT Encrypt a file with DES3 using salt and key of "stonesoup" Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. NONE /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt [Good-bye cruel world!] $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 des3 -salt -in good-03/file.txt -out $SS_TC_ROOT/testOutput/good-03/file.des3 -k "stonesoup" GOOD-03 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT ../testOutput/good-03/file.des3 Salted__ DOES_NOT_RETURN CONTROLLED_EXIT parse ASN1 structure Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. NONE /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt AAA $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 asn1parse -genstr 'UTF8:Hello World' GOOD-04 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT 0:d=0 hl=2 l= 11 prim: UTF8STRING :Hello World DOES_NOT_RETURN CONTROLLED_EXIT create Netscape certficiate from PEM Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. NONE /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt 12345 Hello world! $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 nseq -in good-05/cert.pem -toseq -out $SS_TC_ROOT/testOutput/good-05/nseq.pem GOOD-05 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT ../testOutput/good-05/nseq.pem -----END CERTIFICATE----- DOES_NOT_RETURN CONTROLLED_EXIT generate MIME content from text file, encrypting with x509 cert Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. NONE /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt [Good-bye cruel world!] $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 smime -in good-06/secretemail.txt -encrypt good-06/x509.pem GOOD-06 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT good-06/output.txt DOES_NOT_RETURN CONTROLLED_EXIT check primality of number Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. NONE /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt AAA $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 prime 15648972863 GOOD-07 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT 3A4C0603F is prime DOES_NOT_RETURN CONTROLLED_EXIT encrypt textfile with AES 256 and salt, base64 encoded result Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. NONE /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt 12345 Hello world! $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 enc -in good-08/secret.txt -aes256 -k password -S abacabb -base64 GOOD-08 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT U2FsdGVkX1+rrKuwAAAAACgoU5YHltmsjJifyZi0xJA= DOES_NOT_RETURN CONTROLLED_EXIT SHA1 with hmac of text file Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. NONE /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt [Good-bye cruel world!] $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 dgst -sha1 -c -hmac "secret-key" good-09/message.txt GOOD-09 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT HMAC-SHA1(good-09/message.txt)= 3a:da:b3:ba:5a:59:a9:56:8d:76:3a:d4:20:f6:13:cd:aa:49:41:a6 DOES_NOT_RETURN CONTROLLED_EXIT Generate SSL certificate and private key Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. NONE /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt AAA $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 req -new -newkey rsa:2048 -days 365 -nodes -x509 -keyout good-10/server.key -out good-10/server.crt -subj "/C=SP/ST=The Moon/L=TheDarkSide/O=KSP/OU=Moon Department/CN=ksp.moon" GOOD-10-1 AND GOOD-10-2 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT ../testData/good-10/server.crt -----END CERTIFICATE----- ../testData/good-10/server.key -----END PRIVATE KEY----- DOES_NOT_RETURN CONTROLLED_EXIT Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. DOS_UNCONTROLLED_EXIT /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt abc $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 prime 15648972863 weakness_started_iK3ajpy0fIz9gymwCuGP AND ((NOT PERFORMER AND (segfault_code_RSriz4MSJP OR segfault_code_rWgsUJOa5e OR segfault_code_kz2AFvrW5b OR segfault_code_CHyLHeqpKg OR segfault_code_M7jhogEtcV OR segfault_msg_8wy2Hgo2GR OR illegal_inst_msg_KZyJ3brsLj) AND NOT timeout_xPJyGAW1dD) or (PERFORMER AND NOT ((segfault_code_RSriz4MSJP OR segfault_code_rWgsUJOa5e OR segfault_code_kz2AFvrW5b OR segfault_code_CHyLHeqpKg OR segfault_code_M7jhogEtcV OR segfault_msg_8wy2Hgo2GR OR illegal_inst_msg_KZyJ3brsLj) OR timeout_xPJyGAW1dD))) (NOT PERFORMER AND (segfault_code_RSriz4MSJP OR segfault_code_rWgsUJOa5e OR segfault_code_kz2AFvrW5b OR segfault_code_CHyLHeqpKg OR segfault_code_M7jhogEtcV OR segfault_msg_8wy2Hgo2GR OR illegal_inst_msg_KZyJ3brsLj) AND NOT timeout_xPJyGAW1dD) or (PERFORMER AND NOT ((segfault_code_RSriz4MSJP OR segfault_code_rWgsUJOa5e OR segfault_code_kz2AFvrW5b OR segfault_code_CHyLHeqpKg OR segfault_code_M7jhogEtcV OR segfault_msg_8wy2Hgo2GR OR illegal_inst_msg_KZyJ3brsLj) OR timeout_xPJyGAW1dD)) DOES_NOT_RETURN CONTROLLED_EXIT CONTINUED_EXECUTION None 132 None 134 None 135 None 136 None 139 None Segmentation fault None Illegal instruction None stonesoup_trace:weakness_start Malloc a buffer. Copy the input string to the buffer. If the first character is 'a' or higher, free the buffer. Use the buffer. This will cause a seg fault if the buffer was previously freed. DOS_UNCONTROLLED_EXIT /opt/stonesoup/workspace/testData/annoyful_aly/timberyard_scalawag.txt this string begins with a lower-case letter $SS_TC_ROOT/logs/execute/lttng $SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so 0 asn1parse -genstr 'UTF8:Hello World' weakness_started_Jkd0LeuDi8CGIK8cLkmN AND ((NOT PERFORMER AND (segfault_code_NtcJ3mcyht OR segfault_code_ov2LktnMOP OR segfault_code_Yy6D4TLlAG OR segfault_code_AYQcQ2WBd0 OR segfault_code_BqQTafK7WS OR segfault_msg_YpMZuF3SS6 OR illegal_inst_msg_JYgH9pPL20) AND NOT timeout_9UG5TmgvHy) or (PERFORMER AND NOT ((segfault_code_NtcJ3mcyht OR segfault_code_ov2LktnMOP OR segfault_code_Yy6D4TLlAG OR segfault_code_AYQcQ2WBd0 OR segfault_code_BqQTafK7WS OR segfault_msg_YpMZuF3SS6 OR illegal_inst_msg_JYgH9pPL20) OR timeout_9UG5TmgvHy))) (NOT PERFORMER AND (segfault_code_NtcJ3mcyht OR segfault_code_ov2LktnMOP OR segfault_code_Yy6D4TLlAG OR segfault_code_AYQcQ2WBd0 OR segfault_code_BqQTafK7WS OR segfault_msg_YpMZuF3SS6 OR illegal_inst_msg_JYgH9pPL20) AND NOT timeout_9UG5TmgvHy) or (PERFORMER AND NOT ((segfault_code_NtcJ3mcyht OR segfault_code_ov2LktnMOP OR segfault_code_Yy6D4TLlAG OR segfault_code_AYQcQ2WBd0 OR segfault_code_BqQTafK7WS OR segfault_msg_YpMZuF3SS6 OR illegal_inst_msg_JYgH9pPL20) OR timeout_9UG5TmgvHy)) DOES_NOT_RETURN CONTROLLED_EXIT CONTINUED_EXECUTION None 132 None 134 None 135 None 136 None 139 None Segmentation fault None Illegal instruction None stonesoup_trace:weakness_start