let pretty fmt =
let m = LastResult.get () in
Format.fprintf fmt
"@[Defined function (%d):@\n @[%a@]@\nUndefined functions (%d):@\n @[%a@]@\nPotential entry points (%d):@\n @[%a@]@\nSLOC: %d@\nNumber of if statements: %d@\nNumber of assignments: %d@\nNumber of loops: %d@\nNumber of calls: %d@\nNumber of gotos: %d@\nNumber of pointer access: %d@]"
(Varinfo.Hashtbl.length m.functions_with_source)
pretty_set m.functions_with_source
(Varinfo.Hashtbl.length m.functions_without_source)
pretty_set m.functions_without_source
(number_entry_points m.functions_with_source)
pretty_entry_points m.functions_with_source
m.sloc
m.if_statements
m.assign_statements
m.loop_statements
m.call_statements
m.goto_statements
m.mem_access