Module TraceDomain.Sources

module Known : sig ... end
module FootprintConfig : sig ... end
module Footprint : sig ... end
module Sanitizers : sig ... end
type t = MockTrace.Sources.t = {
known : Known.t;
footprint : Footprint.t;
sanitizers : Sanitizers.t;
}
val empty : t
val is_empty : t -> bool
val of_source : Source.t -> t
val of_footprint : Absint.AccessPath.Abs.t -> t
val add : Source.t -> t -> t
val get_footprint_indexes : t -> IStdlib.IntSet.t