Module Make.Sources
module Known : module type of sig ... end
Set of sources returned by callees of the current function
module FootprintConfig : AccessTree.Config
module Footprint : module type of sig ... end
Set of access paths representing the sources that may flow in from the caller
module Sanitizers : module type of sig ... end
Set of sanitizers that have been applied to these sources
type t
=
{
known : Known.t;
footprint : Footprint.t;
sanitizers : Sanitizers.t;
}