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

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

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

code_in_split_block(ea:address, block:address)

• Uses: code_in_block, next

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

split_block(block:address)

• Uses: block

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

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

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