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