package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type Node = sig ... end
module type Edge = sig ... end
module CFGEdge : Edge with type t = MyCFG.edge
type inline_edge =
  1. | CFGEdge of Edge.t
  2. | InlineEntry of CilType.Exp.t list
  3. | InlineReturn of CilType.Lval.t option
val inline_edge_to_yojson : inline_edge -> Yojson.Safe.t
val _ : inline_edge -> Yojson.Safe.t
val pretty_inline_edge : unit -> inline_edge -> Pretty.doc
module InlineEdge : Edge with type t = inline_edge
module type S = sig ... end
module StackNode (Node : Node) : Node with type t = Node.t list
module Stack (Cfg : MyCFG.CfgForward) (Arg : S) : S with module Node = StackNode(Arg.Node) and module Edge = Arg.Edge
module type IsInteresting = sig ... end
module InterestingArg (Arg : S) (IsInteresting : IsInteresting with type node := Arg.Node.t and type edge := Arg.Edge.t) : S with module Node = Arg.Node and module Edge = Arg.Edge
module type SIntra = sig ... end
module type SIntraOpt = sig ... end
val partition_if_next : (MyCFG.edge * 'a) list -> CilType.Exp.t * 'a * 'a
module Intra (ArgIntra : SIntraOpt) (Arg : S) : S with module Node = Arg.Node and module Edge = Arg.Edge
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet 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