Sink (infer.Checkers.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

module Kind : Absint.TaintTraceElem.Kind with type t = IR.Pvar.t

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

val get : 
  Absint.CallSite.t ->
  Absint.HilExp.t list ->
  IR.CallFlags.t ->
  IR.Tenv.t ->
  t list

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