package goblint-cil

  1. Overview
  2. Docs
A front-end for the C programming language that facilitates program analysis and transformation

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (13)

Authors

  1. G
    gabriel@kerneis.info

Maintainers

  1. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  2. S
    Simmo Saan <simmo.saan@gmail.com>
  3. R
    Ralf Vogler <ralf.vogler@gmail.com>

Sources

goblint-cil-1.8.2.tbz
sha256=f4711e3fa53c482cdef2d7ed62b287d859ce55ef8b4ddfdc6071e81034c3bc89
sha512=8a861aa04aed7684a7c86207cfd5b63503984917fe53ae4866890242cb0db38d2c4f7bd5a5565fd094da064fb290e67071bae6874377e10d2005330c71cc13a2

doc/goblint-cil/Cparser/index.html

Module Cparser

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