Bonjour la liste,
Qui (parmi les lecteurs de la liste) utilise l'analyseur Frama-C (voir https://frama-c.com/ ...) et pourquoi?
Merci de me répondre en privé vers basile@starynkevitch.net
PS. Significativement, aucun paquet Debian ne semble avoir été
analysé par Frama-C. Votre opinion sur le pourquoi est appréciée.
-- Basile Starynkevitch <basile@starynkevitch.net> (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/