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/relational/Relational/Instances/Octagon/index.html

Module Instances.OctagonSource

Sourceval with_context : 'a -> 'b -> 'b * 'a
Sourceval is_numerical_var : Mopsa.var -> bool
Sourceval empty_env : Apron.Environment.t
Sourceval print_env : Stdlib.Format.formatter -> Apron.Environment.t -> unit
Sourceval filter_env : (Apron.Var.t -> bool) -> (Apron.Var.t -> bool) -> Apron.Environment.t -> Apron.Environment.t
Sourceval fold_env : (Apron.Var.t -> 'a -> 'a) -> Apron.Environment.t -> 'a -> 'a
Sourceval exists_env : (Apron.Var.t -> bool) -> Apron.Environment.t -> bool
Sourceval gce : Apron.Environment.t -> Apron.Environment.t -> Apron.Environment.t
Sourceval diff : Apron.Environment.t -> Apron.Environment.t -> Apron.Environment.t
Sourceval to_constraints : (Oct.t Apron.Abstract1.t * Binding.t) -> ((Apron.Coeff.t * Mopsa.var) list * Apron.Coeff.t * Apron.Lincons1.typ) list
Sourceval constraints_of_var : Mopsa.var -> ((Apron.Coeff.t * Mopsa.var) list * 'a * 'b) list -> ((Apron.Coeff.t * Mopsa.var) list * 'a * 'b) list
Sourceval constant_vars : (Oct.t Apron.Abstract1.t * Binding.t) -> Mopsa.var list
Sourceexception UnsupportedExpression
Sourceexception ImpreciseExpression
Sourceval binop_to_apron : Mopsa.operator -> Apron.Texpr1.binop
Sourceval typ_to_apron : Mopsa.typ -> Apron.Texpr1.typ
Sourceval is_env_var : Mopsa.var -> ('a Apron.Abstract1.t * Binding.t) -> bool
Sourceval is_env_var_apron : Apron.Var.t -> 'a Apron.Abstract1.t -> bool
Sourceval remove_tmp : Apron.Var.t list -> Oct.t Apron.Abstract1.t -> Oct.t Apron.Abstract1.t
Sourceval exp_to_apron : (Mopsa.expr -> bool) -> Mopsa.expr -> (Oct.t Apron.Abstract1.t * Binding.t) -> Apron.Var.t list -> Apron.Texpr1.expr * Oct.t Apron.Abstract1.t * Binding.t * Apron.Var.t list
Sourceval bexp_to_apron : (Mopsa.expr -> bool) -> Mopsa.expr -> (Oct.t Apron.Abstract1.t * Binding.t) -> Apron.Var.t list -> (Apron.Tcons1.typ * Apron.Texpr1.expr * Ast.Typ.typ * Apron.Texpr1.expr * Ast.Typ.typ) Mopsa.Dnf.t * Oct.t Apron.Abstract1.t * Binding.t * Apron.Var.t list
Sourceval tcons_array_of_tcons_list : Apron.Environment.t -> Apron.Tcons1.t list -> Apron.Tcons1.earray
Sourcetype t = Oct.t Apron.Abstract1.t * Binding.t
val id : t Core__Id.id
val name : string
val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
Sourceval numeric_name : string
Sourceval unify : Oct.t Apron.Abstract1.t -> Oct.t Apron.Abstract1.t -> Oct.t Apron.Abstract1.t * Oct.t Apron.Abstract1.t * bool
Sourceval add_missing_vars : (Oct.t Apron.Abstract1.t * Binding.t) -> Mopsa.var list -> Oct.t Apron.Abstract1.t * Binding.t
Sourceval print_state : Mopsa.printer -> (Oct.t Apron.Abstract1.t * Binding.t) -> unit
Sourceval top : Oct.t Apron.Abstract1.t * Binding.t
Sourceval bottom : Oct.t Apron.Abstract1.t * Binding.t
Sourceval is_bottom : (Oct.t Apron.Abstract1.t * 'a) -> bool
Sourceval subset : (Oct.t Apron.Abstract1.t * 'a) -> (Oct.t Apron.Abstract1.t * 'b) -> bool
Sourceval join : (Oct.t Apron.Abstract1.t * Binding.t) -> (Oct.t Apron.Abstract1.t * Binding.t) -> Oct.t Apron.Abstract1.t * Binding.Equiv.t
Sourceval meet : (Oct.t Apron.Abstract1.t * Binding.Equiv.t) -> (Oct.t Apron.Abstract1.t * Binding.Equiv.t) -> Oct.t Apron.Abstract1.t * Binding.Equiv.t
Sourceval widen : 'a -> (Oct.t Apron.Abstract1.t * Binding.Equiv.t) -> (Oct.t Apron.Abstract1.t * Binding.Equiv.t) -> Oct.t Apron.Abstract1.t * Binding.Equiv.t
Sourceval init : 'a -> Oct.t Apron.Abstract1.t * Binding.t
Sourceval remove_var : Mopsa.var -> (Oct.t Apron.Abstract1.t * Binding.t) -> Oct.t Apron.Abstract1.t * Binding.Equiv.t
Sourceval forget_var : Mopsa.var -> (Oct.t Apron.Abstract1.t * Binding.t) -> Oct.t Apron.Abstract1.t * Binding.t
Sourceval bound_var : Mopsa.var -> (Oct.t Apron.Abstract1.t * Binding.t) -> Numeric_values.Values.Intervals.Integer.Value.t
Sourceval is_var_numeric_type : Mopsa.var -> bool
Sourceval assume : Mopsa.stmt -> (('a, bool) Core.Query.query -> bool) -> (Oct.t Apron.Abstract1.t * Binding.t) -> (Oct.t Apron.Abstract1.t * Binding.t) option
Sourceval merge : ('a * 'b) -> ((Oct.t Apron.Abstract1.t * Binding.Equiv.t) * Mopsa.change) -> ((Oct.t Apron.Abstract1.t * Binding.Equiv.t) * Mopsa.change) -> Oct.t Apron.Abstract1.t * Binding.Equiv.t
Sourceval enforce_sign_constraint : Core.All.var -> (('a, bool) Core.Query.query -> bool) -> 'b Core.All.ctx -> Mopsa.range -> (Oct.t Apron.Abstract1.t * Binding.t) option -> (Oct.t Apron.Abstract1.t * Binding.t) option
Sourceval exec : Mopsa.stmt -> ('a, 'b) Mopsa.Sig.Abstraction.Simplified.simplified_man -> 'c Core.All.ctx -> (Oct.t Apron.Abstract1.t * Binding.t) -> (Oct.t Apron.Abstract1.t * Binding.t) option
Sourceval vars : ('a Apron.Abstract1.t * Binding.t) -> Mopsa.var list
Sourceval eval_interval : ('a, 'b) Mopsa.Sig.Abstraction.Simplified.simplified_man -> Mopsa.expr -> (Oct.t Apron.Abstract1.t * Binding.t) -> Mopsa.ItvUtils.IntItv.t_with_bot option
Sourceval ask : ('a, 'r) Mopsa.query -> ('a, t) Mopsa.Sig.Abstraction.Simplified.simplified_man -> 'a Mopsa.ctx -> t -> 'r option
Sourceval print_expr : ('a, 'b) Mopsa.Sig.Abstraction.Simplified.simplified_man -> 'c Core.All.ctx -> (Oct.t Apron.Abstract1.t * Binding.t) -> Mopsa.printer -> Ast.Expr.expr -> unit
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