Module Quandary
module ClangTaintAnalysis : sig ... end
module ClangTrace : sig ... end
module JavaTaintAnalysis : sig ... end
module JavaTrace : sig ... end
module QuandaryConfig : sig ... end
module QuandarySummary : sig ... end
module TaintAnalysis : sig ... end
module TaintSpec : sig ... end