Names and definitions of leaked CIA hacking tools – TechCrunch