Fuzzing, exécution symbolique et interprétation abstraite, entre autres techniques, permettent de découvrir des bugs dans nos programmes à un rythme sans précédent. Mais une question se pose alors : que faire de tous ces bugs ?
Le CEA est un acteur majeur de la recherche, au service de l'État, de l'économie et des
citoyens. Il apporte des solutions concrètes à leurs besoins dans quatre domaines
principaux : transition énergétique, transition numérique, technologies pour la médecine
du futur, défense et sécurité.
