package mopsa

  1. Overview
  2. Docs
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

Dune Dependency

mopsa.lip6.fr Readme Changelog Edit opam file Versions (2)

Authors

  1. A
    Antoine Miné
  2. A
    Abdelraouf Ouadjaout
  3. M
    Matthieu Journault
  4. A
    Aymeric Fromherz
  5. R
    Raphaël Monat
  6. F
    Francesco Parolini
  7. M
    Marco Milanese
  8. J
    Jérôme Boillot

Maintainers

  1. A
    Antoine Miné <antoine.mine@lip6.fr>
  2. A
    Abdelraouf Ouadjaout <ouadjaout@gmail.com>
  3. R
    Raphaël Monat <raphael.monat@inria.fr>

Sources

mopsa-analyzer-v1.1.tar.gz
md5=fdee20e988343751de440b4f6b67c0f4
sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500

doc/intervals/Intervals/Integer/Value/index.html

Module Integer.ValueSource

include module type of struct include SimplifiedValue end
module FI = SimplifiedValue.FI
include sig ... end
val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
module V : sig ... end
include module type of struct include V end
val id : t Core.All.id
val accept_type : Core.All.typ -> bool
val name : string
val display : string
val bottom : t
val top : t
val is_bottom : t -> bool
val subset : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val widen : 'a Core.All.ctx -> t -> t -> t
val avalue : 'r Core.All.avalue_kind -> t -> 'r option
val backward : ('v, t) Abstraction__Value.value_man -> Core.All.expr -> t Abstraction__Value.vexpr -> 'v -> t Abstraction__Value.vexpr
val filter : bool -> Core.All.typ -> t -> t
val compare : ('v, t) Abstraction__Value.value_man -> Core.All.operator -> bool -> Core.All.expr -> t -> Core.All.expr -> t -> t * t
val eval_ext : ('v, t) Abstraction__Value.value_man -> Core.All.expr -> 'v option
val compare_ext : ('v, t) Abstraction__Value.value_man -> Core.All.operator -> bool -> Core.All.expr -> 'v -> Core.All.expr -> 'v -> ('v * 'v) option
val ask : ('v, t) Abstraction__Value.value_man -> ('a, 'r) Core.All.query -> 'r option
val print : Core.All.printer -> t -> unit

Cast a non-integer value to an integer

Utility functions

Sourceval of_z : Z.t -> Z.t -> t
Sourceval of_int : int -> int -> t
Sourceval z_of_z2 : Z.t -> Z.t -> bool -> Z.t
Sourceval z_of_mpzf : 'a Mpzf.tt -> Z.t
Sourceval z_of_mpqf : 'a Mpqf.tt -> bool -> Z.t
Sourceval z_of_apron_scalar : Apron.Scalar.t -> bool -> Z.t
Sourceval of_apron : Apron.Interval.t -> t
Sourceval to_apron : t -> Apron.Interval.t
Sourceval is_bounded : t -> bool
Sourceval bounds : t -> Z.t * Z.t
Sourceval bounds_opt : t -> Z.t option * Z.t option
Sourceval mem : Z.t -> t -> bool
Sourceval compare_interval : I.t Mopsa.Bot.with_bot -> I.t Mopsa.Bot.with_bot -> int
Sourceval map : (Z.t -> 'a) -> t -> 'a list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct
On This Page
  1. Utility functions