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 Edit opam file Versions (30)

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. S
    Sylvain Chiron
  16. L
    Loïc Correnson
  17. J
    Julien Crétin
  18. P
    Pascal Cuoq
  19. Z
    Zaynah Dargaye
  20. B
    Basile Desloges
  21. J
    Jean-Christophe Filliâtre
  22. P
    Philippe Herrmann
  23. J
    Jordan Ischard
  24. M
    Maxime Jacquemin
  25. B
    Benjamin Jorge
  26. F
    Florent Kirchner
  27. A
    Alexander Kogtenkov
  28. R
    Remi Lazarini
  29. T
    Tristan Le Gall
  30. K
    Kilyan Le Gallic
  31. J
    Jean-Christophe Léchenet
  32. M
    Matthieu Lemerre
  33. D
    Dara Ly
  34. D
    David Maison
  35. C
    Claude Marché
  36. A
    André Maroneze
  37. T
    Thibault Martin
  38. F
    Fonenantsoa Maurica
  39. M
    Melody Méaulle
  40. B
    Benjamin Monate
  41. N
    Nicky Mouha
  42. Y
    Yannick Moy
  43. P
    Pierre Nigron
  44. A
    Anne Pacalet
  45. V
    Valentin Perrelle
  46. G
    Guillaume Petiot
  47. D
    Dario Pinto
  48. V
    Virgile Prevosto
  49. A
    Armand Puccetti
  50. F
    Félix Ridoux
  51. V
    Virgile Robles
  52. J
    Jan Rochel
  53. M
    Muriel Roger
  54. C
    Cécile Ruet-Cros
  55. J
    Julien Signoles
  56. F
    Fabien Siron
  57. N
    Nicolas Stouls
  58. H
    Hugo Thievenaz
  59. K
    Kostyantyn Vorobyov
  60. B
    Boris Yakobowski

Maintainers

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

Sources

frama-c-33.0-Arsenic.tar.gz
sha256=9c1cbffd28bb33c17a668107e39c96e4ae7378a3d8249f69b47afc7ee964e9b8

doc/frama-c-server.core/Server/Kernel_ast/index.html

Module Server.Kernel_astSource

Ast Data

Represented by a Json record with file, dir, basename, line

Ast Markers

Sourcemodule type Tag = sig ... end

Ast Markers of Specific Kinds

Sourcemodule Lval : sig ... end

Markers that are l-values.

Markers that are statements.

Optional markers interpreted as kinstr.

Ast Printer

Ast Information

Sourcemodule Information : sig ... end

Globals

Sourcemodule Functions : sig ... end
Sourcetype 'a filter_registration = string -> ?labels:(string * string) -> ?default:bool -> ?enable:(unit -> bool) -> ?add_hook:((unit -> unit) -> unit) -> ('a -> bool) -> unit

Definition of a filter on elements of type 'a with a unique name and a boolean function f: 'a -> bool, allowing the user to show/hide elements for which f is true or false. Optional arguments are:

  • labels defines the labels for the positive and negative versions of the filter. By default, they are "<name> elements" and "non-<name> elements".
  • if default is provided, only elements x for which f x = default are shown by default. Otherwise, all elements are shown by default.
  • if enable is provided, the filter is active only when enable () is true. Otherwise, the filter is always active.
  • if hook is provided, it is used to register a hook to notify the server of filter updates (i.e. when f x has changed for some elements).

Registers a new filter on functions.

Registers a new filter on variables.