Supposed CIA hacking tools used in 40 cyber attacks