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-project

Dependency

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

Authors

Maintainers

Sources

mopsa-analyzer-v1.0.tar.gz

md5=9f673f79708b44a7effb3b6bb3618d2c

sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

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