This test takes in a value from a taint source.
Math is performed on the value such that, if the
value is 32767 or 32766, the resultant value 'wraps around',
and becomes negative. This results in an infinite loop.
stonesoup.jtree.Main
$SS_TC_ROOT/$SS_TC_INSTALL:$SS_TC_ROOT/$SS_TC_INSTALL/lib/*:$SS_TC_ROOT/$SS_TC_INSTALL/lib/opt/*:$SS_TC_DEPS/java/stonesoup/lttng/lttng-stonesoup-0.1.jar
UNSPECIFIED
UNSPECIFIED
java $SS_JAVA_OPTS -Djava.library.path=$SS_TC_DEPS/lib64/ -cp "$SS_JAVA_CLASSPATH" stonesoup.jtree.Main
env ANT_HOME=$SS_TC_DEPS/ant ant $SS_ANT_OPTS -Dstonesoup.database.postgres.required=no -Dstonesoup.hibernate.postgres.required=no -Dstonesoup.hibernate.mysql.required=no -Dstonesoup.database.mysql.required=no -Dstonesoup.socket.required=no -lib $SS_TC_DEPS/java/stonesoup/lttng/lttng-stonesoup-0.1.jar -Dstonesoup.socket.lib.dir="$SS_TC_DEPS/java/stonesoup/socket" -Dstonesoup.hibernate.mysql.lib.dir="$SS_TC_DEPS/java/stonesoup/hibernate/mysql" -Dstonesoup.hibernate.postgres.lib.dir="$SS_TC_DEPS/java/stonesoup/hibernate/postgres" -Dstonesoup.database.mysql.lib.dir="$SS_TC_DEPS/java/stonesoup/database/mysql" -Dstonesoup.database.postgres.lib.dir="$SS_TC_DEPS/java/stonesoup/database/postgres" -Dstonesoup.lttng.lib.dir="$SS_TC_DEPS/java/stonesoup/lttng" -Dstonesoup.lttng.dummy.lib.dir="$SS_TC_DEPS/java/stonesoup/lttng-dummy" -Ddir.dist=$SS_TC_ROOT/$SS_TC_INSTALL build
cp -r lib $SS_TC_ROOT/$SS_TC_INSTALL
Environment variable defining test value.
NONE
$SS_TC_ROOT/testData/turnspit_lividness.bin
2000
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-java.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
input/good-01
STDOUT-01 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-01/output.txt
DOES_NOT_RETURN
CONTROLLED_EXIT
Environment variable defining test value.
NONE
$SS_TC_ROOT/testData/turnspit_lividness.bin
4000
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-java.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
-l 1 input/good-02/
STDOUT-02 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-02/output.txt
DOES_NOT_RETURN
CONTROLLED_EXIT
Environment variable defining test value.
NONE
$SS_TC_ROOT/testData/turnspit_lividness.bin
2000
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-java.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
input/good-03/jtree-good-03.tar.gz
STDOUT-03 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-03/output.txt
DOES_NOT_RETURN
CONTROLLED_EXIT
Environment variable defining test value.
NONE
$SS_TC_ROOT/testData/turnspit_lividness.bin
4000
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-java.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
-l 2 input/good-04/jtree-good-04.tar.gz
STDOUT-04 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-04/output.txt
DOES_NOT_RETURN
CONTROLLED_EXIT
Environment variable defining test value.
NONE
$SS_TC_ROOT/testData/turnspit_lividness.bin
2000
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-java.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
input/good-01/ input/good-02/ input/good-03/jtree-good-03.tar.gz input/good-04/jtree-good-04.tar.gz
STDOUT-05-01 AND STDOUT-05-02 AND STDOUT-05-03 AND STDOUT-05-04 AND NOT TIMEOUT AND NOT CONTROLLED_EXIT
good-05/output1.txt
good-05/output2.txt
good-05/output3.txt
good-05/output4.txt
DOES_NOT_RETURN
CONTROLLED_EXIT
Environment variable defining test value.
DOS_BLOCKING
$SS_TC_ROOT/testData/turnspit_lividness.bin
32767
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-java.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
-l 2 input/good-04/jtree-good-04.tar.gz
weakness_started_KnssIfVt4Kj5ZqTZ2S1F AND ((NOT PERFORMER AND (timeout_cTfOqTQWkK OR (NOT finished_TuzxyMWhYm AND NOT (controlled_exit_1MIM0hbmuN OR continued_execution_WFJ6W1E0VW)))) or (PERFORMER AND NOT ((timeout_cTfOqTQWkK OR (NOT finished_TuzxyMWhYm AND NOT (controlled_exit_1MIM0hbmuN OR continued_execution_WFJ6W1E0VW))))))
(NOT PERFORMER AND (timeout_cTfOqTQWkK OR (NOT finished_TuzxyMWhYm AND NOT (controlled_exit_1MIM0hbmuN OR continued_execution_WFJ6W1E0VW)))) or (PERFORMER AND NOT ((timeout_cTfOqTQWkK OR (NOT finished_TuzxyMWhYm AND NOT (controlled_exit_1MIM0hbmuN OR continued_execution_WFJ6W1E0VW)))))
DOES_NOT_RETURN
CONTROLLED_EXIT
CONTINUED_EXECUTION
if (( $(/bin/grep "finished evaluating" "logfile.txt" | wc -l) > 0 )); then true; else false; fi;
None
stonesoup_trace:weakness_start
Environment variable defining test value.
DOS_BLOCKING
$SS_TC_ROOT/testData/turnspit_lividness.bin
32766
$SS_TC_ROOT/logs/execute/lttng
$SS_TC_DEPS/lib64/liblttng-stonesoup-java.so:$SS_TC_DEPS/lib64/liblttng-ust-fork.so
-l 2 input/good-04/jtree-good-04.tar.gz
weakness_started_t48868ldaxMDMw7l56H8 AND ((NOT PERFORMER AND (timeout_F9ZXqRU9WE OR (NOT finished_xq9PFFVS3f AND NOT (controlled_exit_SX75xnwBe5 OR continued_execution_x9azmBfPmp)))) or (PERFORMER AND NOT ((timeout_F9ZXqRU9WE OR (NOT finished_xq9PFFVS3f AND NOT (controlled_exit_SX75xnwBe5 OR continued_execution_x9azmBfPmp))))))
(NOT PERFORMER AND (timeout_F9ZXqRU9WE OR (NOT finished_xq9PFFVS3f AND NOT (controlled_exit_SX75xnwBe5 OR continued_execution_x9azmBfPmp)))) or (PERFORMER AND NOT ((timeout_F9ZXqRU9WE OR (NOT finished_xq9PFFVS3f AND NOT (controlled_exit_SX75xnwBe5 OR continued_execution_x9azmBfPmp)))))
DOES_NOT_RETURN
CONTROLLED_EXIT
CONTINUED_EXECUTION
if (( $(/bin/grep "finished evaluating" "logfile.txt" | wc -l) > 0 )); then true; else false; fi;
None
stonesoup_trace:weakness_start