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

Simplified signature of a value abstraction.

Sourcemodule type SIMPLIFIED_VALUE = sig ... end

val default_backward_unop : 
  Core.All.operator ->
  Core.All.typ ->
  't ->
  Core.All.typ ->
  't ->
  't

Some default transfer functions

val default_backward_binop : 
  Core.All.operator ->
  Core.All.typ ->
  't ->
  Core.All.typ ->
  't ->
  Core.All.typ ->
  't ->
  't * 't

Sourceval default_filter : bool -> Core.All.typ -> 't -> 't

val default_compare : 
  Core.All.operator ->
  bool ->
  Core.All.typ ->
  't ->
  Core.All.typ ->
  't ->
  't * 't

Sourcemodule DefaultValueFunctions : sig ... end

Template module with default transfer functions

Sourcemodule MakeValue (V : SIMPLIFIED_VALUE) : Value.VALUE with type t = V.t

Functor to create a value abstraction from a simplified value abstraction

Sourceval register_simplified_value_abstraction : (module SIMPLIFIED_VALUE) -> unit

Register a new simplifed value domain

On This Page