package frama-c

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

Install 

dune-project
 Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

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

Maintainers

  1. F
    frama-ci-bot@frama-c.com

Sources

frama-c-29.0-beta-Copper.tar.gz
sha256=3ac8b38e0dab0e14d6ad0d244d8dfcfb17c912f661c77079096436f48377cf8a

doc/src/frama-c.gui/frama_c_gui.ml.html

Source file frama_c_gui.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
(* generated by dune *)

(** @canonical Frama_c_gui.Analyses_manager *)
module Analyses_manager = Frama_c_gui__Analyses_manager

(** @canonical Frama_c_gui.Book_manager *)
module Book_manager = Frama_c_gui__Book_manager

(** @canonical Frama_c_gui.Design *)
module Design = Frama_c_gui__Design

(** @canonical Frama_c_gui.File_manager *)
module File_manager = Frama_c_gui__File_manager

(** @canonical Frama_c_gui.Filetree *)
module Filetree = Frama_c_gui__Filetree

(** @canonical Frama_c_gui.GSourceView *)
module GSourceView = Frama_c_gui__GSourceView

(** @canonical Frama_c_gui.Gtk_form *)
module Gtk_form = Frama_c_gui__Gtk_form

(** @canonical Frama_c_gui.Gtk_helper *)
module Gtk_helper = Frama_c_gui__Gtk_helper

(** @canonical Frama_c_gui.Gui_parameters *)
module Gui_parameters = Frama_c_gui__Gui_parameters

(** @canonical Frama_c_gui.Gui_printers *)
module Gui_printers = Frama_c_gui__Gui_printers

(** @canonical Frama_c_gui.Help_manager *)
module Help_manager = Frama_c_gui__Help_manager

(** @canonical Frama_c_gui.History *)
module History = Frama_c_gui__History

(** @canonical Frama_c_gui.Launcher *)
module Launcher = Frama_c_gui__Launcher

(** @canonical Frama_c_gui.Menu_manager *)
module Menu_manager = Frama_c_gui__Menu_manager

(** @canonical Frama_c_gui.Pretty_source *)
module Pretty_source = Frama_c_gui__Pretty_source

(** @canonical Frama_c_gui.Project_manager *)
module Project_manager = Frama_c_gui__Project_manager

(** @canonical Frama_c_gui.Property_navigator *)
module Property_navigator = Frama_c_gui__Property_navigator

(** @canonical Frama_c_gui.Source_manager *)
module Source_manager = Frama_c_gui__Source_manager

(** @canonical Frama_c_gui.Source_viewer *)
module Source_viewer = Frama_c_gui__Source_viewer

(** @canonical Frama_c_gui.Warning_manager *)
module Warning_manager = Frama_c_gui__Warning_manager

(** @canonical Frama_c_gui.Wbox *)
module Wbox = Frama_c_gui__Wbox

(** @canonical Frama_c_gui.Wfile *)
module Wfile = Frama_c_gui__Wfile

(** @canonical Frama_c_gui.Widget *)
module Widget = Frama_c_gui__Widget

(** @canonical Frama_c_gui.Wpalette *)
module Wpalette = Frama_c_gui__Wpalette

(** @canonical Frama_c_gui.Wpane *)
module Wpane = Frama_c_gui__Wpane

(** @canonical Frama_c_gui.Wtable *)
module Wtable = Frama_c_gui__Wtable

(** @canonical Frama_c_gui.Wtext *)
module Wtext = Frama_c_gui__Wtext

(** @canonical Frama_c_gui.Wutil *)
module Wutil = Frama_c_gui__Wutil

(** @canonical Frama_c_gui.Wutil_once *)
module Wutil_once = Frama_c_gui__Wutil_once