Parameter `Make.1-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