package frama-c

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

Install

Dune 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. 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. M
    Maxime Jacquemin
  24. B
    Benjamin Jorge
  25. F
    Florent Kirchner
  26. A
    Alexander Kogtenkov
  27. R
    Remi Lazarini
  28. T
    Tristan Le Gall
  29. K
    Kilyan Le Gallic
  30. J
    Jean-Christophe Léchenet
  31. M
    Matthieu Lemerre
  32. D
    Dara Ly
  33. D
    David Maison
  34. C
    Claude Marché
  35. A
    André Maroneze
  36. T
    Thibault Martin
  37. F
    Fonenantsoa Maurica
  38. M
    Melody Méaulle
  39. B
    Benjamin Monate
  40. Y
    Yannick Moy
  41. P
    Pierre Nigron
  42. A
    Anne Pacalet
  43. V
    Valentin Perrelle
  44. G
    Guillaume Petiot
  45. D
    Dario Pinto
  46. V
    Virgile Prevosto
  47. A
    Armand Puccetti
  48. F
    Félix Ridoux
  49. V
    Virgile Robles
  50. J
    Jan Rochel
  51. M
    Muriel Roger
  52. C
    Cécile Ruet-Cros
  53. J
    Julien Signoles
  54. N
    Nicolas Stouls
  55. K
    Kostyantyn Vorobyov
  56. B
    Boris Yakobowski

Maintainers

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

Sources

frama-c-31.0-Gallium.tar.gz
sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

doc/frama-c.kernel/Frama_c_kernel/Printer_builder/Make_pp/index.html

Module Printer_builder.Make_pp

Parameters

module _ : sig ... end

Signature

val pp_varname : Stdlib.Format.formatter -> string -> unit

Printer for C constructs

val pp_location : Stdlib.Format.formatter -> Cil_types.location -> unit
val pp_constant : Stdlib.Format.formatter -> Cil_types.constant -> unit
val pp_storage : Stdlib.Format.formatter -> Cil_types.storage -> unit
val pp_ikind : Stdlib.Format.formatter -> Cil_types.ikind -> unit
val pp_fkind : Stdlib.Format.formatter -> Cil_types.fkind -> unit
val pp_typ : Stdlib.Format.formatter -> Cil_types.typ -> unit
val pp_exp : Stdlib.Format.formatter -> Cil_types.exp -> unit
val pp_vdecl : Stdlib.Format.formatter -> Cil_types.varinfo -> unit
val pp_varinfo : Stdlib.Format.formatter -> Cil_types.varinfo -> unit
val pp_lval : Stdlib.Format.formatter -> Cil_types.lval -> unit
val pp_field : Stdlib.Format.formatter -> Cil_types.fieldinfo -> unit
val pp_offset : Stdlib.Format.formatter -> Cil_types.offset -> unit
val pp_init : Stdlib.Format.formatter -> Cil_types.init -> unit
val pp_binop : Stdlib.Format.formatter -> Cil_types.binop -> unit
val pp_unop : Stdlib.Format.formatter -> Cil_types.unop -> unit
val pp_attribute : Stdlib.Format.formatter -> Cil_types.attribute -> unit
val pp_attrparam : Stdlib.Format.formatter -> Cil_types.attrparam -> unit
val pp_attributes : Stdlib.Format.formatter -> Cil_types.attributes -> unit
val pp_instr : Stdlib.Format.formatter -> Cil_types.instr -> unit
val pp_label : Stdlib.Format.formatter -> Cil_types.label -> unit
val pp_stmt : Stdlib.Format.formatter -> Cil_types.stmt -> unit
val pp_block : Stdlib.Format.formatter -> Cil_types.block -> unit
val pp_global : Stdlib.Format.formatter -> Cil_types.global -> unit
val pp_file : Stdlib.Format.formatter -> Cil_types.file -> unit
val pp_compinfo : Stdlib.Format.formatter -> Cil_types.compinfo -> unit
val pp_logic_type_info : Stdlib.Format.formatter -> Cil_types.logic_type_info -> unit
val pp_logic_ctor_info : Stdlib.Format.formatter -> Cil_types.logic_ctor_info -> unit
val pp_initinfo : Stdlib.Format.formatter -> Cil_types.initinfo -> unit
val pp_logic_info : Stdlib.Format.formatter -> Cil_types.logic_info -> unit
val pp_logic_constant : Stdlib.Format.formatter -> Cil_types.logic_constant -> unit
val pp_fundec : Stdlib.Format.formatter -> Cil_types.fundec -> unit

Printer for ACSL constructs

val pp_relation : Stdlib.Format.formatter -> Cil_types.relation -> unit
val pp_model_info : Stdlib.Format.formatter -> Cil_types.model_info -> unit
  • since Oxygen-20120901
val pp_term_lval : Stdlib.Format.formatter -> Cil_types.term_lval -> unit
val pp_term_lhost : Stdlib.Format.formatter -> Cil_types.term_lhost -> unit
val pp_logic_var : Stdlib.Format.formatter -> Cil_types.logic_var -> unit
val pp_logic_type : Stdlib.Format.formatter -> Cil_types.logic_type -> unit
val pp_identified_term : Stdlib.Format.formatter -> Cil_types.identified_term -> unit
val pp_term : Stdlib.Format.formatter -> Cil_types.term -> unit
val pp_model_field : Stdlib.Format.formatter -> Cil_types.model_info -> unit
val pp_term_offset : Stdlib.Format.formatter -> Cil_types.term_offset -> unit
val pp_logic_builtin_label : Stdlib.Format.formatter -> Cil_types.logic_builtin_label -> unit
val pp_logic_label : Stdlib.Format.formatter -> Cil_types.logic_label -> unit
val pp_builtin_logic_info : Stdlib.Format.formatter -> Cil_types.builtin_logic_info -> unit
val pp_extended : Stdlib.Format.formatter -> Cil_types.acsl_extension -> unit
val pp_short_extended : Stdlib.Format.formatter -> Cil_types.acsl_extension -> unit
  • since 21.0-Scandium
val pp_predicate_node : Stdlib.Format.formatter -> Cil_types.predicate_node -> unit
val pp_predicate : Stdlib.Format.formatter -> Cil_types.predicate -> unit
val pp_toplevel_predicate : Stdlib.Format.formatter -> Cil_types.toplevel_predicate -> unit
  • since 22.0-Titanium
val pp_identified_predicate : Stdlib.Format.formatter -> Cil_types.identified_predicate -> unit
val pp_code_annotation : Stdlib.Format.formatter -> Cil_types.code_annotation -> unit
val pp_funspec : Stdlib.Format.formatter -> Cil_types.funspec -> unit
val pp_behavior : Stdlib.Format.formatter -> Cil_types.funbehavior -> unit
val pp_global_annotation : Stdlib.Format.formatter -> Cil_types.global_annotation -> unit
val pp_decreases : Stdlib.Format.formatter -> Cil_types.variant -> unit
val pp_variant : Stdlib.Format.formatter -> Cil_types.variant -> unit
val pp_from : Stdlib.Format.formatter -> Cil_types.from -> unit
val pp_assigns : Stdlib.Format.formatter -> Cil_types.assigns -> unit
val pp_allocation : Stdlib.Format.formatter -> Cil_types.allocation -> unit
  • since Oxygen-20120901
val pp_loop_from : Stdlib.Format.formatter -> Cil_types.from -> unit
val pp_loop_assigns : Stdlib.Format.formatter -> Cil_types.assigns -> unit
val pp_loop_allocation : Stdlib.Format.formatter -> Cil_types.allocation -> unit
  • since Oxygen-20120901
val pp_post_cond : Stdlib.Format.formatter -> (Cil_types.termination_kind * Cil_types.identified_predicate) -> unit

General form of printers

val pp_full_assigns : string -> Stdlib.Format.formatter -> Cil_types.assigns -> unit

first parameter is the introducing keyword (e.g. loop_assigns or assigns).

val without_annot : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit

without_annot printer fmt x pretty prints x by using printer, without pretty-printing its function contracts and code annotations.

val force_brace : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit

self#force_brace printer fmt x pretty prints x by using printer, but add some extra braces '{' and '}' which are hidden by default.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct