Binary verification proof of concept - avoiding the stat/exec race condition by means of ptrace and procfs.