Module SiofTrace.Sink

include Absint.TaintTraceElem.S with type Kind.t = IR.Pvar.t
type t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val call_site : t -> Absint.CallSite.t
val kind : t -> Kind.t
val make : ?indexes:IStdlib.IntSet.t -> Kind.t -> Absint.CallSite.t -> t
val with_callsite : t -> Absint.CallSite.t -> t
val pp : Absint.TaintTraceElem.F.formatter -> t -> unit
module Set : IStdlib.PrettyPrintable.PPSet with type elt = t

return Some sink if the given call site/actuals are a sink, None otherwise

val indexes : t -> IStdlib.IntSet.t

return the indexes where taint can flow into the sink

val with_indexes : t -> IStdlib.IntSet.t -> t