frama-c
Platform dedicated to the analysis of source code written in C
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 02 Oct 2019
- Authors
-
-
Michele Alberti
-
Thibaud Antignac
-
Gergö Barany
-
Patrick Baudin
-
Lionel Blatter
-
François Bobot
-
Richard Bonichon
-
Quentin Bouillaguet
-
David Bühler
-
Zakaria Chihani
-
Loïc Correnson
-
Julien Crétin
-
Pascal Cuoq
-
Zaynah Dargaye
-
Jean-Christophe Filliâtre
-
Philippe Herrmann
-
Maxime Jacquemin
-
Florent Kirchner
-
Tristan Le Gall
-
Jean-Christophe Léchenet
-
Matthieu Lemerre
-
David Maison
-
Claude Marché
-
André Maroneze
-
Thibault Martin
-
Melody Méaulle
-
Benjamin Monate
-
Yannick Moy
-
Anne Pacalet
-
Valentin Perrelle
-
Guillaume Petiot
-
Virgile Prevosto
-
Armand Puccetti
-
Virgile Robles
-
Muriel Roger
-
Julien Signoles
-
Kostyantyn Vorobyov
-
Boris Yakobowski
-
- Maintainers
Sources
Dependencies
conf-python-2-7
with-test
conf-time
with-test
conf-graphviz
post
lablgtk3
>= "3.0.beta4" & os != "macos"
lablgtk
>= "2.18.2"
conf-autoconf
build
ocamlgraph
>= "1.8.8" & < "1.9~"
ocaml
>= "4.02.3" & (< "4.08.0~" | >= "4.08.1")
Reverse Dependencies
Conflicts