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

Dune Dependency

gitlab.com Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

mopsa-analyzer-v1.0.tar.gz

md5=9f673f79708b44a7effb3b6bb3618d2c

sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

doc/reduction/Reduction/Simplified/index.html

Module `Reduction.Simplified`Source

Reduction rules for reduced products of simplified domains

When a reduced product contains only domains with the simplified signature, reductions rules operate on the product of abstract environments instead of flows.

This simplifies the formulation of reductions and gives direct access to the non-relational abstraction (if any).

Reduction manager

Sourcetype ('a, 'b) simplified_reduction_man = {

get_env : 't. 't Core.All.id -> 'b -> 't;
(*
Get the environment of some domain
*)
set_env : 't. 't Core.All.id -> 't -> 'b -> 'b;
(*
Set the environment of some domain
*)
get_value : 't. 't Core.All.id -> Core.All.var -> 'b -> 't;
(*
Get the value of a variable in some value abstraction
*)
set_value : 't. 't Core.All.id -> Core.All.var -> 't -> 'b -> 'b;
(*
Set the value of a variable in some value abstraction
*)
ask : 'r. ('a, 'r) Core.All.query -> 'a Core.All.ctx -> 'b -> 'r;
(*
Perform a query
*)

}

Manager used by simplified reduction rules

Signature

Sourcemodule type SIMPLIFIED_REDUCTION = sig ... end

Registration

Sourceval register_simplified_reduction : (module SIMPLIFIED_REDUCTION) -> unit

Register a new simplified reduction

Sourceval find_simplified_reduction : string -> (module SIMPLIFIED_REDUCTION)

Find an simplified reduction by its name

Sourceval simplified_reductions : unit -> string list

List all simplified reductions

On This Page

Reduction manager
Signature
Registration