package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

Dune Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (8)

Authors

Maintainers

Sources

goblint-2.0.1.tbz

sha256=dba2b664c7c125687e708e871d83fbfb6ba6d9ee98d235b4850d9a238caa84de

sha512=529987cde39691ad9e955000a3603e89c1c8cf14ed5e8b4cd3a7fc26e47d016aff571b472e2329725133c46f8d0cb45a05b88994eeffaa221a4d31b4c543adcd

doc/goblint.lib/Goblint_lib/MCP/index.html

Module `Goblint_lib.MCP`

Master Control Program

include module type of struct include MCPRegistry end

type spec_modules = MCPRegistry.spec_modules = {

name : string;
dep : string list;
spec : (module Analyses.MCPSpec);
dom : (module Lattice.S);
glob : (module Lattice.S);
cont : (module Printable.S);
var : (module Analyses.SpecSysVar);
acc : (module Analyses.MCPA);

}

val activated : (int * spec_modules) list Prelude.Ana.ref

val activated_ctx_sens : (int * spec_modules) list Prelude.Ana.ref

val registered : (int, spec_modules) Goblint_lib.Prelude.Ana.Hashtbl.t

val registered_name : (string, int) Goblint_lib.Prelude.Ana.Hashtbl.t

val register_analysis : ?dep:string list -> (module Analyses.MCPSpec) -> unit

val find_spec : int -> spec_modules

val find_spec_name : int -> string

val find_id : string -> int

type unknown = Stdlib.Obj.t

module type DomainListPrintableSpec = MCPRegistry.DomainListPrintableSpec

module type DomainListSysVarSpec = MCPRegistry.DomainListSysVarSpec

module type DomainListMCPASpec = MCPRegistry.DomainListMCPASpec

module type DomainListLatticeSpec = MCPRegistry.DomainListLatticeSpec

module PrintableOfLatticeSpec = MCPRegistry.PrintableOfLatticeSpec

module PrintableOfMCPASpec = MCPRegistry.PrintableOfMCPASpec

module PrintableOfSysVarSpec = MCPRegistry.PrintableOfSysVarSpec

module DomListPrintable = MCPRegistry.DomListPrintable

module DomVariantPrintable = MCPRegistry.DomVariantPrintable

module DomVariantSysVar = MCPRegistry.DomVariantSysVar

module DomListLattice = MCPRegistry.DomListLattice

module DomVariantLattice0 = MCPRegistry.DomVariantLattice0

module DomVariantLattice = MCPRegistry.DomVariantLattice

module LocalDomainListSpec = MCPRegistry.LocalDomainListSpec

module GlobalDomainListSpec = MCPRegistry.GlobalDomainListSpec

module ContextListSpec = MCPRegistry.ContextListSpec

module VarListSpec = MCPRegistry.VarListSpec

module AccListSpec = MCPRegistry.AccListSpec

module MCP2 : 
  Analyses.Spec
    with module D = DomListLattice(LocalDomainListSpec)
     and module G = DomVariantLattice(GlobalDomainListSpec)
     and module C = DomListPrintable(ContextListSpec)
     and module V = DomVariantSysVar(VarListSpec)