package mopsa

  1. Overview
  2. Docs
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

Dune Dependency

mopsa.lip6.fr Readme Changelog Edit opam file Versions (2)

Authors

  1. A
    Antoine Miné
  2. A
    Abdelraouf Ouadjaout
  3. M
    Matthieu Journault
  4. A
    Aymeric Fromherz
  5. R
    Raphaël Monat
  6. F
    Francesco Parolini
  7. M
    Marco Milanese
  8. J
    Jérôme Boillot

Maintainers

  1. A
    Antoine Miné <antoine.mine@lip6.fr>
  2. A
    Abdelraouf Ouadjaout <ouadjaout@gmail.com>
  3. R
    Raphaël Monat <raphael.monat@inria.fr>

Sources

mopsa-analyzer-v1.1.tar.gz
md5=fdee20e988343751de440b4f6b67c0f4
sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500

doc/parsing/Parsing/Parser/index.html

Module Parsing.ParserSource

Sourcetype token =
  1. | WARN
  2. | VOLATILE
  3. | VOID
  4. | VALID_FLOAT
  5. | UNSOUND
  6. | UNSIGNED
  7. | UNION
  8. | TRUE
  9. | TOP
  10. | THEN
  11. | STRUCT
  12. | STRING_CONST of string
  13. | STAR
  14. | SIZEOF_TYPE
  15. | SIZEOF_EXPR
  16. | SIGNED
  17. | SHORT
  18. | SHARP
  19. | SEMICOL
  20. | RSHIFT
  21. | RPAR
  22. | RETURN
  23. | RESTRICT
  24. | RESOURCE
  25. | REQUIRES
  26. | RBRACK
  27. | RBRACE
  28. | RAISE
  29. | QUESTION
  30. | PRIMED
  31. | PRIME
  32. | PREDICATE
  33. | PLUS
  34. | OTHERWISE
  35. | OR
  36. | OFFSET
  37. | NOT
  38. | NEW
  39. | NEQ
  40. | MOD
  41. | MINUS
  42. | LT
  43. | LSHIFT
  44. | LPAR
  45. | LOR
  46. | LONG
  47. | LOCAL
  48. | LNOT
  49. | LENGTH
  50. | LE
  51. | LBRACK
  52. | LBRACE
  53. | LAND
  54. | INVALID
  55. | INT_CONST of Z.t * Cst.int_suffix
  56. | INT
  57. | INDEX
  58. | IN
  59. | IMPLIES
  60. | IF
  61. | IDENT of string
  62. | GT
  63. | GE
  64. | FREE
  65. | FORALL
  66. | FLOAT_NAN
  67. | FLOAT_INF
  68. | FLOAT_CONST of float
  69. | FLOAT128
  70. | FLOAT
  71. | FALSE
  72. | EXISTS
  73. | EQ
  74. | EOF
  75. | ENUM
  76. | ENSURES
  77. | END_DELIM
  78. | END
  79. | ELSE
  80. | DOUBLE
  81. | DOT
  82. | DIV
  83. | CONST
  84. | COMMA
  85. | COLON
  86. | CHAR_CONST of int
  87. | CHAR
  88. | CAST
  89. | CASE
  90. | BYTES
  91. | BXOR
  92. | BOR
  93. | BNOT
  94. | BEGIN_DELIM
  95. | BASE
  96. | BAND
  97. | ASSUMES
  98. | ASSIGNS
  99. | ASSIGN
  100. | ARROW
  101. | AND
  102. | ALIVE
  103. | ALIAS
Sourceexception Error
Sourceval parse_type : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Cst.c_qual_typ
Sourceval parse_stub : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Cst.section list Utils_core.Location.with_range
Sourceval parse_expr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Cst.expr
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