Goblint_lib.MallocFresh
Analysis of unescaped (i.e. thread-local) heap locations (mallocFresh).
mallocFresh
module Spec : sig ... end