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