A Return Into the World of Static Analysis With Frama-C mardi 11 février 2014 à 09:50 Un outil d'analyse de code C/C++ qui m'a l'air simple et efficace.(Permalink)