let compute () = 
  feedback "beginning analysis";
  let cg = 
    Service.compute
      (callgraph ())
      (get_init_funcs ())
  in
  feedback "analysis done";
  ServiceState.mark_as_computed ();
  cg