16

Frama-C

A sound and extensible static analyzer for C code.

Workflow integration:

cli

Screenshot of Frama-C website

Official Frama-C Homepage

http://frama-c.com/download.html

GNU Lesser General Public License v2.1

Maintained

c
cpp

Alternative Tools