Language

Package: frama-c @ 24.0

Synopsis

C source code analysis platform

Description

Frama-C is an 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.

Home page
http://frama-c.com
Location
gnu/packages/maths.scm (line: 7196, column: 2)
License

Lint warnings

LinterMessageLocation
No lint warnings