Quandary (infer.Quandary)

module ClangTaintAnalysis : sig ... end

module ClangTrace : sig ... end

module JavaTaintAnalysis : sig ... end

module JavaTrace : sig ... end

module QuandaryConfig : sig ... end

utilities for importing JSON specifications of sources/sinks into Quandary

module QuandarySummary : sig ... end

summary type for Quandary taint analysis

module TaintAnalysis : sig ... end

module TaintSpec : sig ... end

combination of a trace with functions for handling unknown code and converting to and from summaries