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 ?
Lire la suite
L’intégration récente dans Frama-C de techniques génériques d’analyse incrémentale permet de vérifier rapidement un code après des modifications localisées.
Lire la suite