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_universal_parser/Mopsa_universal_parser/U_parser/index.html

Module Mopsa_universal_parser.U_parserSource

Sourcetype token =
  1. | TOK_string of string
  2. | TOK_real of string
  3. | TOK_int of string
  4. | TOK_id of string
  5. | TOK_char of char
  6. | TOK_WHILE
  7. | TOK_VOID
  8. | TOK_TRUE
  9. | TOK_STRING
  10. | TOK_STAR
  11. | TOK_SEMICOLON
  12. | TOK_RPAREN
  13. | TOK_ROUND
  14. | TOK_RETURN
  15. | TOK_REAL
  16. | TOK_RCURLY
  17. | TOK_RBRACKET
  18. | TOK_RANDF
  19. | TOK_RAND
  20. | TOK_PRINT
  21. | TOK_PLUS
  22. | TOK_NOT_EQUAL
  23. | TOK_MINUS
  24. | TOK_LPAREN
  25. | TOK_LESS_EQUAL
  26. | TOK_LESS
  27. | TOK_LCURLY
  28. | TOK_LBRACKET
  29. | TOK_INT
  30. | TOK_IF
  31. | TOK_GREATER_EQUAL
  32. | TOK_GREATER
  33. | TOK_FOR
  34. | TOK_FALSE
  35. | TOK_EXCLAIM
  36. | TOK_EQUAL_EQUAL
  37. | TOK_EQUAL
  38. | TOK_EOF
  39. | TOK_ELSE
  40. | TOK_DIVIDE
  41. | TOK_CONTINUE
  42. | TOK_CONCAT
  43. | TOK_COMMA
  44. | TOK_CHAR
  45. | TOK_BREAK
  46. | TOK_BAR_BAR
  47. | TOK_BAR
  48. | TOK_ASSUME
  49. | TOK_ASSERT
  50. | TOK_ARRAY
  51. | TOK_AND_AND
Sourceexception Error
Sourceval declaration_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> U_ast.declaration
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