package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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
OCaml

Innovation. Community. Security.