package mopsa

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

General intraprocedural iterator on Control Flow Graphs.

val name : string

Command line options

val opt_decreasing_iter : int Stdlib.ref

Number of decreasing iterations after widening stabilisation.

Iterator

module Domain : sig ... end
OCaml

Innovation. Community. Security.