package goblint

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

Promela extraction analysis for Pthread programs (extract-pthread).

class uniqueVarPrinterClass : object ... end
val printer : uniqueVarPrinterClass
type thread_id = int
type thread_name = string
type mutex_id = int
type mutex_name = string
type cond_var_id = int
type cond_var_name = string
type fun_name = string
module Resource : sig ... end
module Action : sig ... end
type node = CilType.Location.t

type of a node in CFG

type edge = node * Action.t * node

type of a single edge in CFG

module Tbls : sig ... end
val promela_main : fun_name
module Tasks : sig ... end
module Env : sig ... end
module Edges : sig ... end
module Variable : sig ... end
module Variables : sig ... end
type promela_src = string

promela source code

module Codegen : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct