<p>Extensible and collaborative platform dedicated to source-code analysis of C software.</p>

<p>Frama-C is an open-source extensible and collaborative platform dedicated to source-code analysis of C software. The Frama-C analyzers assist you in various source-code-related activities, from the navigation through unfamiliar projects up to the certification of critical software.</p>

Austin Seipp

Arie Middelkoop

Lucas Ransan

ocaml5.4.1-frama-c-32.1

ocamlPackages.frama-c

Extensible and collaborative platform dedicated to source-code analysis of C software

ocaml5.4.1-frama-c

Version

License

Status

Source

Homepage

Maintainers (3)

Platforms (46)