package goblint

  1. Overview
  2. Docs

Module Goblint_lib.TaintPartialContexts

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

module Spec : sig ... end
module VS : sig ... end
val conv_varset : Spec.D.t -> VS.t