Module `Goblint_lib.ThreadEscape`

Escape analysis for thread-local variables (escape).

module M = Messages

module AD = ValueDomain.AD

val has_escaped : Queries.ask -> GoblintCil.varinfo -> bool

module Spec : sig ... end