Parameter `Make.1-Spec`

module Source : Absint.Source.S

module Sink : Absint.Sink.S

module Sanitizer : Absint.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