code_inference_postprocess
- code_in_refined_block(ea:address, block:address)
Uses:
must_fallthroughUsed by:
+disconnected4,+disconnected5,block_has_non_nop,cfg_edge,fde_instruction_block_offset,refined_block_last_instructionRecursive:
symbol_score,discarded_jump_table_entry,symbolic_data,split_block,+disconnected3,data_limit,data_object_conflict,discarded_data_object,moved_pc_relative_candidate,inferred_special_symbol,symbol_minus_symbol_from_relocation,best_symexpr_symbol,preferred_data_access,symbolic_expr,data_limit_after_access,symbolic_expr_attribute,next_address_in_data,symbolic_operand,symbol_minus_symbol,code_in_split_block,inferred_main_function,resolved_transfer,base_relative_symbolic_operand,label_conflict,relative_jump_table_entry,data_access_limit,function_inference.function_entry,+disconnected6,string_candidate_refined,+disconnected2,moved_label_candidate,moved_label,moved_displacement_candidate,symbolic_operand_point,data_object_candidate,data_object,value_reg_address_before,block_needs_merging,data_object_total_points,data_object_point,symbol_minus_symbol_candidate,address_array_aux,symbolic_operand_attribute,main_function,address_array,labeled_ea,best_func_symbol,next_data_limit,moved_data_label,labeled_data_candidate,boundary_sym_expr,+disconnected1,refined_block,jump_table,block_needs_splitting_at,got_reference,code_in_refined_block,symbolic_expr_symbol_minus_symbol,code_pointer_in_data,string_candidate,after_address_in_data
- refined_block(block:address)
Used by:
cfg_edge,fde_block_addresses,function_inference.in_function_initial,function_inference.not_in_function_initial,nop_blockRecursive:
symbol_score,discarded_jump_table_entry,symbolic_data,split_block,+disconnected3,data_limit,data_object_conflict,discarded_data_object,moved_pc_relative_candidate,inferred_special_symbol,symbol_minus_symbol_from_relocation,best_symexpr_symbol,preferred_data_access,symbolic_expr,data_limit_after_access,symbolic_expr_attribute,next_address_in_data,symbolic_operand,symbol_minus_symbol,code_in_split_block,inferred_main_function,resolved_transfer,base_relative_symbolic_operand,label_conflict,relative_jump_table_entry,data_access_limit,function_inference.function_entry,+disconnected6,string_candidate_refined,+disconnected2,moved_label_candidate,moved_label,moved_displacement_candidate,symbolic_operand_point,data_object_candidate,data_object,value_reg_address_before,block_needs_merging,data_object_total_points,data_object_point,symbol_minus_symbol_candidate,address_array_aux,symbolic_operand_attribute,main_function,address_array,labeled_ea,best_func_symbol,next_data_limit,moved_data_label,labeled_data_candidate,boundary_sym_expr,+disconnected1,refined_block,jump_table,block_needs_splitting_at,got_reference,code_in_refined_block,symbolic_expr_symbol_minus_symbol,code_pointer_in_data,string_candidate,after_address_in_data
- 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:
cinf_ldr_add_pc,code_in_block,jump_table_candidate_refined,padding_prefix_endRecursive:
symbol_score,discarded_jump_table_entry,symbolic_data,split_block,+disconnected3,data_limit,data_object_conflict,discarded_data_object,moved_pc_relative_candidate,inferred_special_symbol,symbol_minus_symbol_from_relocation,best_symexpr_symbol,preferred_data_access,symbolic_expr,data_limit_after_access,symbolic_expr_attribute,next_address_in_data,symbolic_operand,symbol_minus_symbol,code_in_split_block,inferred_main_function,resolved_transfer,base_relative_symbolic_operand,label_conflict,relative_jump_table_entry,data_access_limit,function_inference.function_entry,+disconnected6,string_candidate_refined,+disconnected2,moved_label_candidate,moved_label,moved_displacement_candidate,symbolic_operand_point,data_object_candidate,data_object,value_reg_address_before,block_needs_merging,data_object_total_points,data_object_point,symbol_minus_symbol_candidate,address_array_aux,symbolic_operand_attribute,main_function,address_array,labeled_ea,best_func_symbol,next_data_limit,moved_data_label,labeled_data_candidate,boundary_sym_expr,+disconnected1,refined_block,jump_table,block_needs_splitting_at,got_reference,code_in_refined_block,symbolic_expr_symbol_minus_symbol,code_pointer_in_data,string_candidate,after_address_in_data
- code_in_split_block(ea:address, block:address)
Uses:
code_in_block,nextRecursive:
symbol_score,discarded_jump_table_entry,symbolic_data,split_block,+disconnected3,data_limit,data_object_conflict,discarded_data_object,moved_pc_relative_candidate,inferred_special_symbol,symbol_minus_symbol_from_relocation,best_symexpr_symbol,preferred_data_access,symbolic_expr,data_limit_after_access,symbolic_expr_attribute,next_address_in_data,symbolic_operand,symbol_minus_symbol,code_in_split_block,inferred_main_function,resolved_transfer,base_relative_symbolic_operand,label_conflict,relative_jump_table_entry,data_access_limit,function_inference.function_entry,+disconnected6,string_candidate_refined,+disconnected2,moved_label_candidate,moved_label,moved_displacement_candidate,symbolic_operand_point,data_object_candidate,data_object,value_reg_address_before,block_needs_merging,data_object_total_points,data_object_point,symbol_minus_symbol_candidate,address_array_aux,symbolic_operand_attribute,main_function,address_array,labeled_ea,best_func_symbol,next_data_limit,moved_data_label,labeled_data_candidate,boundary_sym_expr,+disconnected1,refined_block,jump_table,block_needs_splitting_at,got_reference,code_in_refined_block,symbolic_expr_symbol_minus_symbol,code_pointer_in_data,string_candidate,after_address_in_data
- split_block(block:address)
Uses:
blockRecursive:
symbol_score,discarded_jump_table_entry,symbolic_data,split_block,+disconnected3,data_limit,data_object_conflict,discarded_data_object,moved_pc_relative_candidate,inferred_special_symbol,symbol_minus_symbol_from_relocation,best_symexpr_symbol,preferred_data_access,symbolic_expr,data_limit_after_access,symbolic_expr_attribute,next_address_in_data,symbolic_operand,symbol_minus_symbol,code_in_split_block,inferred_main_function,resolved_transfer,base_relative_symbolic_operand,label_conflict,relative_jump_table_entry,data_access_limit,function_inference.function_entry,+disconnected6,string_candidate_refined,+disconnected2,moved_label_candidate,moved_label,moved_displacement_candidate,symbolic_operand_point,data_object_candidate,data_object,value_reg_address_before,block_needs_merging,data_object_total_points,data_object_point,symbol_minus_symbol_candidate,address_array_aux,symbolic_operand_attribute,main_function,address_array,labeled_ea,best_func_symbol,next_data_limit,moved_data_label,labeled_data_candidate,boundary_sym_expr,+disconnected1,refined_block,jump_table,block_needs_splitting_at,got_reference,code_in_refined_block,symbolic_expr_symbol_minus_symbol,code_pointer_in_data,string_candidate,after_address_in_data
- 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:
symbol_score,discarded_jump_table_entry,symbolic_data,split_block,+disconnected3,data_limit,data_object_conflict,discarded_data_object,moved_pc_relative_candidate,inferred_special_symbol,symbol_minus_symbol_from_relocation,best_symexpr_symbol,preferred_data_access,symbolic_expr,data_limit_after_access,symbolic_expr_attribute,next_address_in_data,symbolic_operand,symbol_minus_symbol,code_in_split_block,inferred_main_function,resolved_transfer,base_relative_symbolic_operand,label_conflict,relative_jump_table_entry,data_access_limit,function_inference.function_entry,+disconnected6,string_candidate_refined,+disconnected2,moved_label_candidate,moved_label,moved_displacement_candidate,symbolic_operand_point,data_object_candidate,data_object,value_reg_address_before,block_needs_merging,data_object_total_points,data_object_point,symbol_minus_symbol_candidate,address_array_aux,symbolic_operand_attribute,main_function,address_array,labeled_ea,best_func_symbol,next_data_limit,moved_data_label,labeled_data_candidate,boundary_sym_expr,+disconnected1,refined_block,jump_table,block_needs_splitting_at,got_reference,code_in_refined_block,symbolic_expr_symbol_minus_symbol,code_pointer_in_data,string_candidate,after_address_in_data
- 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