added section on the mechanization of exploits