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