package mopsa

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module CfgSource

Sourcemodule Ast : sig ... end

Extends the simple Universal language with Control Flow Graphs.

Sourcemodule Frontend : sig ... end

Converts a Universal program AST into a CFG.

Sourcemodule Iterator : sig ... end

General intraprocedural iterator on Control Flow Graphs.

Sourcemodule Pp : sig ... end

Pretty-printing for CFG.

Sourcemodule Visitor : sig ... end

Visitors for CFG.

OCaml

Innovation. Community. Security.