Backend.InferAnalyze
Main module for the analysis after the capture phase
val main : changed_files:IBase.SourceFile.Set.t option -> unit
val register_active_checkers : unit -> unit