package mopsa

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

Hook to collect widening thresholds.

module Function_profiler : sig ... end

Hook to profile time spent in analyzing function calls

module Gctest : sig ... end

Hook for displaying analysis logs as a tree

module Logs : sig ... end

Hook for displaying analysis logs as a tree

module Loop_profiler : sig ... end

Hook to profile loops iterations

module Progress : sig ... end

Hook for displaying progress of the analysis

OCaml

Innovation. Community. Security.