code_inference_postprocess

code_in_refined_block(ea:address, block:address)

• Uses: must_fallthrough

• Used by: +disconnected3, +disconnected5, block_has_non_nop, cfg_edge, fde_instruction_block_offset, mips_stubs_entry, refined_block_last_instruction

• Recursive: refined_block, data_limit_after_access, moved_pc_relative_candidate, symbolic_expr, symbolic_operand, symbolic_operand_point, data_object, +disconnected6, data_limit, after_address_in_data, discarded_jump_table_entry, moved_data_label, best_func_symbol, inferred_symbol_mips, relative_jump_table_entry, string_candidate_refined, discarded_data_object, +disconnected1, address_array_aux, next_data_limit, preferred_data_access, label_conflict, symbolic_operand_attribute, main_function, block_needs_splitting_at, symbolic_expr_attribute, data_access_limit, boundary_sym_expr, symbolic_expr_symbol_minus_symbol, labeled_data_candidate, string_candidate, data_object_conflict, moved_label_candidate, labeled_ea, data_object_point, jump_table, function_inference.function_entry, +disconnected4, inferred_special_symbol, value_reg_address_before, code_in_split_block, +disconnected2, resolved_transfer, moved_displacement_candidate, symbolic_data, code_pointer_in_data, best_symexpr_symbol, next_address_in_data, symbol_minus_symbol_candidate, symbol_score, inferred_symbol, data_object_candidate, block_needs_merging, symbol_minus_symbol_from_relocation, data_object_total_points, inferred_main_function, symbol_minus_symbol, code_in_refined_block, moved_label, got_reference, split_block, address_array

refined_block(block:address)

• Used by: cfg_edge, fde_block_addresses, function_inference.in_function_initial, function_inference.not_in_function_initial, nop_block

• Recursive: refined_block, data_limit_after_access, moved_pc_relative_candidate, symbolic_expr, symbolic_operand, symbolic_operand_point, data_object, +disconnected6, data_limit, after_address_in_data, discarded_jump_table_entry, moved_data_label, best_func_symbol, inferred_symbol_mips, relative_jump_table_entry, string_candidate_refined, discarded_data_object, +disconnected1, address_array_aux, next_data_limit, preferred_data_access, label_conflict, symbolic_operand_attribute, main_function, block_needs_splitting_at, symbolic_expr_attribute, data_access_limit, boundary_sym_expr, symbolic_expr_symbol_minus_symbol, labeled_data_candidate, string_candidate, data_object_conflict, moved_label_candidate, labeled_ea, data_object_point, jump_table, function_inference.function_entry, +disconnected4, inferred_special_symbol, value_reg_address_before, code_in_split_block, +disconnected2, resolved_transfer, moved_displacement_candidate, symbolic_data, code_pointer_in_data, best_symexpr_symbol, next_address_in_data, symbol_minus_symbol_candidate, symbol_score, inferred_symbol, data_object_candidate, block_needs_merging, symbol_minus_symbol_from_relocation, data_object_total_points, inferred_main_function, symbol_minus_symbol, code_in_refined_block, moved_label, got_reference, split_block, address_array

block_information(Block:address, Size:unsigned, StartAddress:address, EndAddress:address)

• Uses: arch.instruction_at, instruction, refined_block_last_instruction

• Used by: cfg_edge, cfi_directive, fde_block_addresses, fde_instruction_block_offset, next_refined_block_in_byte_interval, padding

refined_block_last_instruction(block:address, EA:address)

• Uses: code_in_refined_block, next

• Used by: block_information, cfg_edge, cfg_edge_to_symbol, cfg_edge_to_top, fde_block_addresses, refined_block_control_instruction

refined_block_control_instruction(block:address, EA:address)

• Uses: arch.delay_slot, refined_block_last_instruction

• Used by: cfg_edge, cfg_edge_to_symbol, cfg_edge_to_top

block_needs_splitting_at(EA:address)

• Uses: base_addr_offset_operand, cinf_ldr_add_pc, code_in_block, code_in_block_candidate, jump_table_candidate_refined, padding_prefix_end

• Recursive: refined_block, data_limit_after_access, moved_pc_relative_candidate, symbolic_expr, symbolic_operand, symbolic_operand_point, data_object, +disconnected6, data_limit, after_address_in_data, discarded_jump_table_entry, moved_data_label, best_func_symbol, inferred_symbol_mips, relative_jump_table_entry, string_candidate_refined, discarded_data_object, +disconnected1, address_array_aux, next_data_limit, preferred_data_access, label_conflict, symbolic_operand_attribute, main_function, block_needs_splitting_at, symbolic_expr_attribute, data_access_limit, boundary_sym_expr, symbolic_expr_symbol_minus_symbol, labeled_data_candidate, string_candidate, data_object_conflict, moved_label_candidate, labeled_ea, data_object_point, jump_table, function_inference.function_entry, +disconnected4, inferred_special_symbol, value_reg_address_before, code_in_split_block, +disconnected2, resolved_transfer, moved_displacement_candidate, symbolic_data, code_pointer_in_data, best_symexpr_symbol, next_address_in_data, symbol_minus_symbol_candidate, symbol_score, inferred_symbol, data_object_candidate, block_needs_merging, symbol_minus_symbol_from_relocation, data_object_total_points, inferred_main_function, symbol_minus_symbol, code_in_refined_block, moved_label, got_reference, split_block, address_array

code_in_split_block(ea:address, block:address)

• Uses: code_in_block, next

• Recursive: refined_block, data_limit_after_access, moved_pc_relative_candidate, symbolic_expr, symbolic_operand, symbolic_operand_point, data_object, +disconnected6, data_limit, after_address_in_data, discarded_jump_table_entry, moved_data_label, best_func_symbol, inferred_symbol_mips, relative_jump_table_entry, string_candidate_refined, discarded_data_object, +disconnected1, address_array_aux, next_data_limit, preferred_data_access, label_conflict, symbolic_operand_attribute, main_function, block_needs_splitting_at, symbolic_expr_attribute, data_access_limit, boundary_sym_expr, symbolic_expr_symbol_minus_symbol, labeled_data_candidate, string_candidate, data_object_conflict, moved_label_candidate, labeled_ea, data_object_point, jump_table, function_inference.function_entry, +disconnected4, inferred_special_symbol, value_reg_address_before, code_in_split_block, +disconnected2, resolved_transfer, moved_displacement_candidate, symbolic_data, code_pointer_in_data, best_symexpr_symbol, next_address_in_data, symbol_minus_symbol_candidate, symbol_score, inferred_symbol, data_object_candidate, block_needs_merging, symbol_minus_symbol_from_relocation, data_object_total_points, inferred_main_function, symbol_minus_symbol, code_in_refined_block, moved_label, got_reference, split_block, address_array

split_block(block:address)

• Uses: block

• Recursive: refined_block, data_limit_after_access, moved_pc_relative_candidate, symbolic_expr, symbolic_operand, symbolic_operand_point, data_object, +disconnected6, data_limit, after_address_in_data, discarded_jump_table_entry, moved_data_label, best_func_symbol, inferred_symbol_mips, relative_jump_table_entry, string_candidate_refined, discarded_data_object, +disconnected1, address_array_aux, next_data_limit, preferred_data_access, label_conflict, symbolic_operand_attribute, main_function, block_needs_splitting_at, symbolic_expr_attribute, data_access_limit, boundary_sym_expr, symbolic_expr_symbol_minus_symbol, labeled_data_candidate, string_candidate, data_object_conflict, moved_label_candidate, labeled_ea, data_object_point, jump_table, function_inference.function_entry, +disconnected4, inferred_special_symbol, value_reg_address_before, code_in_split_block, +disconnected2, resolved_transfer, moved_displacement_candidate, symbolic_data, code_pointer_in_data, best_symexpr_symbol, next_address_in_data, symbol_minus_symbol_candidate, symbol_score, inferred_symbol, data_object_candidate, block_needs_merging, symbol_minus_symbol_from_relocation, data_object_total_points, inferred_main_function, symbol_minus_symbol, code_in_refined_block, moved_label, got_reference, split_block, address_array

block_needs_merging(block:address)

• Uses: code_in_block, defined_symbol, dynamic_entry, entry_point, fde_addresses, function_symbol, instruction_has_loop_prefix, loaded_section, must_fallthrough

• Recursive: refined_block, data_limit_after_access, moved_pc_relative_candidate, symbolic_expr, symbolic_operand, symbolic_operand_point, data_object, +disconnected6, data_limit, after_address_in_data, discarded_jump_table_entry, moved_data_label, best_func_symbol, inferred_symbol_mips, relative_jump_table_entry, string_candidate_refined, discarded_data_object, +disconnected1, address_array_aux, next_data_limit, preferred_data_access, label_conflict, symbolic_operand_attribute, main_function, block_needs_splitting_at, symbolic_expr_attribute, data_access_limit, boundary_sym_expr, symbolic_expr_symbol_minus_symbol, labeled_data_candidate, string_candidate, data_object_conflict, moved_label_candidate, labeled_ea, data_object_point, jump_table, function_inference.function_entry, +disconnected4, inferred_special_symbol, value_reg_address_before, code_in_split_block, +disconnected2, resolved_transfer, moved_displacement_candidate, symbolic_data, code_pointer_in_data, best_symexpr_symbol, next_address_in_data, symbol_minus_symbol_candidate, symbol_score, inferred_symbol, data_object_candidate, block_needs_merging, symbol_minus_symbol_from_relocation, data_object_total_points, inferred_main_function, symbol_minus_symbol, code_in_refined_block, moved_label, got_reference, split_block, address_array

next_refined_block_in_byte_interval(Block:address, NextBlock:address)

Blocks are either contiguous or separated by data segments This assumes there are no remaining overlapping blocks. This is similar to next_block_in_byte_interval, but this uses the refined block information (i.e., block_information).

• Uses: block_information, data_in_code

• Used by: function_inference.in_function

padding(EA:address, Size:unsigned)

• Uses: after_end, block_information, is_padding, next, nop_block

block_has_non_nop(Block:address)

• Uses: arch.is_nop, code_in_refined_block

• Used by: nop_block

nop_block(Block:address)

• Uses: block_has_non_nop, refined_block

• Used by: cfg_edge, padding

padding_prefix(EA:address, Block:address)

• Uses: arch.is_nop, code_in_block, next

• Used by: padding_prefix_end

• Recursive: padding_prefix

padding_prefix_end(EA:address, Block:address)

• Uses: arch.is_nop, code_in_block, next, padding_prefix

• Used by: block_needs_splitting_at