TaintConfig.Endpoint
type node
val pp_node : node Fmt.t
type t = {
procname : IR.Procname.t;
node : node;
}