Up – infer » Checkers » PrintfArgs

Module `Checkers.PrintfArgs`

val checker : Absint.IntraproceduralAnalysis.t -> unit