Up – infer » Checkers » Siof

Module `Checkers.Siof`

val checker : SiofDomain.t Absint.InterproceduralAnalysis.t -> SiofDomain.t option