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

Maintainers

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

Sources

frama-c-27.0-beta-Cobalt.tar.gz
sha256=9c1b14a689ac8ccda9e827c2eede13bb8d781fb8e4e33c1b5360408e312127d2

doc/frama-c.kernel/Frama_c_kernel/Cparser/index.html

Module Frama_c_kernel.Cparser

type token =
  1. | WHILE of Cabs.cabsloc
  2. | VOLATILE of Cabs.cabsloc
  3. | VOID of Cabs.cabsloc
  4. | UNSIGNED of Cabs.cabsloc
  5. | UNION of Cabs.cabsloc
  6. | TYPEOF of Cabs.cabsloc
  7. | TYPEDEF of Cabs.cabsloc
  8. | TRY of Cabs.cabsloc
  9. | TILDE of Cabs.cabsloc
  10. | THREAD_LOCAL of Cabs.cabsloc
  11. | THREAD of Cabs.cabsloc
  12. | SWITCH of Cabs.cabsloc
  13. | SUP_SUP_EQ
  14. | SUP_SUP
  15. | SUP_EQ
  16. | SUP
  17. | STRUCT of Cabs.cabsloc
  18. | STATIC_ASSERT of Cabs.cabsloc
  19. | STATIC of Cabs.cabsloc
  20. | STAR_EQ
  21. | STAR of Cabs.cabsloc
  22. | SPEC of Filepath.position * string
  23. | SLASH_EQ
  24. | SLASH
  25. | SIZEOF of Cabs.cabsloc
  26. | SIGNED of Cabs.cabsloc
  27. | SHORT of Cabs.cabsloc
  28. | SEMICOLON of Cabs.cabsloc
  29. | RPAREN
  30. | RGHOST
  31. | RETURN of Cabs.cabsloc
  32. | RESTRICT of Cabs.cabsloc
  33. | REGISTER of Cabs.cabsloc
  34. | RBRACKET
  35. | RBRACE of Cabs.cabsloc
  36. | QUEST
  37. | PRETTY_FUNCTION__ of Cabs.cabsloc
  38. | PRAGMA_LINE of string * Cabs.cabsloc
  39. | PRAGMA_EOL
  40. | PRAGMA of Cabs.cabsloc
  41. | PLUS_PLUS of Cabs.cabsloc
  42. | PLUS_EQ
  43. | PLUS of Cabs.cabsloc
  44. | PIPE_PIPE
  45. | PIPE_EQ
  46. | PIPE
  47. | PERCENT_EQ
  48. | PERCENT
  49. | NORETURN of Cabs.cabsloc
  50. | NAMED_TYPE of string
  51. | MSATTR of string * Cabs.cabsloc
  52. | MSASM of string * Cabs.cabsloc
  53. | MINUS_MINUS of Cabs.cabsloc
  54. | MINUS_EQ
  55. | MINUS of Cabs.cabsloc
  56. | LPAREN of Cabs.cabsloc
  57. | LOOP_ANNOT of Logic_ptree.code_annot list * Cabs.cabsloc
  58. | LONG of Cabs.cabsloc
  59. | LGHOST_ELSE of Cabs.cabsloc
  60. | LGHOST
  61. | LBRACKET
  62. | LBRACE of Cabs.cabsloc
  63. | LABEL__
  64. | INT64 of Cabs.cabsloc
  65. | INT of Cabs.cabsloc
  66. | INLINE of Cabs.cabsloc
  67. | INF_INF_EQ
  68. | INF_INF
  69. | INF_EQ
  70. | INF
  71. | IF of Cabs.cabsloc
  72. | IDENT of string
  73. | GOTO of Cabs.cabsloc
  74. | GHOST of Cabs.cabsloc
  75. | GENERIC of Cabs.cabsloc
  76. | FUNCTION__ of Cabs.cabsloc
  77. | FOR of Cabs.cabsloc
  78. | FLOAT of Cabs.cabsloc
  79. | FINALLY of Cabs.cabsloc
  80. | EXTERN of Cabs.cabsloc
  81. | EXCLAM_EQ
  82. | EXCLAM of Cabs.cabsloc
  83. | EXCEPT of Cabs.cabsloc
  84. | EQ_EQ
  85. | EQ
  86. | EOF
  87. | ENUM of Cabs.cabsloc
  88. | ELSE
  89. | ELLIPSIS
  90. | DOUBLE of Cabs.cabsloc
  91. | DOT
  92. | DO of Cabs.cabsloc
  93. | DEFAULT of Cabs.cabsloc
  94. | DECLSPEC of Cabs.cabsloc
  95. | DECL of Logic_ptree.decl list
  96. | CST_WSTRING of int64 list * Cabs.cabsloc
  97. | CST_WCHAR of int64 list * Cabs.cabsloc
  98. | CST_STRING of int64 list * Cabs.cabsloc
  99. | CST_INT of string * Cabs.cabsloc
  100. | CST_FLOAT of string * Cabs.cabsloc
  101. | CST_CHAR of int64 list * Cabs.cabsloc
  102. | CONTINUE of Cabs.cabsloc
  103. | CONST of Cabs.cabsloc
  104. | COMMA
  105. | COLON2
  106. | COLON
  107. | CODE_ANNOT of Logic_ptree.code_annot * Cabs.cabsloc
  108. | CIRC_EQ
  109. | CIRC
  110. | CHAR of Cabs.cabsloc
  111. | CASE of Cabs.cabsloc
  112. | BUILTIN_VA_ARG of Cabs.cabsloc
  113. | BUILTIN_TYPES_COMPAT of Cabs.cabsloc
  114. | BUILTIN_OFFSETOF of Cabs.cabsloc
  115. | BREAK of Cabs.cabsloc
  116. | BOOL of Cabs.cabsloc
  117. | BLOCKATTRIBUTE
  118. | AUTO of Cabs.cabsloc
  119. | ATTRIBUTE_ANNOT of string * Cabs.cabsloc
  120. | ATTRIBUTE of Cabs.cabsloc
  121. | ASM of Cabs.cabsloc
  122. | ARROW
  123. | AND_EQ
  124. | AND_AND of Cabs.cabsloc
  125. | AND of Cabs.cabsloc
  126. | ALIGNOF of Cabs.cabsloc
exception Error
val interpret : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (bool * Cabs.definition) list
val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (bool * Cabs.definition) list