package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

md5=fdee20e988343751de440b4f6b67c0f4

sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500

Pretty-printer of Apron environments

Sourceval coeff_eq_1 : Apron.Coeff.t -> bool

Sourceval coeff_eq_0 : Apron.Coeff.t -> bool

Sourceval coeff_cmp_0 : Apron.Coeff.t -> int option

val linexpr_to_list_pair : 
  Apron.Environment.t ->
  Apron.Linexpr1.t ->
  (Apron.Coeff.t * Apron.Var.t) list * (Apron.Coeff.t * Apron.Var.t) list

val pp_coef_var_list : 
  Binding.t ->
  Stdlib.Format.formatter ->
  (Apron.Coeff.t * Apron.Var.t) list ->
  unit

Sourceval pp_typ : Stdlib.Format.formatter -> (Apron.Lincons1.typ * bool) -> unit

Sourceval neg_list : (Apron.Coeff.t * 'a) list -> (Apron.Coeff.t * 'a) list

val pp_lincons : 
  Binding.t ->
  Stdlib.Format.formatter ->
  Apron.Lincons1.t ->
  unit

val pp_lincons_earray : 
  Binding.t ->
  Mopsa.printer ->
  Apron.Lincons1.earray ->
  unit

val pp_env : 
  'a Apron.Manager.t ->
  Mopsa.printer ->
  ('a Apron.Abstract1.t * Binding.t) ->
  unit