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

Maintainers

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

Sources

frama-c-30.0-beta-Zinc.tar.gz
sha256=93a291a8764644df2f3618d7ea18258b5fbe0912ec98dfdfd180967afdf24474

doc/frama-c.kernel/Frama_c_kernel/Visitor_behavior/Set/index.html

Module Visitor_behavior.Set

Set operations on behaviors, allows to change the representative of a given AST element in the current state of the visitor. Use with care (i.e. makes sure that the old one is not referenced anywhere in the AST, or sharing will be lost).

Set.ast_element vis e s with e and s of type ast_element changes the representative of e to s in vis. For example, for Cil_types.varinfo: Set.varinfo vis vi new_representative.

  • since 20.0-Calcium
val varinfo : t -> Cil_types.varinfo -> Cil_types.varinfo -> unit
val compinfo : t -> Cil_types.compinfo -> Cil_types.compinfo -> unit
val enuminfo : t -> Cil_types.enuminfo -> Cil_types.enuminfo -> unit
val enumitem : t -> Cil_types.enumitem -> Cil_types.enumitem -> unit
val typeinfo : t -> Cil_types.typeinfo -> Cil_types.typeinfo -> unit
val stmt : t -> Cil_types.stmt -> Cil_types.stmt -> unit
val logic_info : t -> Cil_types.logic_info -> Cil_types.logic_info -> unit
val logic_type_info : t -> Cil_types.logic_type_info -> Cil_types.logic_type_info -> unit
val fieldinfo : t -> Cil_types.fieldinfo -> Cil_types.fieldinfo -> unit
val model_info : t -> Cil_types.model_info -> Cil_types.model_info -> unit
val logic_var : t -> Cil_types.logic_var -> Cil_types.logic_var -> unit
val kernel_function : t -> Cil_types.kernel_function -> Cil_types.kernel_function -> unit
val fundec : t -> Cil_types.fundec -> Cil_types.fundec -> unit