method virtual trap_handler_size : int
method is_call : Mach.instruction_desc -> bool
method frame_required : Mach.fundecl -> bool -> bool
method analyze : Mach.fundecl -> analysis_result