
Sito web: http://frama-c.com/index.html
Disponibile nei termini della licenza LGPL, Frama-C č una suite di strumenti dedicati all'analisi del codice sorgente di software scritto in C. Inoltre, si adatta bene per le applicazioni scritte in GTK+ per Gnome. Frama-C raduna varie tecniche di analisi statistica in un'unica infrastruttura collaborativa. Il suo approccio collaborativo permette agli analizzatori statici di lavorare sui risultati giā elaborati da altri analizzatori presenti nell'infrastruttura. Grazie a questo approccio, Frama-C fornisce strumenti sofisticati, quali uno slicer e l'analisi delle dipendenze. Sono presenti nove plugin per Frama-C nel sito web del programma.