Découverte de Frama-C, l'un des outils incontournables d'analyse de code en C

GNU/Linux Magazine HS n° 097 | juillet 2018 | Tristan Colombo
  • Actuellement 0 sur 5 étoiles
  • 1
  • 2
  • 3
  • 4
  • 5

Malgré son nom, Frama-C n'est pas un énième clone libre d'une solution reconnue éditée par Framasoft. Il s'agit d'un framework d'analyse et de preuve de code C, doté d'une interface graphique facilitant son utilisation. Cet article permettra de se familiariser avec cet outil pour que vous vous assuriez que vos programmes font bien ce que vous attendez d'eux.

Tags : C, développement
Abonnez-vous ou connectez-vous pour accéder à cet article