Module `Goblint_lib.UseAfterFree`

An analysis for the detection of use-after-free vulnerabilities (useAfterFree).

module AllocaVars : sig ... end

module HeapVars : sig ... end

module StackAndHeapVars : sig ... end

module ThreadIdToJoinedThreadsMap : sig ... end

module Spec : Analyses.MCPSpec