method get_data =
let checker = (new Register.slocVisitor) in
checker#set_standalone false;
Metrics_parameters.debug "beginning of cyclo check";
ignore (visitFramacGlobal
(checker :> frama_c_visitor)
fct_to_check);
checker#sloc,
checker#ifs,
checker#assigns,
checker#loops,
checker#calls,
checker#gotos,
checker#mem_access,
(checker#ifs + checker#loops) - checker#exits + 2