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=9f673f79708b44a7effb3b6bb3618d2c

sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

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