diff options
| author | Louis Burda <quent.burda@gmail.com> | 2024-04-28 16:43:43 +0200 |
|---|---|---|
| committer | Louis Burda <quent.burda@gmail.com> | 2024-04-28 16:43:43 +0200 |
| commit | 6e891da3bf95b2d68d605cbd07afbd32557c6420 (patch) | |
| tree | f9e3a00e3791f622ffd94792bb9dca0e0325044f /solve/remote | |
| parent | 56ae4f33c8a4b9baf54e309528fc80f68f90350f (diff) | |
| download | cscg2024-flipnote-master.tar.gz cscg2024-flipnote-master.zip | |
Diffstat (limited to 'solve/remote')
| -rwxr-xr-x | solve/remote | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/solve/remote b/solve/remote new file mode 100755 index 0000000..8b3fe2b --- /dev/null +++ b/solve/remote @@ -0,0 +1,30 @@ +#!/bin/sh + +echo start +i=0 +k=0 +while [ 1 ]; do + i=$((i+1)); + echo "$i $k" + ./solve_static "/vuln | tee /dev/stderr" 2> log1 & + ./solve_static "/vuln | tee /dev/stderr" 2> log2 & + ./solve_static "/vuln | tee /dev/stderr" 2> log3 & + ./solve_static "/vuln | tee /dev/stderr" 2> log4 & + ./solve_static "/vuln | tee /dev/stderr" 2> log5 & + ./solve_static "/vuln | tee /dev/stderr" 2> log6 & + ./solve_static "/vuln | tee /dev/stderr" 2> log7 & + ./solve_static "/vuln | tee /dev/stderr" 2> log8 & + ./solve_static "/vuln | tee /dev/stderr" 2> log9 & + ./solve_static "/vuln | tee /dev/stderr" 2> log10 & + ./solve_static "/vuln | tee /dev/stderr" 2> log11 & + ./solve_static "/vuln | tee /dev/stderr" 2> log12 & + ./solve_static "/vuln | tee /dev/stderr" 2> log13 & + ./solve_static "/vuln | tee /dev/stderr" 2> log14 & + ./solve_static "/vuln | tee /dev/stderr" 2> log15 & + ./solve_static "/vuln | tee /dev/stderr" 2> log16 & + wait + l=$(cat log* | grep "Invalid option" | wc -l) + echo "$l/16" + k=$((k+l)) + cat log* | grep CSCG && break +done |