Module `Checkers.Siof`

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