Quandary.ClangTaintAnalysis
val checker : QuandarySummary.t Absint.InterproceduralAnalysis.t -> QuandarySummary.t option