package mopsa

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

Install

Dune Dependency

gitlab.com 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.0.tar.gz
md5=9f673f79708b44a7effb3b6bb3618d2c
sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

doc/mopsa.mopsa_py_parser/Mopsa_py_parser/Parser/index.html

Module Mopsa_py_parser.ParserSource

Sourcetype token =
  1. | YIELD
  2. | WITH
  3. | WHILE
  4. | TRY
  5. | TRUE
  6. | TDIVEQ
  7. | TDIV
  8. | SUBEQ
  9. | SUB
  10. | STR of Lexing.position * Lexing.position * string
  11. | SEMICOLEND
  12. | SEMICOL
  13. | RSQ
  14. | RSHIFTEQ
  15. | RSHIFT
  16. | RPAR
  17. | RETURN
  18. | RBRACE
  19. | RAISE
  20. | POWEQ
  21. | POW
  22. | PASS
  23. | OR
  24. | NOTIMPLEMENTED
  25. | NOT
  26. | NONLOCAL
  27. | NONE
  28. | NEWLINE
  29. | NEQ
  30. | MULEQ
  31. | MUL
  32. | MODEQ
  33. | MOD
  34. | LT
  35. | LSQ
  36. | LSHIFTEQ
  37. | LSHIFT
  38. | LPAR
  39. | LE
  40. | LBRACE
  41. | LAMBDA
  42. | IS
  43. | INT of Z.t
  44. | INDENT
  45. | IN
  46. | IMPORT
  47. | IMAG of string
  48. | IF
  49. | IDENT of Cst.identifier
  50. | GT
  51. | GLOBAL
  52. | GE
  53. | FROM
  54. | FOR
  55. | FLOAT of float
  56. | FINALLY
  57. | FALSE
  58. | EXCEPT
  59. | EQUAL
  60. | EQ
  61. | EOF
  62. | ELSE
  63. | ELLIPSIS
  64. | ELIF
  65. | DOT
  66. | DIVEQ
  67. | DIV
  68. | DEL
  69. | DEF
  70. | DEDENT
  71. | CONTINUE
  72. | COMMARSQ
  73. | COMMARPAR
  74. | COMMARBRA
  75. | COMMA
  76. | COLON
  77. | CLASS
  78. | BYTES of string
  79. | BREAK
  80. | BITXOREQ
  81. | BITXOR
  82. | BITOREQ
  83. | BITOR
  84. | BITNOT
  85. | BITANDEQ
  86. | BITAND
  87. | AWAIT
  88. | ATEQ
  89. | AT
  90. | ASYNC
  91. | ASSERT
  92. | AS
  93. | ARROW
  94. | AND
  95. | ADDEQ
  96. | ADD
Sourceexception Error
Sourceval file_input : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Cst.stmt list
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