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/parsing/Parsing/Cst/index.html

Module Parsing.CstSource

Concrete syntax tree for C stubs

Stub sections

*****************

Sourceand section =
  1. | S_case of case Mopsa_utils.Core.Location.with_range
  2. | S_leaf of leaf
Sourceand case = {
  1. case_label : string;
  2. case_body : leaf list;
}

Stub leaf sections

**********************

Sourceand local = {
  1. lvar : var;
  2. ltyp : c_qual_typ;
  3. lval : local_value;
}
Sourceand assigns = {
  1. assign_target : expr Mopsa_utils.Core.Location.with_range;
  2. assign_offset : interval list;
}
Sourceand message = {
  1. message_kind : message_kind;
  2. message_body : string;
}
Sourceand message_kind =
  1. | WARN
  2. | UNSOUND

Formulas

************

Expressions

***************

Sourceand int_suffix =
  1. | NO_SUFFIX
  2. | LONG
  3. | UNSIGNED_LONG
  4. | LONG_LONG
  5. | UNSIGNED_LONG_LONG
Sourceand log_binop =
  1. | AND
  2. | OR
  3. | IMPLIES
Sourceand binop =
  1. | ADD
  2. | SUB
  3. | MUL
  4. | DIV
  5. | MOD
  6. | RSHIFT
  7. | LSHIFT
  8. | LOR
  9. | LAND
  10. | LT
  11. | LE
  12. | GT
  13. | GE
  14. | EQ
  15. | NEQ
  16. | BOR
  17. | BAND
  18. | BXOR
Sourceand unop =
  1. | PLUS
  2. | MINUS
  3. | LNOT
  4. | BNOT
Sourceand set =
  1. | S_interval of interval
  2. | S_resource of resource
Sourceand interval = {
  1. itv_lb : expr Mopsa_utils.Core.Location.with_range;
    (*

    lower bound

    *)
  2. itv_open_lb : bool;
    (*

    open lower bound

    *)
  3. itv_ub : expr Mopsa_utils.Core.Location.with_range;
    (*

    upper bound

    *)
  4. itv_open_ub : bool;
    (*

    open upper bound

    *)
}
Sourceand resource = var
Sourceand var = {
  1. vname : string;
    (*

    variable name

    *)
  2. vlocal : bool;
    (*

    is it a local variable ?

    *)
  3. vuid : int;
    (*

    unique identifier

    *)
  4. vtyp : c_qual_typ;
    (*

    variable type

    *)
  5. vrange : Mopsa_utils.Core.Location.range;
    (*

    declaration location

    *)
}
Sourceand builtin =
  1. | PRIMED
  2. | LENGTH
  3. | INDEX
  4. | BYTES
  5. | OFFSET
  6. | BASE
  7. | VALID_FLOAT
  8. | FLOAT_INF
  9. | FLOAT_NAN
  10. | ALIVE
  11. | RESOURCE

Types

Sourceand c_qual_typ = c_typ * c_qual
Sourceand c_typ =
  1. | T_void
  2. | T_char
  3. | T_signed_char
  4. | T_unsigned_char
  5. | T_signed_short
  6. | T_unsigned_short
  7. | T_signed_int
  8. | T_unsigned_int
  9. | T_signed_long
  10. | T_unsigned_long
  11. | T_signed_long_long
  12. | T_unsigned_long_long
  13. | T_signed_int128
  14. | T_unsigned_int128
  15. | T_float
  16. | T_double
  17. | T_long_double
  18. | T_float128
  19. | T_array of c_qual_typ * array_length
  20. | T_struct of var
  21. | T_union of var
  22. | T_typedef of var
  23. | T_pointer of c_qual_typ
  24. | T_enum of var
  25. | T_unknown
Sourceand c_qual = {
  1. c_qual_const : bool;
  2. c_qual_volatile : bool;
  3. c_qual_restrict : bool;
}
Sourceand array_length =
  1. | A_no_length
  2. | A_constant_length of Z.t

Utility functions

*********************

Sourceval target_info : Mopsa_c_parser.Clang_AST.target_info Stdlib.ref
Sourceval compare_var : var -> var -> int
Sourceval compare_resource : resource -> resource -> int
Sourceval no_c_qual : c_qual
Sourceval const : c_qual
Sourceval volatile : c_qual
Sourceval restrict : c_qual
Sourceval is_c_qual_non_empty : c_qual -> bool
Sourceval merge_c_qual : c_qual -> c_qual -> c_qual

Pretty printers

*******************

Sourceval pp_var : Stdlib.Format.formatter -> var -> unit
Sourceval pp_resource : Stdlib.Format.formatter -> var -> unit
Sourceval pp_builtin : Stdlib.Format.formatter -> builtin -> unit
Sourceval pp_list : (Stdlib.Format.formatter -> 'a -> unit) -> (unit, Stdlib.Format.formatter, unit) Stdlib.format -> Stdlib.Format.formatter -> 'a list -> unit
Sourceval pp_expr : Stdlib.Format.formatter -> expr Mopsa_utils.Core.Location.with_range -> unit
Sourceval pp_int_suffix : Stdlib.Format.formatter -> int_suffix -> unit
Sourceval pp_unop : Stdlib.Format.formatter -> unop -> unit
Sourceval pp_binop : Stdlib.Format.formatter -> binop -> unit
Sourceval pp_c_qual_typ : Stdlib.Format.formatter -> c_qual_typ -> unit
Sourceval pp_c_qual : Stdlib.Format.formatter -> c_qual -> unit
Sourceval pp_c_typ : Stdlib.Format.formatter -> c_typ -> unit
Sourceval pp_formula : Stdlib.Format.formatter -> formula Mopsa_utils.Core.Location.with_range -> unit
Sourceval pp_log_binop : Stdlib.Format.formatter -> log_binop -> unit
Sourceval pp_set : Stdlib.Format.formatter -> set -> unit
Sourceval pp_interval : Stdlib.Format.formatter -> interval -> unit
Sourceval pp_opt : ('a -> 'b -> unit) -> 'a -> 'b option -> unit
Sourceval pp_local : Stdlib.Format.formatter -> local Mopsa_utils.Core.Location.with_range -> unit
Sourceval pp_local_value : Stdlib.Format.formatter -> local_value -> unit
Sourceval pp_assigns : Stdlib.Format.formatter -> assigns Mopsa_utils.Core.Location.with_range -> unit
Sourceval pp_assumes : Stdlib.Format.formatter -> assumes Mopsa_utils.Core.Location.with_range -> unit
Sourceval pp_message : Stdlib.Format.formatter -> message Mopsa_utils.Core.Location.with_range -> unit
Sourceval pp_leaf : Stdlib.Format.formatter -> leaf -> unit
Sourceval pp_case : Stdlib.Format.formatter -> case -> unit
Sourceval pp_section : Stdlib.Format.formatter -> section -> unit
Sourceval pp_sections : Stdlib.Format.formatter -> section list -> unit
Sourceval pp_stub : Stdlib.Format.formatter -> section list Mopsa_utils.Core.Location.with_range -> unit