package mopsa

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

Install 

dune-project
 Dependency

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

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_array_access of expr ext * expr ext
  15. | 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;
}