Linux Embedded

Le blog des technologies libres et embarquées

Étiquette : analyse statique

Analyse statique de code avec Frama-C

Introduction Frama-C est un framework open source d’analyse statique de code C. Contrairement à ce que l’on pourrait penser, il n’a pas pour objectif de mesurer des données telles que le nombre de commentaires par lignes de code. Il ressemble plus à un outil de bug-finding, mais avec deux avantages majeurs. Premièrement le fait qu’il tend à être correct, c’est…