Debido al coste y dificultad de auditar código fuente para detectar vulnerabilidades de seguridad, la agencia DARPA (Defense Advanced Research Projects Agency) del Departamento de Defensa de Estados Unidos ha…
50