Spec (infer.Absint.TaintTrace.Make.Spec)

module Source : Source.S

module Sink : Sink.S

module Sanitizer : Sanitizer.S

val get_report : 
  Source.t ->
  Sink.t ->
  Sanitizer.t list ->
  IBase.IssueType.t option

return Some(issue) a trace from source to sink passing through the given sanitizers should be reported, None otherwise