let main _fmt = if Options.is_on () then begin !Db.Value.compute (); !Db.Security.run_whole_analysis () end