Goblint_lib.MemLeak
An analysis for the detection of memory leaks (memLeak).
memLeak
module ToppedVarInfoSet : sig ... end
module WasMallocCalled = BoolDomain.MayBool
module Spec : Analyses.MCPSpec