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