1. Overview
  2. No Docs
Platform dedicated to the analysis of source code written in C

Install

frama-c.com Edit opam file

Authors

  1. M
    Michele Alberti
  2. T
    Thibaud Antignac
  3. G
    Gergö Barany
  4. P
    Patrick Baudin
  5. A
    Allan Blanchard
  6. L
    Lionel Blatter
  7. F
    François Bobot
  8. R
    Richard Bonichon
  9. Q
    Quentin Bouillaguet
  10. D
    David Bühler
  11. Z
    Zakaria Chihani
  12. L
    Loïc Correnson
  13. J
    Julien Crétin
  14. P
    Pascal Cuoq
  15. Z
    Zaynah Dargaye
  16. J
    Jean-Christophe Filliâtre
  17. P
    Philippe Herrmann
  18. M
    Maxime Jacquemin
  19. F
    Florent Kirchner
  20. T
    Tristan Le Gall
  21. J
    Jean-Christophe Léchenet
  22. M
    Matthieu Lemerre
  23. D
    Dara Ly
  24. D
    David Maison
  25. C
    Claude Marché
  26. A
    André Maroneze
  27. T
    Thibault Martin
  28. F
    Fonenantsoa Maurica
  29. M
    Melody Méaulle
  30. B
    Benjamin Monate
  31. Y
    Yannick Moy
  32. A
    Anne Pacalet
  33. V
    Valentin Perrelle
  34. G
    Guillaume Petiot
  35. V
    Virgile Prevosto
  36. A
    Armand Puccetti
  37. V
    Virgile Robles
  38. M
    Muriel Roger
  39. J
    Julien Signoles
  40. K
    Kostyantyn Vorobyov
  41. B
    Boris Yakobowski

Maintainers

  1. F
    francois.bobot@cea.fr

Sources

frama-c-20.0-Calcium.tar.gz
md5=47b9a0a246ae172384dd927516ab184c

Description

Tags

deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification

Published: 04 Dec 2019

Dependencies (16)

  1. why3 >= "1.2.0" & < "1.3.0"
  2. yojson
  3. conf-graphviz post
  4. alt-ergo
  5. alt-ergo-free
  6. conf-gtksourceview3
  7. lablgtk3-sourceview3
  8. lablgtk3 >= "3.0.beta4" & os != "macos"
  9. conf-gtksourceview
  10. conf-gnomecanvas
  11. lablgtk >= "2.18.2"
  12. conf-autoconf build
  13. zarith
  14. ocamlfind
  15. ocamlgraph >= "1.8.8" & < "1.9~"
  16. ocaml >= "4.05.0" & (< "4.08.0~" | >= "4.08.1")

Dev Dependencies (1)

  1. conf-time with-test

Used by (2)

  1. pilat < "1.2"
  2. why < "2.32"

Conflicts (3)

  1. frama-c-base
  2. frama-c-e-acsl
  3. lablgtk < "2.18.2"