Module TraceDomain.Source

val compare : t Base__Ppx_compare_lib.compare
val equal : t Base__Ppx_compare_lib.equal
module Kind : sig ... end
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 : sig ... end
type spec = MockTrace.Source.spec = {
  1. source : t;
  2. index : int option;
}
val get : caller_pname:IR.Procname.t -> Absint.CallSite.t -> Absint.HilExp.t list -> IR.Tenv.t -> spec list
val get_tainted_formals : IR.Procdesc.t -> IR.Tenv.t -> (IR.Mangled.t * IR.Typ.t * t option) list