method is_call : Mach.instruction_desc -> boolmethod frame_required : Mach.fundecl -> bool -> boolmethod analyze : Mach.fundecl -> analysis_resultmethod is_call : Mach.instruction_desc -> boolmethod frame_required : Mach.fundecl -> bool -> boolmethod analyze : Mach.fundecl -> analysis_result