Cst_to_ast (p.mopsa.1.1.doc.passes.Passes.Cst_to

mopsa
- CHANGELOG
- README
- Library abstraction
  - Abstraction
- Library ast
  - Ast
- Library bitfields
  - Bitfields
- Library c
  - C
- Library c_common
  - C_common
- Library c_lang
  - C_lang
- Library cfg
  - Cfg
- Library combiner
  - Combiner
- Library combiners
  - Combiners
- Library combiners_common
  - Combiners_common
- Library config
  - Config
- Library congUtils
  - CongUtils
- Library containers
  - Containers
- Library core
  - Core
- Library cpython
  - Cpython
- Library domain
  - Domain
- Library engines
  - Engines
- Library framework
  - Framework
- Library heap
  - Heap
- Library hooks
  - Hooks
- Library interactive
  - Interactive
- Library intervals
  - Intervals
- Library itvUtils
  - ItvUtils
- Library lang
  - Lang
- Library lattices
  - Lattices
- Library mopsa
  - Mopsa
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
- Library mopsa.mopsa_analzyer
- Library mopsa.mopsa_build_db
  - Mopsa_build_db
- Library mopsa.mopsa_c_parser
  - Mopsa_c_parser
- Library mopsa.mopsa_c_stubs_parser
- Library mopsa.mopsa_py_parser
  - Mopsa_py_parser
- Library mopsa.mopsa_universal_parser
  - Mopsa_universal_parser
- Library mopsa.mopsa_utils
  - Mopsa_utils
- Library numeric_common
  - Numeric_common
- Library numeric_reductions
  - Numeric_reductions
- Library numeric_values
  - Numeric_values
- Library output
  - Output
- Library params
  - Params
- Library parsing
  - Parsing
- Library passes
  - Passes
- Library powersets
  - Powersets
- Library python
  - Python
- Library python_lang
  - Python_lang
- Library reduction
  - Reduction
- Library relational
  - Relational
- Library repl
  - Repl
- Library sig
  - Sig
- Library stubs
  - Stubs
- Library toplevel
  - Toplevel
- Library universal
  - Universal
- Library universal_interproc
  - Universal_interproc
- Library universal_iterators
  - Universal_iterators
- Library universal_numeric
  - Universal_numeric
- Library utils_core
  - Utils_core
- Library value
  - Value
- Sources

Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Generic visitors

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

Sourceval visit_list : ('a -> 'b -> 'c -> 'd) -> 'a list -> 'b -> 'c -> 'd list

val visit_list_ext : 
  ('a -> 'b -> 'c -> 'd * 'e list * 'f list) ->
  'a list ->
  'b ->
  'c ->
  'd list * 'e list * 'f list

Sourceval visit_option : ('a -> 'b -> 'c -> 'd) -> 'a option -> 'b -> 'c -> 'd option

Source

val visit_pair : 
  ('a -> 'b -> 'c -> 'd) ->
  ('e -> 'b -> 'c -> 'f) ->
  ('a * 'e) ->
  'b ->
  'c ->
  'd * 'f

Types

*********

Source

val find_record : 
  Parsing.Cst.var ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.record_type

Source

val find_typedef : 
  Parsing.Cst.var ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.typedef

Source

val find_enum : 
  Parsing.Cst.var ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.enum_type

Source

val find_function : 
  Parsing.Cst.var Mopsa_utils.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func Mopsa_utils.Location.with_range

Source

val unroll_type : 
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual

Sourceval visit_qual : Parsing.Cst.c_qual -> Mopsa_c_parser.C_AST.qualifier

Source

val visit_qual_typ : 
  Parsing.Cst.c_qual_typ ->
  Mopsa_c_parser.C_AST.project ->
  'a ->
  Mopsa_c_parser.C_AST.type_qual

Source

val visit_typ : 
  Parsing.Cst.c_typ ->
  Mopsa_c_parser.C_AST.project ->
  'a ->
  Mopsa_c_parser.C_AST.typ

Source

val visit_array_length : 
  Parsing.Cst.array_length ->
  Mopsa_c_parser.C_AST.project ->
  'a ->
  Mopsa_c_parser.C_AST.array_length

Sourceval int_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval bool_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval float_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval double_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval long_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Source

val unsigned_long_type : 
  Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval long_long_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Source

val unsigned_long_long_type : 
  Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Source

val string_type : 
  string ->
  Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval char_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Source

val pointer_type : 
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval void_type : Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Sourceval is_int_typ : Mopsa_c_parser.C_AST.type_qual -> bool

Sourceval is_float_typ : Mopsa_c_parser.C_AST.type_qual -> bool

Sourceval is_pointer_typ : Mopsa_c_parser.C_AST.type_qual -> bool

Sourceval is_array_typ : Mopsa_c_parser.C_AST.type_qual -> bool

Source

val pointed_type : 
  Utils_core.Location.range ->
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual

Sourceval is_record_typ : Mopsa_c_parser.C_AST.type_qual -> bool

Source

val subscript_type : 
  Utils_core.Location.range ->
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual

Source

val attribute_type : 
  'a ->
  'b ->
  Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifier

Source

val builtin_type : 
  Parsing.Cst.builtin ->
  Parsing.Ast.expr Mopsa_utils.Location.with_range list ->
  Mopsa_c_parser.C_AST.type_qual

Records

***********

Source

val find_field : 
  Utils_core.Location.range ->
  Mopsa_c_parser.C_AST.type_qual ->
  string ->
  Mopsa_c_parser.C_AST.record_field

Source

val find_field_check : 
  Mopsa_c_parser.C_AST.type_qual ->
  string ->
  Utils_core.Location.range ->
  Mopsa_c_parser.C_AST.record_field

Expressions

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

Source

val visit_var : 
  Parsing.Cst.var ->
  Utils_core.Location.range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Mopsa_c_parser.C_AST.variable

Sourceval int_rank : Mopsa_c_parser.C_AST.integer_type -> int

Sourceval int_sign : Mopsa_c_parser.C_AST.integer_type -> bool

Source

val make_unsigned : 
  Mopsa_c_parser.C_AST.integer_type ->
  Mopsa_c_parser.C_AST.integer_type

Sourceval rank_float : Mopsa_c_parser.C_AST.float_type -> int

Sourceval is_int_binop : Parsing.Cst.binop -> bool

Source

val binop_type : 
  Utils_core.Location.range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual

Source

val integer_promotion : 
  Mopsa_c_parser.C_AST.project ->
  Parsing.Ast.expr Mopsa_utils.Location.with_range ->
  Parsing.Ast.expr Mopsa_utils.Location.with_range

Source

val promote_expression_type : 
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.type_qual ->
  Parsing.Ast.expr Mopsa_utils.Location.with_range ->
  Parsing.Ast.expr Mopsa_utils.Location.with_range

Source

val visit_expr : 
  Parsing.Cst.expr Mopsa_utils.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.expr Mopsa_utils.Location.with_range

Formulas

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

Source

val visit_interval : 
  Parsing.Cst.interval ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.interval

Source

val visit_set : 
  Parsing.Cst.set ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.set

Source

val visit_formula : 
  Parsing.Cst.formula Mopsa_utils.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.formula Mopsa_utils.Location.with_range

Stub sections

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

Source

val visit_requires : 
  Parsing.Cst.formula Mopsa_utils.Location.with_range
    Mopsa_utils.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.formula Mopsa_utils.Location.with_range
    Mopsa_utils.Location.with_range

Source

val visit_assumes : 
  Parsing.Cst.formula Mopsa_utils.Location.with_range
    Mopsa_utils.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.formula Mopsa_utils.Location.with_range
    Mopsa_utils.Location.with_range

Source

val visit_assigns : 
  Parsing.Cst.assigns Mopsa_utils.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.assigns Mopsa_utils.Location.with_range

Source

val visit_ensures : 
  Parsing.Cst.formula Mopsa_utils.Location.with_range
    Mopsa_utils.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.formula Mopsa_utils.Location.with_range
    Mopsa_utils.Location.with_range

Source

val visit_free : 
  Parsing.Cst.expr Mopsa_utils.Location.with_range
    Mopsa_utils.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.expr Mopsa_utils.Location.with_range
    Mopsa_utils.Location.with_range

Source

val visit_local : 
  Parsing.Cst.local Mopsa_utils.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.local Mopsa_utils.Location.with_range

Source

val visit_message : 
  Parsing.Cst.message Mopsa_utils.Location.with_range ->
  'a ->
  'b ->
  Parsing.Ast.message Mopsa_utils.Location.with_range

Source

val visit_leaf : 
  Parsing.Cst.leaf ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.leaf
  * Parsing.Ast.local Mopsa_utils.Location.with_range list
  * Parsing.Ast.assigns Mopsa_utils.Location.with_range list

Source

val visit_case : 
  Parsing.Cst.case Mopsa_utils.Location.with_range ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.case * Parsing.Ast.assigns Mopsa_utils.Location.with_range list

Source

val visit_section : 
  Parsing.Cst.section ->
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.section
  * Parsing.Ast.local Mopsa_utils.Location.with_range list
  * Parsing.Ast.assigns Mopsa_utils.Location.with_range list

Entry point

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

Source

val doit : 
  Mopsa_c_parser.C_AST.project ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Cst.stub ->
  Parsing.Ast.stub