Module `Checkers.SilValidation`

val checker : IBase.Language.t -> Absint.IntraproceduralAnalysis.t -> unit