package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install

Dune Dependency

Authors

Maintainers

Sources

goblint-2.2.1.tbz
sha256=ca24f72fa9a87d288affe97c411753f14b7802bab4ca3649b337276b89bf5674
sha512=394b3521ccda0da91540cebb2f433f7525763060be4bbe179edd3b952a3580a8e173c4e410fc6895dc67fe6d17e6699aeddfed600f4692858bec093dd912bf1e

doc/goblint.lib/Goblint_lib/ArgTools/Make/Node/index.html

Module Make.Node

val equal : (Node.t * R.SpecSys.Spec.C.t * 'a) -> (Node.t * R.SpecSys.Spec.C.t * 'a) -> bool
val hash : (Node.t * R.SpecSys.Spec.C.t * int) -> int
val cfgnode : ('a * 'b * 'c) -> 'a
val context_id : ('a * R.SpecSys.Spec.C.t * 'b) -> int
val path_id : ('a * 'b * 'c) -> 'c
val to_string : (MyCFG.node * R.SpecSys.Spec.C.t * int) -> string
val is_live : (MyCFG.node * R.SpecSys.Spec.C.t * 'a) -> bool
val move_opt : ('a * R.SpecSys.Spec.C.t * 'b) -> Node.t -> (MyCFG.node * R.SpecSys.Spec.C.t * int) option
val equal_node_context : (Node.t * R.SpecSys.Spec.C.t * 'a) -> (Node.t * R.SpecSys.Spec.C.t * 'b) -> Ppx_deriving_runtime.bool
OCaml

Innovation. Community. Security.