frama-c-gui

frama-c-gui 33.0 · pkgs/by-name/fr/frama-c-gui/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 absent no channel is behind master

Hydra

succeeded 2d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Graphical User Interface for Frama-C

Long description

Ivette is the Graphical User Interface (GUI) of Frama-C. It enables exploring code, augmented with several navigation tools and highlighting modes; it allows launching, parametrizing and visualizing analyses; and it allows combining them seamlessly, taking full advantage of the multi-paradigm approach.

Homepage

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

License

LGPL-2.1

Platforms

45 platforms: Linux, Darwin

Main program

frama-c-gui

Source provenance

not set: built from source

Outputs

out