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

mopsa.lip6.fr Readme Changelog Edit opam file Versions (2)

Authors

Maintainers

Sources

mopsa-analyzer-v1.1.tar.gz

md5=fdee20e988343751de440b4f6b67c0f4

sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500

doc/mopsa.mopsa_utils/Mopsa_utils/index.html

Module `Mopsa_utils`Source

module Bot = Utils_core.Bot

module Compare = Utils_core.Compare

module Location = Utils_core.Location

module Callstack = Utils_core.Callstack

module Debug = Utils_core.Debug

module Exceptions = Utils_core.Exceptions

module OptionExt = Utils_core.OptionExt

module Dnf = Utils_core.Dnf

module SetExtPoly = Containers.SetExtPoly

module SetExt = Containers.SetExt

module SetExtSig = Containers.SetExtSig

module SetP = Containers.SetP

module ListExt = Containers.ListExt

module MapExtPoly = Containers.MapExtPoly

module MapExt = Containers.MapExt

module MapExtSig = Containers.MapExtSig

module InvRelation = Containers.InvRelation

module InvRelationSig = Containers.InvRelationSig

module Equiv = Containers.Equiv

module MapP = Containers.MapP

module Relation = Containers.Relation

module RelationSig = Containers.RelationSig

module ValueSig = Utils_core.ValueSig

module Timing = Utils_core.Timing

module Top = Utils_core.Top

module Bot_top = Utils_core.Bot_top

module ItvUtils = ItvUtils

module CongUtils = CongUtils

module Bitfields = Bitfields

module GraphSig = Containers.GraphSig

module Graph = Containers.Graph

module ArgExt = Utils_core.ArgExt

module LineEdit = Utils_core.LineEdit

module TypeExt = Utils_core.TypeExt

module Eq = Utils_core.Eq

module Version = Utils_core.Version