Module Sink.Make

Parameters

Signature

include TaintTraceElem.S
type t
val compare : t -> t -> int
val call_site : t -> CallSite.t
val kind : t -> Kind.t
val make : ?⁠indexes:IStdlib.IntSet.t -> Kind.t -> CallSite.t -> t
val with_callsite : t -> CallSite.t -> t
val pp : Absint.TaintTraceElem.F.formatter -> t -> unit
module Set : IStdlib.PrettyPrintable.PPSet with type PPSet.elt = t
val get : CallSite.t -> 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