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.2.tar.gz
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa

doc/mopsa.mopsa_universal_parser/Mopsa_universal_parser/U_ast/index.html

Module Mopsa_universal_parser.U_astSource

Definition of the abstract syntax trees output by the parser.

Sourcetype 'a ext = 'a * extent
Sourcetype var = string
Sourcetype typ =
  1. | AST_INT
  2. | AST_REAL
  3. | AST_ARRAY of typ
  4. | AST_STRING
  5. | AST_CHAR
Sourcetype unary_op =
  1. | AST_UNARY_PLUS
  2. | AST_UNARY_MINUS
  3. | AST_NOT
  4. | AST_ROUND
Sourcetype binary_op =
  1. | AST_PLUS
  2. | AST_MINUS
  3. | AST_MULTIPLY
  4. | AST_DIVIDE
  5. | AST_EQUAL
  6. | AST_NOT_EQUAL
  7. | AST_LESS
  8. | AST_LESS_EQUAL
  9. | AST_GREATER
  10. | AST_GREATER_EQUAL
  11. | AST_AND
  12. | AST_OR
  13. | AST_CONCAT
Sourceand expr =
  1. | AST_unary of unary_op * expr ext
  2. | AST_len of expr ext
  3. | AST_binary of binary_op * expr ext * expr ext
  4. | AST_identifier of var ext
  5. | AST_int_const of string ext
  6. | AST_unit_const
  7. | AST_bool_const of bool ext
  8. | AST_real_const of string ext
  9. | AST_string_const of string ext
  10. | AST_char_const of char ext
  11. | AST_array_const of expr ext array ext
  12. | AST_rand of string ext * string ext
  13. | AST_randf of string ext * string ext
  14. | AST_rand_string
  15. | AST_array_access of expr ext * expr ext
  16. | AST_fun_call of var ext * expr ext list
Sourcetype typed_var = (typ * var) ext
Sourcetype declaration = typed_var * expr ext option
Sourcetype stat =
  1. | AST_block of stat ext list
  2. | AST_assign of expr ext * expr ext
  3. | AST_if of expr ext * stat ext * stat ext option
  4. | AST_while of expr ext * stat ext
  5. | AST_for of var ext * expr ext * expr ext * stat ext
  6. | AST_return of expr ext option
  7. | AST_break
  8. | AST_continue
  9. | AST_assert of expr ext
  10. | AST_assume of expr ext
  11. | AST_expr of expr ext
  12. | AST_print
Sourcetype fundec = {
  1. funname : var;
  2. parameters : typed_var list;
  3. body : stat ext;
  4. locvars : declaration ext list;
  5. return_type : typ option;
  6. range : extent;
}
Sourcetype prog = {
  1. gvars : declaration ext list;
  2. funs : fundec ext list;
  3. main : stat ext;
}