package mopsa

  1. Overview
  2. Docs
On This Page
  1. Graph conversion
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Cfg.FrontendSource

Converts a Universal program AST into a CFG.

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

dump CFG in dot file (for debugging)

Graph conversion

Sourceval extract_calls_expr : Mopsa.expr -> (Mopsa.var * Mopsa.range) list * Mopsa.stmt list * Mopsa.expr
Sourceval extract_calls_stmt : Mopsa.stmt -> (Mopsa.var * Mopsa.range) list * Mopsa.stmt list * Mopsa.stmt
Sourceval mk_add_tmps : (Mopsa.var * Mopsa.range) list -> Mopsa.stmt list
Sourceval mk_remove_tmps : (Mopsa.var * Mopsa.range) list -> Mopsa.stmt list
Sourcetype ctx = {
  1. ctx_cfg : Ast.graph;
  2. ctx_return : Ast.node;
  3. ctx_break : Ast.node list;
  4. ctx_continue : Ast.node list;
  5. ctx_return_var : Mopsa.var option;
}
Sourceval add_node : ctx -> Ast.node_id -> Ast.node
Sourceval add_edge : ctx -> Mopsa_utils.Location.range -> (Ast.port * Ast.node) list -> (Ast.port * Ast.node) list -> Mopsa.stmt list -> unit
Sourceval add_block_after : ctx -> Mopsa_utils.Location.range -> Ast.node -> Mopsa.stmt list -> Ast.node
Sourceval add_block_before : ctx -> Mopsa_utils.Location.range -> Ast.node -> Mopsa.stmt list -> Ast.node
Sourceval add_stmt : ctx -> Ast.node -> Ast.node -> Mopsa.stmt -> unit
Sourceval convert_stmt : ?name:string -> ?ret:Mopsa.var -> Mopsa.stmt -> Mopsa.stmt

Creates a new graph and fill-in with the given statement.

Sourceval convert_fundec : Universal.Ast.fundec -> unit

Converts a function AST to a CFG.

Sourceval convert_program : Mopsa.program -> Mopsa.program

Converts a full universal program.

Sourceval parse_program : string list -> Mopsa.program

From source to CFG.

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