Module `Goblint_lib.TaintPartialContexts`

Taint analysis of variables modified in a function (taintPartialContexts).

module AD = ValueDomain.AD

module Spec : sig ... end

module VS : sig ... end

val conv_varset : Spec.D.t -> VS.t