package mopsa

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

Install 

dune-project
 Dependency

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

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/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