Creating test case using base program.
Added an environment variable read to get a key in order to read in data from shared memory.
Completed injection.
UNSPECIFIED
UNSPECIFIED
$SS_TC_ROOT/$SS_TC_INSTALL/bin/ffmpeg
env
./configure --prefix="$SS_TC_ROOT/$SS_TC_INSTALL" --enable-pic --disable-static --enable-shared --disable-yasm --disable-doc --enable-pthreads --disable-w32threads --disable-os2threads --enable-zlib --enable-openssl --disable-asm --extra-cflags="$SS_CFLAGS" --extra-ldflags="$SS_LDFLAGS" --extra-libs="$SS_LIBS"
mv config.mak config.mak.bak
awk -v compiler="$SS_CC" '/CC=gcc/{gsub(/gcc/, compiler)};{print}' config.mak.bak > config.mak && true
make V=1
make install V=1
remove the audio from a video
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
NONE
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-an -i grsm_0001-shorter.mov good-01/grsm_0001_no_audio.mov
(GOOD-01-CENTOS OR GOOD-01-UBUNTU OR GOOD-01-DEBIAN) AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-01/grsm_0001_no_audio.mov
good-01/grsm_0001_no_audio-centos.mov
good-01/grsm_0001_no_audio.mov
good-01/grsm_0001_no_audio-ubuntu.mov
good-01/grsm_0001_no_audio.mov
good-01/grsm_0001_no_audio-debian.mov
DOES_NOT_RETURN
CONTROLLED_EXIT
change the frame rate and aspect ration of a video
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
NONE
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-r 20 -aspect 16:9 -i elis_m0001-shorter.mov good-02/elis_m0001_rate_aspect.mov
(GOOD-02-CENTOS OR GOOD-02-UBUNTU OR GOOD-02-DEBIAN) AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-02/elis_m0001_rate_aspect.mov
good-02/elis_m0001_rate_aspect-centos.mov
good-02/elis_m0001_rate_aspect.mov
good-02/elis_m0001_rate_aspect-ubuntu.mov
good-02/elis_m0001_rate_aspect.mov
good-02/elis_m0001_rate_aspect-debian.mov
DOES_NOT_RETURN
CONTROLLED_EXIT
remove the audio and change the video format from .mov to .mp4 using the mpeg4 codec
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
NONE
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-an -i bost_people_0001-shorter.mov -vcodec mpeg4 -strict -2 good-03/bost_people_0001.mp4
(GOOD-03-CENTOS OR GOOD-03-UBUNTU OR GOOD-03-DEBIAN) AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-03/bost_people_0001.mp4
good-03/bost_people_0001-centos.mp4
good-03/bost_people_0001.mp4
good-03/bost_people_0001-ubuntu.mp4
good-03/bost_people_0001.mp4
good-03/bost_people_0001-debian.mp4
DOES_NOT_RETURN
CONTROLLED_EXIT
copy the audio file and convert the number of audio channels to 2.
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
NONE
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-i ApacheTomcat-SomewhereInMyMind.mp3 -acodec copy -ac 2 good-04/ApacheTomcat_dualchannelaudio.mp3
GOOD-04 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-04/ApacheTomcat_dualchannelaudio.mp3
good-04/ApacheTomcat_dualchannelaudio.mp3
DOES_NOT_RETURN
CONTROLLED_EXIT
remove original audio from a file and combine the audio from another file to create a new video and audio file
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
NONE
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-an -i grsm_0001-shorter.mov -i ApacheTomcat-SomewhereInMyMind.mp3 -acodec copy good-05/combined.mov
(GOOD-05-CENTOS OR GOOD-05-UBUNTU OR GOOD-05-DEBIAN) AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-05/combined.mov
good-05/combined-centos.mov
good-05/combined.mov
good-05/combined-ubuntu.mov
good-05/combined.mov
good-05/combined-debian.mov
DOES_NOT_RETURN
CONTROLLED_EXIT
Convert the size of a video to vga (640x480)
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
NONE
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-i good-06/combined.mov -strict -2 -s vga good-06/combined_vga_sized.mov
(GOOD-06-CENTOS OR GOOD-06-UBUNTU OR GOOD-06-DEBIAN) AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-06/combined_vga_sized.mov
good-06/combined_vga_sized-centos.mov
good-06/combined_vga_sized.mov
good-06/combined_vga_sized-ubuntu.mov
good-06/combined_vga_sized.mov
good-06/combined_vga_sized-debian.mov
DOES_NOT_RETURN
CONTROLLED_EXIT
Covert a .wav file to .mp2 at 22050Hz
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
NONE
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-i good-07/Bow_To_My_firewall.wav -ar 22050 good-07/Bow_To_My_firewall.mp2
GOOD-07 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-07/Bow_To_My_firewall.mp2
good-07/Bow_To_My_firewall.mp2
DOES_NOT_RETURN
CONTROLLED_EXIT
Change the bitrate and do it in two passes
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
NONE
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-b 300 -pass 2 -i grsm_0001-shorter.mov good-08/grsm_0001_bitrate.mov
(GOOD-08-CENTOS OR GOOD-08-UBUNTU OR GOOD-08-DEBIAN) AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-08/grsm_0001_bitrate.mov
good-08/grsm_0001_bitrate-centos.mov
good-08/grsm_0001_bitrate.mov
good-08/grsm_0001_bitrate-ubuntu.mov
good-08/grsm_0001_bitrate.mov
good-08/grsm_0001_bitrate-debian.mov
DOES_NOT_RETURN
CONTROLLED_EXIT
Convert images into a video
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
NONE
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-f image2 -i good-09/%03d.jpg -r 12 -s vga good-09/images.avi
(GOOD-09-CENTOS OR GOOD-09-UBUNTU OR GOOD-09-DEBIAN) AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-09/images.avi
good-09/images-centos.avi
good-09/images.avi
good-09/images-ubuntu.avi
good-09/images.avi
good-09/images-debian.avi
DOES_NOT_RETURN
CONTROLLED_EXIT
Extract every fifth frame and convert it to an image
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
NONE
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-i elis_m0001-shorter.mov -r 5 -s vga good-10/elise-%04d.jpg
((GOOD-10-1-CENTOS AND GOOD-10-2-CENTOS) OR (GOOD-10-1-UBUNTU AND GOOD-10-2-UBUNTU) OR (GOOD-10-1-DEBIAN AND GOOD-10-2-DEBIAN)) AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-10/elise-0001.jpg
good-10/elise-0001-centos.jpg
good-10/elise-0028.jpg
good-10/elise-0028-centos.jpg
good-10/elise-0001.jpg
good-10/elise-0001-ubuntu.jpg
good-10/elise-0028.jpg
good-10/elise-0028-ubuntu.jpg
good-10/elise-0001.jpg
good-10/elise-0001-debian.jpg
good-10/elise-0028.jpg
good-10/elise-0028-debian.jpg
DOES_NOT_RETURN
CONTROLLED_EXIT
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
DOS_UNCONTROLLED_EXIT
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-i good-07/Bow_To_My_firewall.wav -ar 22050 good-07/Bow_To_My_firewall.mp2
weakness_started_lTizmv72WAuyWMjm7ezD AND ((NOT PERFORMER AND (segfault_code_8qz1ZfELuG OR segfault_code_hIlOFgMDZq OR segfault_code_U8U44RP3dw OR segfault_code_xiRyujmitL OR segfault_code_yV06kFRVYZ OR segfault_msg_8J4ReHYqXt OR illegal_inst_msg_5WCADexaAE) AND NOT timeout_H4HVJLSigd) or (PERFORMER AND NOT ((segfault_code_8qz1ZfELuG OR segfault_code_hIlOFgMDZq OR segfault_code_U8U44RP3dw OR segfault_code_xiRyujmitL OR segfault_code_yV06kFRVYZ OR segfault_msg_8J4ReHYqXt OR illegal_inst_msg_5WCADexaAE) OR timeout_H4HVJLSigd)))
(NOT PERFORMER AND (segfault_code_8qz1ZfELuG OR segfault_code_hIlOFgMDZq OR segfault_code_U8U44RP3dw OR segfault_code_xiRyujmitL OR segfault_code_yV06kFRVYZ OR segfault_msg_8J4ReHYqXt OR illegal_inst_msg_5WCADexaAE) AND NOT timeout_H4HVJLSigd) or (PERFORMER AND NOT ((segfault_code_8qz1ZfELuG OR segfault_code_hIlOFgMDZq OR segfault_code_U8U44RP3dw OR segfault_code_xiRyujmitL OR segfault_code_yV06kFRVYZ OR segfault_msg_8J4ReHYqXt OR illegal_inst_msg_5WCADexaAE) OR timeout_H4HVJLSigd))
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
Good inputs:1) environement variable is set to a value whose length mod 3 is 0 or 1Bad inputs:1) environment variable is not set2) environment variable is set to a value whose length mod 3 is not 0 or 1
DOS_UNCONTROLLED_EXIT
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-c.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
0
-f image2 -i good-09/%03d.jpg -r 12 -s vga good-09/images.avi
weakness_started_UskPKjK92XcXl41wOCAF AND ((NOT PERFORMER AND (segfault_code_inFi28zlJ3 OR segfault_code_DxULK5biUF OR segfault_code_XTarj3Zwmj OR segfault_code_i37lxClYcD OR segfault_code_vCVzA3ix8B OR segfault_msg_TDRDQi4nkj OR illegal_inst_msg_CBuwPwk2al) AND NOT timeout_89KdyBQ9cG) or (PERFORMER AND NOT ((segfault_code_inFi28zlJ3 OR segfault_code_DxULK5biUF OR segfault_code_XTarj3Zwmj OR segfault_code_i37lxClYcD OR segfault_code_vCVzA3ix8B OR segfault_msg_TDRDQi4nkj OR illegal_inst_msg_CBuwPwk2al) OR timeout_89KdyBQ9cG)))
(NOT PERFORMER AND (segfault_code_inFi28zlJ3 OR segfault_code_DxULK5biUF OR segfault_code_XTarj3Zwmj OR segfault_code_i37lxClYcD OR segfault_code_vCVzA3ix8B OR segfault_msg_TDRDQi4nkj OR illegal_inst_msg_CBuwPwk2al) AND NOT timeout_89KdyBQ9cG) or (PERFORMER AND NOT ((segfault_code_inFi28zlJ3 OR segfault_code_DxULK5biUF OR segfault_code_XTarj3Zwmj OR segfault_code_i37lxClYcD OR segfault_code_vCVzA3ix8B OR segfault_msg_TDRDQi4nkj OR illegal_inst_msg_CBuwPwk2al) OR timeout_89KdyBQ9cG))
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