package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Master Control Program

module QuerySet : sig ... end
type spec_modules = {
  1. spec : (module Analyses.MCPSpec);
  2. dom : (module Lattice.S);
  3. glob : (module Lattice.S);
  4. cont : (module Printable.S);
}
val analyses_list : (int * spec_modules) list Prelude.Ana.ref
val analyses_list' : (int * spec_modules) list Prelude.Ana.ref
val dep_list : (int * int list) list Prelude.Ana.ref
val dep_list' : (int * string list) list Prelude.Ana.ref
val analyses_table : (int * string) list Prelude.Ana.ref
val register_analysis : ?dep:string list -> (module Analyses.MCPSpec) -> unit
type unknown = Obj.t
module type DomainListPrintableSpec = sig ... end
module type DomainListLatticeSpec = sig ... end
exception DomListBroken of string
module DomListLattice (DLSpec : DomainListLatticeSpec) : Lattice.S with type t = (int * unknown) list