goblint.lib
Goblint_lib.ThreadEscape
Variables that escape threads using the last argument from pthread_create.
goblint.sites
goblint_sites_dune
goblint_sites_js
module M = Messages
val has_escaped : Queries.ask -> Prelude.Ana.varinfo -> bool
module Spec : sig ... end