Frama-C
A sound and extensible static analyzer for C code.
Workflow integration:
- cli
http://frama-c.com/download.html
GNU Lesser General Public License v2.1
Maintained
A sound and extensible static analyzer for C code.
http://frama-c.com/download.html
GNU Lesser General Public License v2.1
Maintained