Module TraceTests.MockSource
include sig ... end
module Kind : sig ... endval call_site : t -> Absint.CallSite.tval kind : t -> Kind.tval make : ?indexes:IStdlib.IntSet.t -> Kind.t -> Absint.CallSite.t -> tval with_callsite : t -> Absint.CallSite.t -> tval pp : Absint.TaintTraceElem.F.formatter -> t -> unit
module Set : sig ... endtype spec={source : t;index : int option;}
val get : caller_pname:IR.Procname.t -> Absint.CallSite.t -> Absint.HilExp.t list -> IR.Tenv.t -> spec listval get_tainted_formals : IR.Procdesc.t -> IR.Tenv.t -> (IR.Mangled.t * IR.Typ.t * t option) list