package mopsa

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

Relational numeric abstract domain, based on APRON.

val opt_show_relational_domain : bool ref
val opt_enforce_sign_constraints : bool ref

Query to retrieve relational variables

Factory functor

OCaml

Innovation. Community. Security.