code_inference_postprocess

code_in_refined_block(ea:address, block:address)

• Uses: must_fallthrough

• Used by: +disconnected4, +disconnected5, block_has_non_nop, cfg_edge, fde_instruction_block_offset, refined_block_last_instruction

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

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

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: cinf_ldr_add_pc, code_in_block, jump_table_candidate_refined, padding_prefix_end

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

code_in_split_block(ea:address, block:address)

• Uses: code_in_block, next

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

split_block(block:address)

• Uses: block

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

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

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