basic_function_inference
Function inference based on call frames.
- function_entry(Block:address)
Uses:
after_end,code_in_block,direct_jump,fde_addresses,function_inference.function_entry_initial,function_pointer_section,incremental_linking,litpool_boundaries,loaded_section,possible_targetUsed by:
alignment_candidate,function_inference.function_entry_name,function_inference.function_without_callframe,function_inference.in_function_initial,mips_attribute_target_to_mid_function,no_return_func_with_returnRecursive:
subsequent_string_candidate,preferred_data_access,string_candidate_refined,inferred_main_function,discarded_data_object,+disconnected6,resolved_transfer,code_in_refined_block,inferred_special_symbol,relative_jump_table_entry,symbolic_operand_attribute,symbol_score,inferred_symbol_mips,code_in_split_block,after_address_in_data,moved_data_label,moved_label,code_pointer_in_data,data_limit_after_access,labeled_ea,data_object_point,moved_label_candidate,block_needs_merging,moved_displacement_candidate,symbolic_expr_symbol_minus_symbol,refined_block,main_function,jump_table,data_object_conflict,+disconnected1,symbol_minus_symbol,best_func_symbol,best_symexpr_symbol,symbolic_operand_point,discarded_jump_table_entry,label_conflict,address_array,+disconnected2,value_reg_address_before,symbolic_expr_attribute,string_candidate,address_array_aux,data_access_limit,split_block,symbolic_expr,inferred_symbol,data_object_candidate,function_inference.function_entry,labeled_data_candidate,symbolic_data,data_limit,symbolic_operand,block_needs_splitting_at,boundary_sym_expr,moved_pc_relative_candidate,+disconnected4,got_reference,next_address_in_data,symbol_minus_symbol_from_relocation,next_data_limit,data_object,symbol_minus_symbol_candidate,data_object_total_points
- function_entry_name(Block:address, Name:symbol)
- in_function(Block:address, Function:address)
- function_without_callframe(Block:address)
- function_entry_initial(EA:address)
Initial function entry discovery after code inference, but before use-def and value analysis.
Uses:
direct_call,entry_point,fde_addresses,function_symbol,loaded_section,pc_load_call,pe_export_entryUsed by:
base_addr_offset_operand_point,function_inference.function_entryRecursive:
litpool_symbolic_operand,__agg_single2,invalid,branch_to_calculated_pc_rel_addr,reg_used_for,data_block_limit,correlated_live_reg,inter_procedural_edge,value_reg_limit,no_value_reg_limit,init_symbol_minus_symbol_candidate_arm,start_function,jump_table_signed,stack_def_use.live_var_at_prior_used,arm_jump_table_block_start,code_in_block_candidate,wis_schedule_iter,split_load_operand,plt_block,base_relative_operand,next_function_entry_initial,stack_def_use.last_def_in_block,arch.reg_relative_load,data_in_code_propagate,must_fallthrough,jump_table_candidate,reg_has_got,block_instruction_next,negative_block_heuristic,relative_address_start,straight_line_def_used,data_in_code,reg_def_use.last_def_in_block,adjusts_stack_in_block,tls_desc_call,segment_target_range,next_block_in_byte_interval,next_type,discarded_block,block_points_proportional,__agg_single3,reg_def_use.live_var_used,instruction_memory_access_size,split_load_total_points,overlapping_instruction,value_reg_unsupported,jump_table_max,arm_jump_table_candidate,no_return_call,arm_jump_table_data_block,possible_target_from,arm_jump_table_skip_first_entry,self_contained_segment,call_target_has_other_fallthrough_inter,unresolved_block,indexed_pc_relative_load_relative,const_value_reg_used,block_last_instruction,__agg_single6,stack_def_use.live_var_at_block_end,straight_line_last_def,arch.simple_data_load,adrp_used,block,reg_def_use.live_var_at_block_end,reg_reg_arithmetic_operation_defs,jump_table_prelude,arm_jump_table_block_instruction,flags_and_jump_pair,plt_entry,simple_data_access_pattern,call_tls_get_addr,compare_and_jump_indirect_op_valid,block_points,reg_def_use.def_used,stack_def_use.live_var_used_in_block,arm_jump_table_data_block_limit,relative_address,split_load_candidate,data_block_candidate,base_relative_operation,value_reg_edge,block_total_points,compare_and_jump_immediate,compare_and_jump_indirect,def_used_for_address,split_load_point,fallthrough_over_padding,__agg_subclause6,split_load_conflict,got_relative_operand,reg_def_use.ambiguous_block_last_def,reg_def_use.block_last_def,known_block,may_fallthrough,relative_jump_table_entry_candidate,__agg_single10,reg_has_base_image,unresolved_interval_order,unresolved_interval,candidate_block_is_not_padding,inferred_main_dispatch,split_load_for_symbolization,stack_def_use.used_in_block,first_block_in_byte_interval,indefinite_litpool_ref,no_return_block,inferred_main_in_reg,incomplete_block,impossible_block,block_next,stack_base_reg_move,unlikely_have_symbolic_immediate,tls_get_addr,base_relative_jump,block_limit,padding_block_candidate,data_access,compare_and_jump_register,next_end,cinf_ldr_add_pc,block_candidate_boundaries,possible_target,block_candidate_dependency_edge,reg_def_use.live_var_at_prior_used,jump_table_candidate_refined,basic_target,stack_def_use.live_var_def,wis_prior,block_implies_block,block_boundaries,litpool_confidence,wis_has_prior,reg_def_use.return_block_end,symbol_minus_symbol_litpool_access_pattern,reg_def_use.flow_def,likely_fallthrough,stack_def_use.block_last_def,invalid_jump_table_candidate,cmp_defines,code_in_block_candidate_refined,hi_load_prop,wis_memo,overlap_with_litpool,resolved_reaches,reg_def_use.return_val_used,call_may_fallthrough_inter,function_inference.function_entry_initial,candidate_block_is_padding,__agg_subclause4,unresolved_block_overlap,padding_block_limit,stack_def_use.ref_in_block,init_ldr_add_pc,litpool_ref,discarded_split_load,value_reg,block_heuristic,reg_def_use.defined_in_block,initial_function_containing_return,reg_def_use.used_in_block,gp_relative_operand,stack_def_use.def_used,no_return_call_refined,jump_table_target,next_start,common_tail,symbolic_expr_from_relocation,tls_relative_operand_mips,block_overlap,contains_implausible_instr_seq,stack_def_use.defined_in_block,composite_data_access,contains_plausible_instr_seq,arm_jump_table_cmp_limit,relocation_adjustment,jump_table_start,relocation_adjustment_total,local_dynamic_tls_candidate,call_tls_get_addr_mips,stack_def_use.live_var_used,code_in_block,indexed_pc_relative_load,no_return_call_propagated,reg_def_use.ref_in_block,data_segment,is_padding,after_end,arm_jump_table_candidate_start,wis_schedule,nop_in_padding_candidate,reg_def_use.live_var_def,jump_table_element_access,split_load,__agg_subclause3,__agg_subclause2,reg_def_use.ambiguous_last_def_in_block,last_value_reg_limit,transition_block_limit,__agg_subclause7,arch.extend_load,initialized_data_segment,cmp_reg_to_reg,litpool_boundaries,reg_def_use.used
- in_function_initial(Block:address, Function:address)
- not_in_function_initial(Block:address)