frama-c

frama-c 33.0 · pkgs/by-name/fr/frama-c/package.nix

Health

Risk

risk 1 low

+1 no versionCheckHook

Version

33.0 no newer release known to repology

Channels

master 33.0 · nixos-unstable 33.0 · nixos-26.05 32.1 master is ahead of nixos-26.05

Hydra

succeeded 2d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

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

Long description

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.

Homepage

https://www.frama-c.com/index.html

License

LGPL-2.1

Platforms

45 platforms: Linux, Darwin

Main program

frama-c

Source provenance

not set: built from source

Outputs

out