package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Addr : sig ... end

Heap addresses

module Constant : sig ... end

Constant

module Expr : sig ... end

Expressions

module Frontend : sig ... end

Frontends

module Operator : sig ... end

Operators

module Program : sig ... end

Programs

module Semantic : sig ... end

Semantics

module Stmt : sig ... end

Statements

module Typ : sig ... end

Types

module Var : sig ... end

Variables

module Visitor : sig ... end

Visitors for statements and expressions

OCaml

Innovation. Community. Security.