code_inference_postprocess
- code_in_refined_block(ea:address, block:address)
Uses:
must_fallthroughUsed by:
+disconnected3,+disconnected5,block_has_non_nop,cfg_edge,fde_instruction_block_offset,mips_stubs_entry,refined_block_last_instructionRecursive:
split_block,string_candidate_refined,symbolic_operand,discarded_jump_table_entry,next_address_in_data,inferred_main_function,symbolic_expr,symbolic_data,string_candidate,+disconnected2,symbolic_operand_point,moved_displacement_candidate,code_in_split_block,data_limit,data_object_candidate,value_reg_address_before,symbol_score,symbol_minus_symbol,data_object_total_points,discarded_data_object,symbolic_expr_symbol_minus_symbol,address_array,best_symexpr_symbol,boundary_sym_expr,resolved_transfer,inferred_symbol_mips,symbol_minus_symbol_candidate,data_object,code_in_refined_block,moved_pc_relative_candidate,next_data_limit,inferred_symbol,labeled_data_candidate,data_object_conflict,moved_label_candidate,+disconnected6,block_needs_splitting_at,block_needs_merging,relative_jump_table_entry,symbol_minus_symbol_from_relocation,best_func_symbol,jump_table,+disconnected4,symbolic_expr_attribute,data_access_limit,inferred_special_symbol,label_conflict,labeled_ea,data_object_point,main_function,moved_label,address_array_aux,got_reference,data_limit_after_access,code_pointer_in_data,refined_block,moved_data_label,function_inference.function_entry,preferred_data_access,after_address_in_data,+disconnected1,symbolic_operand_attribute
- refined_block(block:address)
Used by:
cfg_edge,fde_block_addresses,function_inference.in_function_initial,function_inference.not_in_function_initial,nop_blockRecursive:
split_block,string_candidate_refined,symbolic_operand,discarded_jump_table_entry,next_address_in_data,inferred_main_function,symbolic_expr,symbolic_data,string_candidate,+disconnected2,symbolic_operand_point,moved_displacement_candidate,code_in_split_block,data_limit,data_object_candidate,value_reg_address_before,symbol_score,symbol_minus_symbol,data_object_total_points,discarded_data_object,symbolic_expr_symbol_minus_symbol,address_array,best_symexpr_symbol,boundary_sym_expr,resolved_transfer,inferred_symbol_mips,symbol_minus_symbol_candidate,data_object,code_in_refined_block,moved_pc_relative_candidate,next_data_limit,inferred_symbol,labeled_data_candidate,data_object_conflict,moved_label_candidate,+disconnected6,block_needs_splitting_at,block_needs_merging,relative_jump_table_entry,symbol_minus_symbol_from_relocation,best_func_symbol,jump_table,+disconnected4,symbolic_expr_attribute,data_access_limit,inferred_special_symbol,label_conflict,labeled_ea,data_object_point,main_function,moved_label,address_array_aux,got_reference,data_limit_after_access,code_pointer_in_data,refined_block,moved_data_label,function_inference.function_entry,preferred_data_access,after_address_in_data,+disconnected1,symbolic_operand_attribute
- block_information(Block:address, Size:unsigned, StartAddress:address, EndAddress:address)
- refined_block_last_instruction(block:address, EA:address)
- refined_block_control_instruction(block:address, EA:address)
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_endRecursive:
split_block,string_candidate_refined,symbolic_operand,discarded_jump_table_entry,next_address_in_data,inferred_main_function,symbolic_expr,symbolic_data,string_candidate,+disconnected2,symbolic_operand_point,moved_displacement_candidate,code_in_split_block,data_limit,data_object_candidate,value_reg_address_before,symbol_score,symbol_minus_symbol,data_object_total_points,discarded_data_object,symbolic_expr_symbol_minus_symbol,address_array,best_symexpr_symbol,boundary_sym_expr,resolved_transfer,inferred_symbol_mips,symbol_minus_symbol_candidate,data_object,code_in_refined_block,moved_pc_relative_candidate,next_data_limit,inferred_symbol,labeled_data_candidate,data_object_conflict,moved_label_candidate,+disconnected6,block_needs_splitting_at,block_needs_merging,relative_jump_table_entry,symbol_minus_symbol_from_relocation,best_func_symbol,jump_table,+disconnected4,symbolic_expr_attribute,data_access_limit,inferred_special_symbol,label_conflict,labeled_ea,data_object_point,main_function,moved_label,address_array_aux,got_reference,data_limit_after_access,code_pointer_in_data,refined_block,moved_data_label,function_inference.function_entry,preferred_data_access,after_address_in_data,+disconnected1,symbolic_operand_attribute
- code_in_split_block(ea:address, block:address)
Uses:
code_in_block,nextRecursive:
split_block,string_candidate_refined,symbolic_operand,discarded_jump_table_entry,next_address_in_data,inferred_main_function,symbolic_expr,symbolic_data,string_candidate,+disconnected2,symbolic_operand_point,moved_displacement_candidate,code_in_split_block,data_limit,data_object_candidate,value_reg_address_before,symbol_score,symbol_minus_symbol,data_object_total_points,discarded_data_object,symbolic_expr_symbol_minus_symbol,address_array,best_symexpr_symbol,boundary_sym_expr,resolved_transfer,inferred_symbol_mips,symbol_minus_symbol_candidate,data_object,code_in_refined_block,moved_pc_relative_candidate,next_data_limit,inferred_symbol,labeled_data_candidate,data_object_conflict,moved_label_candidate,+disconnected6,block_needs_splitting_at,block_needs_merging,relative_jump_table_entry,symbol_minus_symbol_from_relocation,best_func_symbol,jump_table,+disconnected4,symbolic_expr_attribute,data_access_limit,inferred_special_symbol,label_conflict,labeled_ea,data_object_point,main_function,moved_label,address_array_aux,got_reference,data_limit_after_access,code_pointer_in_data,refined_block,moved_data_label,function_inference.function_entry,preferred_data_access,after_address_in_data,+disconnected1,symbolic_operand_attribute
- split_block(block:address)
Uses:
blockRecursive:
split_block,string_candidate_refined,symbolic_operand,discarded_jump_table_entry,next_address_in_data,inferred_main_function,symbolic_expr,symbolic_data,string_candidate,+disconnected2,symbolic_operand_point,moved_displacement_candidate,code_in_split_block,data_limit,data_object_candidate,value_reg_address_before,symbol_score,symbol_minus_symbol,data_object_total_points,discarded_data_object,symbolic_expr_symbol_minus_symbol,address_array,best_symexpr_symbol,boundary_sym_expr,resolved_transfer,inferred_symbol_mips,symbol_minus_symbol_candidate,data_object,code_in_refined_block,moved_pc_relative_candidate,next_data_limit,inferred_symbol,labeled_data_candidate,data_object_conflict,moved_label_candidate,+disconnected6,block_needs_splitting_at,block_needs_merging,relative_jump_table_entry,symbol_minus_symbol_from_relocation,best_func_symbol,jump_table,+disconnected4,symbolic_expr_attribute,data_access_limit,inferred_special_symbol,label_conflict,labeled_ea,data_object_point,main_function,moved_label,address_array_aux,got_reference,data_limit_after_access,code_pointer_in_data,refined_block,moved_data_label,function_inference.function_entry,preferred_data_access,after_address_in_data,+disconnected1,symbolic_operand_attribute
- 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_fallthroughRecursive:
split_block,string_candidate_refined,symbolic_operand,discarded_jump_table_entry,next_address_in_data,inferred_main_function,symbolic_expr,symbolic_data,string_candidate,+disconnected2,symbolic_operand_point,moved_displacement_candidate,code_in_split_block,data_limit,data_object_candidate,value_reg_address_before,symbol_score,symbol_minus_symbol,data_object_total_points,discarded_data_object,symbolic_expr_symbol_minus_symbol,address_array,best_symexpr_symbol,boundary_sym_expr,resolved_transfer,inferred_symbol_mips,symbol_minus_symbol_candidate,data_object,code_in_refined_block,moved_pc_relative_candidate,next_data_limit,inferred_symbol,labeled_data_candidate,data_object_conflict,moved_label_candidate,+disconnected6,block_needs_splitting_at,block_needs_merging,relative_jump_table_entry,symbol_minus_symbol_from_relocation,best_func_symbol,jump_table,+disconnected4,symbolic_expr_attribute,data_access_limit,inferred_special_symbol,label_conflict,labeled_ea,data_object_point,main_function,moved_label,address_array_aux,got_reference,data_limit_after_access,code_pointer_in_data,refined_block,moved_data_label,function_inference.function_entry,preferred_data_access,after_address_in_data,+disconnected1,symbolic_operand_attribute
- 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_codeUsed 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_blockUsed by:
nop_block
- nop_block(Block:address)
Uses:
block_has_non_nop,refined_block
- padding_prefix(EA:address, Block:address)
Uses:
arch.is_nop,code_in_block,nextUsed by:
padding_prefix_endRecursive:
padding_prefix
- padding_prefix_end(EA:address, Block:address)
Uses:
arch.is_nop,code_in_block,next,padding_prefixUsed by:
block_needs_splitting_at