arch/arm32_code_inference
ARM32 architecture-specific rules for code inference.
- arm_ver_order(Name:symbol, VersionID:unsigned)
Assign ARM version names to their generation number
e.g., “v7E_M” -> 7
Used by:
+disconnected7
- init_ldr_add_pc(EA_ldr:address, Size:unsigned, Reg1:register, LitPoolAddr:address, EA_add_pc:address, Reg2:register)
ldr Reg1, .L0 add Reg2, Reg1, pc
Uses
straight_line_def_used
, which is a weaker version ofdef_used
that can be used before code inference.Uses:
arch.load_operation
,arch.reg_reg_arithmetic_operation
,instruction
Recursive:
cmp_defines
,first_block_in_byte_interval
,overlapping_instruction
,split_load_for_symbolization
,relocation_adjustment
,call_tls_get_addr
,simple_data_access_pattern
,reg_def_use.def_used
,base_relative_operand
,split_load_total_points
,block
,litpool_confidence
,reg_has_got
,value_reg_limit
,stack_def_use.live_var_used
,split_load_point
,split_load_operand
,flags_and_jump_pair
,wis_schedule_iter
,unresolved_interval
,code_in_block
,compare_and_jump_indirect_op_valid
,__agg_subclause3
,inferred_main_in_reg
,reg_used_for
,is_padding
,resolved_reaches
,compare_and_jump_indirect
,__agg_subclause2
,padding_block_candidate
,reg_reg_arithmetic_operation_defs
,def_used_for_address
,impossible_block
,plt_block
,arm_jump_table_block_instruction
,composite_data_access
,possible_target_from
,jump_table_candidate_refined
,base_relative_operation
,split_load
,__agg_single3
,reg_has_base_image
,no_value_reg_limit
,relative_address_start
,wis_schedule
,plt_entry
,reg_def_use.used_in_block
,adjusts_stack_in_block
,possible_target
,initialized_data_segment
,reg_def_use.live_var_at_block_end
,cmp_reg_to_reg
,indefinite_litpool_ref
,negative_block_heuristic
,contains_implausible_instr_seq
,indexed_pc_relative_load
,next_block_in_byte_interval
,code_in_block_candidate
,symbolic_expr_from_relocation
,unlikely_have_symbolic_immediate
,incomplete_block
,arm_jump_table_data_block_limit
,inferred_main_dispatch
,arch.simple_data_load
,data_block_limit
,block_total_points
,invalid_jump_table_candidate
,stack_def_use.live_var_def
,reg_def_use.live_var_def
,arm_jump_table_block_start
,block_overlap
,stack_base_reg_move
,may_fallthrough
,__agg_single2
,block_heuristic
,__agg_subclause9
,block_implies_block
,segment_target_range
,stack_def_use.live_var_at_prior_used
,cinf_ldr_add_pc
,no_return_call_propagated
,unresolved_block_overlap
,jump_table_max
,common_tail
,unresolved_interval_order
,tls_get_addr
,block_points_proportional
,likely_fallthrough
,block_boundaries
,jump_table_element_access
,block_points
,invalid
,jump_table_target
,reg_def_use.used
,arm_jump_table_candidate
,reg_def_use.live_var_at_prior_used
,no_return_call
,arm_jump_table_skip_first_entry
,stack_def_use.defined_in_block
,split_load_conflict
,arm_jump_table_candidate_start
,stack_def_use.live_var_at_block_end
,reg_def_use.last_def_in_block
,arm_jump_table_cmp_limit
,data_in_code
,candidate_block_is_not_padding
,inter_procedural_edge
,known_block
,instruction_memory_access_size
,overlap_with_litpool
,block_limit
,function_inference.function_entry_initial
,init_symbol_minus_symbol_candidate_arm
,const_value_reg_used
,self_contained_segment
,stack_def_use.last_def_in_block
,must_fallthrough
,straight_line_last_def
,padding_block_limit
,jump_table_candidate
,no_return_call_refined
,block_candidate_dependency_edge
,split_load_candidate
,stack_def_use.block_last_def
,last_value_reg_limit
,relative_address
,no_return_block
,litpool_ref
,symbol_minus_symbol_litpool_access_pattern
,block_last_instruction
,gp_relative_operand
,data_in_code_propagate
,block_candidate_boundaries
,basic_target
,compare_and_jump_immediate
,wis_memo
,__agg_subclause6
,nop_in_padding_candidate
,reg_def_use.defined_in_block
,__agg_single6
,relocation_adjustment_total
,candidate_block_is_padding
,wis_prior
,reg_def_use.live_var_used
,__agg_subclause7
,wis_has_prior
,compare_and_jump_register
,block_instruction_next
,arm_jump_table_data_block
,value_reg
,contains_plausible_instr_seq
,relative_jump_table_entry_candidate
,adrp_used
,stack_def_use.def_used
,got_relative_operand
,__agg_subclause10
,value_reg_edge
,arch.reg_relative_load
,reg_def_use.flow_def
,hi_load_prop
,jump_table_start
,branch_to_calculated_pc_rel_addr
,tls_desc_call
,discarded_block
,stack_def_use.live_var_used_in_block
,data_segment
,value_reg_unsupported
,block_next
,discarded_split_load
,indexed_pc_relative_load_relative
,litpool_symbolic_operand
,data_block_candidate
,reg_def_use.return_block_end
,code_in_block_candidate_refined
,after_end
,jump_table_signed
,reg_def_use.block_last_def
,base_relative_jump
,unresolved_interval_best_block
,straight_line_def_used
,unresolved_block
,data_access
,correlated_live_reg
,jump_table_prelude
,litpool_boundaries
,init_ldr_add_pc
,arch.extend_load
,stack_def_use.used_in_block
,stack_def_use.ref_in_block
,reg_def_use.ref_in_block
,reg_def_use.return_val_used
- init_symbol_minus_symbol_candidate_arm(EA:address, Size:unsigned, Symbol1:address, Symbol2:address, Scale:unsigned, Offset:number)
A weaker version of
cinf_symbol_minus_symbol_candidate_arm
that can be used before code inference. see the comment ofcinf_symbol_minus_symbol_candidate_arm
.Uses:
relocation
,symbol
Recursive:
cmp_defines
,first_block_in_byte_interval
,overlapping_instruction
,split_load_for_symbolization
,relocation_adjustment
,call_tls_get_addr
,simple_data_access_pattern
,reg_def_use.def_used
,base_relative_operand
,split_load_total_points
,block
,litpool_confidence
,reg_has_got
,value_reg_limit
,stack_def_use.live_var_used
,split_load_point
,split_load_operand
,flags_and_jump_pair
,wis_schedule_iter
,unresolved_interval
,code_in_block
,compare_and_jump_indirect_op_valid
,__agg_subclause3
,inferred_main_in_reg
,reg_used_for
,is_padding
,resolved_reaches
,compare_and_jump_indirect
,__agg_subclause2
,padding_block_candidate
,reg_reg_arithmetic_operation_defs
,def_used_for_address
,impossible_block
,plt_block
,arm_jump_table_block_instruction
,composite_data_access
,possible_target_from
,jump_table_candidate_refined
,base_relative_operation
,split_load
,__agg_single3
,reg_has_base_image
,no_value_reg_limit
,relative_address_start
,wis_schedule
,plt_entry
,reg_def_use.used_in_block
,adjusts_stack_in_block
,possible_target
,initialized_data_segment
,reg_def_use.live_var_at_block_end
,cmp_reg_to_reg
,indefinite_litpool_ref
,negative_block_heuristic
,contains_implausible_instr_seq
,indexed_pc_relative_load
,next_block_in_byte_interval
,code_in_block_candidate
,symbolic_expr_from_relocation
,unlikely_have_symbolic_immediate
,incomplete_block
,arm_jump_table_data_block_limit
,inferred_main_dispatch
,arch.simple_data_load
,data_block_limit
,block_total_points
,invalid_jump_table_candidate
,stack_def_use.live_var_def
,reg_def_use.live_var_def
,arm_jump_table_block_start
,block_overlap
,stack_base_reg_move
,may_fallthrough
,__agg_single2
,block_heuristic
,__agg_subclause9
,block_implies_block
,segment_target_range
,stack_def_use.live_var_at_prior_used
,cinf_ldr_add_pc
,no_return_call_propagated
,unresolved_block_overlap
,jump_table_max
,common_tail
,unresolved_interval_order
,tls_get_addr
,block_points_proportional
,likely_fallthrough
,block_boundaries
,jump_table_element_access
,block_points
,invalid
,jump_table_target
,reg_def_use.used
,arm_jump_table_candidate
,reg_def_use.live_var_at_prior_used
,no_return_call
,arm_jump_table_skip_first_entry
,stack_def_use.defined_in_block
,split_load_conflict
,arm_jump_table_candidate_start
,stack_def_use.live_var_at_block_end
,reg_def_use.last_def_in_block
,arm_jump_table_cmp_limit
,data_in_code
,candidate_block_is_not_padding
,inter_procedural_edge
,known_block
,instruction_memory_access_size
,overlap_with_litpool
,block_limit
,function_inference.function_entry_initial
,init_symbol_minus_symbol_candidate_arm
,const_value_reg_used
,self_contained_segment
,stack_def_use.last_def_in_block
,must_fallthrough
,straight_line_last_def
,padding_block_limit
,jump_table_candidate
,no_return_call_refined
,block_candidate_dependency_edge
,split_load_candidate
,stack_def_use.block_last_def
,last_value_reg_limit
,relative_address
,no_return_block
,litpool_ref
,symbol_minus_symbol_litpool_access_pattern
,block_last_instruction
,gp_relative_operand
,data_in_code_propagate
,block_candidate_boundaries
,basic_target
,compare_and_jump_immediate
,wis_memo
,__agg_subclause6
,nop_in_padding_candidate
,reg_def_use.defined_in_block
,__agg_single6
,relocation_adjustment_total
,candidate_block_is_padding
,wis_prior
,reg_def_use.live_var_used
,__agg_subclause7
,wis_has_prior
,compare_and_jump_register
,block_instruction_next
,arm_jump_table_data_block
,value_reg
,contains_plausible_instr_seq
,relative_jump_table_entry_candidate
,adrp_used
,stack_def_use.def_used
,got_relative_operand
,__agg_subclause10
,value_reg_edge
,arch.reg_relative_load
,reg_def_use.flow_def
,hi_load_prop
,jump_table_start
,branch_to_calculated_pc_rel_addr
,tls_desc_call
,discarded_block
,stack_def_use.live_var_used_in_block
,data_segment
,value_reg_unsupported
,block_next
,discarded_split_load
,indexed_pc_relative_load_relative
,litpool_symbolic_operand
,data_block_candidate
,reg_def_use.return_block_end
,code_in_block_candidate_refined
,after_end
,jump_table_signed
,reg_def_use.block_last_def
,base_relative_jump
,unresolved_interval_best_block
,straight_line_def_used
,unresolved_block
,data_access
,correlated_live_reg
,jump_table_prelude
,litpool_boundaries
,init_ldr_add_pc
,arch.extend_load
,stack_def_use.used_in_block
,stack_def_use.ref_in_block
,reg_def_use.ref_in_block
,reg_def_use.return_val_used
- data_block_limit(Limit:address)
Addresses where the propagation of indefinite data blocks should be limited.
Similar to (and a superset of) block_limit for code blocks.
Uses:
arch.instruction_at
Recursive:
cmp_defines
,first_block_in_byte_interval
,overlapping_instruction
,split_load_for_symbolization
,relocation_adjustment
,call_tls_get_addr
,simple_data_access_pattern
,reg_def_use.def_used
,base_relative_operand
,split_load_total_points
,block
,litpool_confidence
,reg_has_got
,value_reg_limit
,stack_def_use.live_var_used
,split_load_point
,split_load_operand
,flags_and_jump_pair
,wis_schedule_iter
,unresolved_interval
,code_in_block
,compare_and_jump_indirect_op_valid
,__agg_subclause3
,inferred_main_in_reg
,reg_used_for
,is_padding
,resolved_reaches
,compare_and_jump_indirect
,__agg_subclause2
,padding_block_candidate
,reg_reg_arithmetic_operation_defs
,def_used_for_address
,impossible_block
,plt_block
,arm_jump_table_block_instruction
,composite_data_access
,possible_target_from
,jump_table_candidate_refined
,base_relative_operation
,split_load
,__agg_single3
,reg_has_base_image
,no_value_reg_limit
,relative_address_start
,wis_schedule
,plt_entry
,reg_def_use.used_in_block
,adjusts_stack_in_block
,possible_target
,initialized_data_segment
,reg_def_use.live_var_at_block_end
,cmp_reg_to_reg
,indefinite_litpool_ref
,negative_block_heuristic
,contains_implausible_instr_seq
,indexed_pc_relative_load
,next_block_in_byte_interval
,code_in_block_candidate
,symbolic_expr_from_relocation
,unlikely_have_symbolic_immediate
,incomplete_block
,arm_jump_table_data_block_limit
,inferred_main_dispatch
,arch.simple_data_load
,data_block_limit
,block_total_points
,invalid_jump_table_candidate
,stack_def_use.live_var_def
,reg_def_use.live_var_def
,arm_jump_table_block_start
,block_overlap
,stack_base_reg_move
,may_fallthrough
,__agg_single2
,block_heuristic
,__agg_subclause9
,block_implies_block
,segment_target_range
,stack_def_use.live_var_at_prior_used
,cinf_ldr_add_pc
,no_return_call_propagated
,unresolved_block_overlap
,jump_table_max
,common_tail
,unresolved_interval_order
,tls_get_addr
,block_points_proportional
,likely_fallthrough
,block_boundaries
,jump_table_element_access
,block_points
,invalid
,jump_table_target
,reg_def_use.used
,arm_jump_table_candidate
,reg_def_use.live_var_at_prior_used
,no_return_call
,arm_jump_table_skip_first_entry
,stack_def_use.defined_in_block
,split_load_conflict
,arm_jump_table_candidate_start
,stack_def_use.live_var_at_block_end
,reg_def_use.last_def_in_block
,arm_jump_table_cmp_limit
,data_in_code
,candidate_block_is_not_padding
,inter_procedural_edge
,known_block
,instruction_memory_access_size
,overlap_with_litpool
,block_limit
,function_inference.function_entry_initial
,init_symbol_minus_symbol_candidate_arm
,const_value_reg_used
,self_contained_segment
,stack_def_use.last_def_in_block
,must_fallthrough
,straight_line_last_def
,padding_block_limit
,jump_table_candidate
,no_return_call_refined
,block_candidate_dependency_edge
,split_load_candidate
,stack_def_use.block_last_def
,last_value_reg_limit
,relative_address
,no_return_block
,litpool_ref
,symbol_minus_symbol_litpool_access_pattern
,block_last_instruction
,gp_relative_operand
,data_in_code_propagate
,block_candidate_boundaries
,basic_target
,compare_and_jump_immediate
,wis_memo
,__agg_subclause6
,nop_in_padding_candidate
,reg_def_use.defined_in_block
,__agg_single6
,relocation_adjustment_total
,candidate_block_is_padding
,wis_prior
,reg_def_use.live_var_used
,__agg_subclause7
,wis_has_prior
,compare_and_jump_register
,block_instruction_next
,arm_jump_table_data_block
,value_reg
,contains_plausible_instr_seq
,relative_jump_table_entry_candidate
,adrp_used
,stack_def_use.def_used
,got_relative_operand
,__agg_subclause10
,value_reg_edge
,arch.reg_relative_load
,reg_def_use.flow_def
,hi_load_prop
,jump_table_start
,branch_to_calculated_pc_rel_addr
,tls_desc_call
,discarded_block
,stack_def_use.live_var_used_in_block
,data_segment
,value_reg_unsupported
,block_next
,discarded_split_load
,indexed_pc_relative_load_relative
,litpool_symbolic_operand
,data_block_candidate
,reg_def_use.return_block_end
,code_in_block_candidate_refined
,after_end
,jump_table_signed
,reg_def_use.block_last_def
,base_relative_jump
,unresolved_interval_best_block
,straight_line_def_used
,unresolved_block
,data_access
,correlated_live_reg
,jump_table_prelude
,litpool_boundaries
,init_ldr_add_pc
,arch.extend_load
,stack_def_use.used_in_block
,stack_def_use.ref_in_block
,reg_def_use.ref_in_block
,reg_def_use.return_val_used
- indefinite_litpool_ref(Start:address, Size:unsigned)
References to potential litpools with indeterminate sizes.
Uses:
arch.pc_relative_addr
Recursive:
cmp_defines
,first_block_in_byte_interval
,overlapping_instruction
,split_load_for_symbolization
,relocation_adjustment
,call_tls_get_addr
,simple_data_access_pattern
,reg_def_use.def_used
,base_relative_operand
,split_load_total_points
,block
,litpool_confidence
,reg_has_got
,value_reg_limit
,stack_def_use.live_var_used
,split_load_point
,split_load_operand
,flags_and_jump_pair
,wis_schedule_iter
,unresolved_interval
,code_in_block
,compare_and_jump_indirect_op_valid
,__agg_subclause3
,inferred_main_in_reg
,reg_used_for
,is_padding
,resolved_reaches
,compare_and_jump_indirect
,__agg_subclause2
,padding_block_candidate
,reg_reg_arithmetic_operation_defs
,def_used_for_address
,impossible_block
,plt_block
,arm_jump_table_block_instruction
,composite_data_access
,possible_target_from
,jump_table_candidate_refined
,base_relative_operation
,split_load
,__agg_single3
,reg_has_base_image
,no_value_reg_limit
,relative_address_start
,wis_schedule
,plt_entry
,reg_def_use.used_in_block
,adjusts_stack_in_block
,possible_target
,initialized_data_segment
,reg_def_use.live_var_at_block_end
,cmp_reg_to_reg
,indefinite_litpool_ref
,negative_block_heuristic
,contains_implausible_instr_seq
,indexed_pc_relative_load
,next_block_in_byte_interval
,code_in_block_candidate
,symbolic_expr_from_relocation
,unlikely_have_symbolic_immediate
,incomplete_block
,arm_jump_table_data_block_limit
,inferred_main_dispatch
,arch.simple_data_load
,data_block_limit
,block_total_points
,invalid_jump_table_candidate
,stack_def_use.live_var_def
,reg_def_use.live_var_def
,arm_jump_table_block_start
,block_overlap
,stack_base_reg_move
,may_fallthrough
,__agg_single2
,block_heuristic
,__agg_subclause9
,block_implies_block
,segment_target_range
,stack_def_use.live_var_at_prior_used
,cinf_ldr_add_pc
,no_return_call_propagated
,unresolved_block_overlap
,jump_table_max
,common_tail
,unresolved_interval_order
,tls_get_addr
,block_points_proportional
,likely_fallthrough
,block_boundaries
,jump_table_element_access
,block_points
,invalid
,jump_table_target
,reg_def_use.used
,arm_jump_table_candidate
,reg_def_use.live_var_at_prior_used
,no_return_call
,arm_jump_table_skip_first_entry
,stack_def_use.defined_in_block
,split_load_conflict
,arm_jump_table_candidate_start
,stack_def_use.live_var_at_block_end
,reg_def_use.last_def_in_block
,arm_jump_table_cmp_limit
,data_in_code
,candidate_block_is_not_padding
,inter_procedural_edge
,known_block
,instruction_memory_access_size
,overlap_with_litpool
,block_limit
,function_inference.function_entry_initial
,init_symbol_minus_symbol_candidate_arm
,const_value_reg_used
,self_contained_segment
,stack_def_use.last_def_in_block
,must_fallthrough
,straight_line_last_def
,padding_block_limit
,jump_table_candidate
,no_return_call_refined
,block_candidate_dependency_edge
,split_load_candidate
,stack_def_use.block_last_def
,last_value_reg_limit
,relative_address
,no_return_block
,litpool_ref
,symbol_minus_symbol_litpool_access_pattern
,block_last_instruction
,gp_relative_operand
,data_in_code_propagate
,block_candidate_boundaries
,basic_target
,compare_and_jump_immediate
,wis_memo
,__agg_subclause6
,nop_in_padding_candidate
,reg_def_use.defined_in_block
,__agg_single6
,relocation_adjustment_total
,candidate_block_is_padding
,wis_prior
,reg_def_use.live_var_used
,__agg_subclause7
,wis_has_prior
,compare_and_jump_register
,block_instruction_next
,arm_jump_table_data_block
,value_reg
,contains_plausible_instr_seq
,relative_jump_table_entry_candidate
,adrp_used
,stack_def_use.def_used
,got_relative_operand
,__agg_subclause10
,value_reg_edge
,arch.reg_relative_load
,reg_def_use.flow_def
,hi_load_prop
,jump_table_start
,branch_to_calculated_pc_rel_addr
,tls_desc_call
,discarded_block
,stack_def_use.live_var_used_in_block
,data_segment
,value_reg_unsupported
,block_next
,discarded_split_load
,indexed_pc_relative_load_relative
,litpool_symbolic_operand
,data_block_candidate
,reg_def_use.return_block_end
,code_in_block_candidate_refined
,after_end
,jump_table_signed
,reg_def_use.block_last_def
,base_relative_jump
,unresolved_interval_best_block
,straight_line_def_used
,unresolved_block
,data_access
,correlated_live_reg
,jump_table_prelude
,litpool_boundaries
,init_ldr_add_pc
,arch.extend_load
,stack_def_use.used_in_block
,stack_def_use.ref_in_block
,reg_def_use.ref_in_block
,reg_def_use.return_val_used
- litpool_boundaries(BegAddr:address, EndAddr:address)
Recursive:
cmp_defines
,first_block_in_byte_interval
,overlapping_instruction
,split_load_for_symbolization
,relocation_adjustment
,call_tls_get_addr
,simple_data_access_pattern
,reg_def_use.def_used
,base_relative_operand
,split_load_total_points
,block
,litpool_confidence
,reg_has_got
,value_reg_limit
,stack_def_use.live_var_used
,split_load_point
,split_load_operand
,flags_and_jump_pair
,wis_schedule_iter
,unresolved_interval
,code_in_block
,compare_and_jump_indirect_op_valid
,__agg_subclause3
,inferred_main_in_reg
,reg_used_for
,is_padding
,resolved_reaches
,compare_and_jump_indirect
,__agg_subclause2
,padding_block_candidate
,reg_reg_arithmetic_operation_defs
,def_used_for_address
,impossible_block
,plt_block
,arm_jump_table_block_instruction
,composite_data_access
,possible_target_from
,jump_table_candidate_refined
,base_relative_operation
,split_load
,__agg_single3
,reg_has_base_image
,no_value_reg_limit
,relative_address_start
,wis_schedule
,plt_entry
,reg_def_use.used_in_block
,adjusts_stack_in_block
,possible_target
,initialized_data_segment
,reg_def_use.live_var_at_block_end
,cmp_reg_to_reg
,indefinite_litpool_ref
,negative_block_heuristic
,contains_implausible_instr_seq
,indexed_pc_relative_load
,next_block_in_byte_interval
,code_in_block_candidate
,symbolic_expr_from_relocation
,unlikely_have_symbolic_immediate
,incomplete_block
,arm_jump_table_data_block_limit
,inferred_main_dispatch
,arch.simple_data_load
,data_block_limit
,block_total_points
,invalid_jump_table_candidate
,stack_def_use.live_var_def
,reg_def_use.live_var_def
,arm_jump_table_block_start
,block_overlap
,stack_base_reg_move
,may_fallthrough
,__agg_single2
,block_heuristic
,__agg_subclause9
,block_implies_block
,segment_target_range
,stack_def_use.live_var_at_prior_used
,cinf_ldr_add_pc
,no_return_call_propagated
,unresolved_block_overlap
,jump_table_max
,common_tail
,unresolved_interval_order
,tls_get_addr
,block_points_proportional
,likely_fallthrough
,block_boundaries
,jump_table_element_access
,block_points
,invalid
,jump_table_target
,reg_def_use.used
,arm_jump_table_candidate
,reg_def_use.live_var_at_prior_used
,no_return_call
,arm_jump_table_skip_first_entry
,stack_def_use.defined_in_block
,split_load_conflict
,arm_jump_table_candidate_start
,stack_def_use.live_var_at_block_end
,reg_def_use.last_def_in_block
,arm_jump_table_cmp_limit
,data_in_code
,candidate_block_is_not_padding
,inter_procedural_edge
,known_block
,instruction_memory_access_size
,overlap_with_litpool
,block_limit
,function_inference.function_entry_initial
,init_symbol_minus_symbol_candidate_arm
,const_value_reg_used
,self_contained_segment
,stack_def_use.last_def_in_block
,must_fallthrough
,straight_line_last_def
,padding_block_limit
,jump_table_candidate
,no_return_call_refined
,block_candidate_dependency_edge
,split_load_candidate
,stack_def_use.block_last_def
,last_value_reg_limit
,relative_address
,no_return_block
,litpool_ref
,symbol_minus_symbol_litpool_access_pattern
,block_last_instruction
,gp_relative_operand
,data_in_code_propagate
,block_candidate_boundaries
,basic_target
,compare_and_jump_immediate
,wis_memo
,__agg_subclause6
,nop_in_padding_candidate
,reg_def_use.defined_in_block
,__agg_single6
,relocation_adjustment_total
,candidate_block_is_padding
,wis_prior
,reg_def_use.live_var_used
,__agg_subclause7
,wis_has_prior
,compare_and_jump_register
,block_instruction_next
,arm_jump_table_data_block
,value_reg
,contains_plausible_instr_seq
,relative_jump_table_entry_candidate
,adrp_used
,stack_def_use.def_used
,got_relative_operand
,__agg_subclause10
,value_reg_edge
,arch.reg_relative_load
,reg_def_use.flow_def
,hi_load_prop
,jump_table_start
,branch_to_calculated_pc_rel_addr
,tls_desc_call
,discarded_block
,stack_def_use.live_var_used_in_block
,data_segment
,value_reg_unsupported
,block_next
,discarded_split_load
,indexed_pc_relative_load_relative
,litpool_symbolic_operand
,data_block_candidate
,reg_def_use.return_block_end
,code_in_block_candidate_refined
,after_end
,jump_table_signed
,reg_def_use.block_last_def
,base_relative_jump
,unresolved_interval_best_block
,straight_line_def_used
,unresolved_block
,data_access
,correlated_live_reg
,jump_table_prelude
,litpool_boundaries
,init_ldr_add_pc
,arch.extend_load
,stack_def_use.used_in_block
,stack_def_use.ref_in_block
,reg_def_use.ref_in_block
,reg_def_use.return_val_used
- overlap_with_litpool(Block:address)
Check if the given block overlaps with a possible literal pool.
Recursive:
cmp_defines
,first_block_in_byte_interval
,overlapping_instruction
,split_load_for_symbolization
,relocation_adjustment
,call_tls_get_addr
,simple_data_access_pattern
,reg_def_use.def_used
,base_relative_operand
,split_load_total_points
,block
,litpool_confidence
,reg_has_got
,value_reg_limit
,stack_def_use.live_var_used
,split_load_point
,split_load_operand
,flags_and_jump_pair
,wis_schedule_iter
,unresolved_interval
,code_in_block
,compare_and_jump_indirect_op_valid
,__agg_subclause3
,inferred_main_in_reg
,reg_used_for
,is_padding
,resolved_reaches
,compare_and_jump_indirect
,__agg_subclause2
,padding_block_candidate
,reg_reg_arithmetic_operation_defs
,def_used_for_address
,impossible_block
,plt_block
,arm_jump_table_block_instruction
,composite_data_access
,possible_target_from
,jump_table_candidate_refined
,base_relative_operation
,split_load
,__agg_single3
,reg_has_base_image
,no_value_reg_limit
,relative_address_start
,wis_schedule
,plt_entry
,reg_def_use.used_in_block
,adjusts_stack_in_block
,possible_target
,initialized_data_segment
,reg_def_use.live_var_at_block_end
,cmp_reg_to_reg
,indefinite_litpool_ref
,negative_block_heuristic
,contains_implausible_instr_seq
,indexed_pc_relative_load
,next_block_in_byte_interval
,code_in_block_candidate
,symbolic_expr_from_relocation
,unlikely_have_symbolic_immediate
,incomplete_block
,arm_jump_table_data_block_limit
,inferred_main_dispatch
,arch.simple_data_load
,data_block_limit
,block_total_points
,invalid_jump_table_candidate
,stack_def_use.live_var_def
,reg_def_use.live_var_def
,arm_jump_table_block_start
,block_overlap
,stack_base_reg_move
,may_fallthrough
,__agg_single2
,block_heuristic
,__agg_subclause9
,block_implies_block
,segment_target_range
,stack_def_use.live_var_at_prior_used
,cinf_ldr_add_pc
,no_return_call_propagated
,unresolved_block_overlap
,jump_table_max
,common_tail
,unresolved_interval_order
,tls_get_addr
,block_points_proportional
,likely_fallthrough
,block_boundaries
,jump_table_element_access
,block_points
,invalid
,jump_table_target
,reg_def_use.used
,arm_jump_table_candidate
,reg_def_use.live_var_at_prior_used
,no_return_call
,arm_jump_table_skip_first_entry
,stack_def_use.defined_in_block
,split_load_conflict
,arm_jump_table_candidate_start
,stack_def_use.live_var_at_block_end
,reg_def_use.last_def_in_block
,arm_jump_table_cmp_limit
,data_in_code
,candidate_block_is_not_padding
,inter_procedural_edge
,known_block
,instruction_memory_access_size
,overlap_with_litpool
,block_limit
,function_inference.function_entry_initial
,init_symbol_minus_symbol_candidate_arm
,const_value_reg_used
,self_contained_segment
,stack_def_use.last_def_in_block
,must_fallthrough
,straight_line_last_def
,padding_block_limit
,jump_table_candidate
,no_return_call_refined
,block_candidate_dependency_edge
,split_load_candidate
,stack_def_use.block_last_def
,last_value_reg_limit
,relative_address
,no_return_block
,litpool_ref
,symbol_minus_symbol_litpool_access_pattern
,block_last_instruction
,gp_relative_operand
,data_in_code_propagate
,block_candidate_boundaries
,basic_target
,compare_and_jump_immediate
,wis_memo
,__agg_subclause6
,nop_in_padding_candidate
,reg_def_use.defined_in_block
,__agg_single6
,relocation_adjustment_total
,candidate_block_is_padding
,wis_prior
,reg_def_use.live_var_used
,__agg_subclause7
,wis_has_prior
,compare_and_jump_register
,block_instruction_next
,arm_jump_table_data_block
,value_reg
,contains_plausible_instr_seq
,relative_jump_table_entry_candidate
,adrp_used
,stack_def_use.def_used
,got_relative_operand
,__agg_subclause10
,value_reg_edge
,arch.reg_relative_load
,reg_def_use.flow_def
,hi_load_prop
,jump_table_start
,branch_to_calculated_pc_rel_addr
,tls_desc_call
,discarded_block
,stack_def_use.live_var_used_in_block
,data_segment
,value_reg_unsupported
,block_next
,discarded_split_load
,indexed_pc_relative_load_relative
,litpool_symbolic_operand
,data_block_candidate
,reg_def_use.return_block_end
,code_in_block_candidate_refined
,after_end
,jump_table_signed
,reg_def_use.block_last_def
,base_relative_jump
,unresolved_interval_best_block
,straight_line_def_used
,unresolved_block
,data_access
,correlated_live_reg
,jump_table_prelude
,litpool_boundaries
,init_ldr_add_pc
,arch.extend_load
,stack_def_use.used_in_block
,stack_def_use.ref_in_block
,reg_def_use.ref_in_block
,reg_def_use.return_val_used
- litpool_confidence(EARef:address, LitPoolAddr:address, Reason:symbol)
Confidence level for each literal pool
Uses:
arch.call
,arch.dangling_thumb_instr
,arch.float_reg
,arch.integer_reg_param
,arch.memory_access
,arch.pc_relative_addr
,instruction
,instruction_get_dest_op
,op_regdirect_contains_reg
Recursive:
cmp_defines
,first_block_in_byte_interval
,overlapping_instruction
,split_load_for_symbolization
,relocation_adjustment
,call_tls_get_addr
,simple_data_access_pattern
,reg_def_use.def_used
,base_relative_operand
,split_load_total_points
,block
,litpool_confidence
,reg_has_got
,value_reg_limit
,stack_def_use.live_var_used
,split_load_point
,split_load_operand
,flags_and_jump_pair
,wis_schedule_iter
,unresolved_interval
,code_in_block
,compare_and_jump_indirect_op_valid
,__agg_subclause3
,inferred_main_in_reg
,reg_used_for
,is_padding
,resolved_reaches
,compare_and_jump_indirect
,__agg_subclause2
,padding_block_candidate
,reg_reg_arithmetic_operation_defs
,def_used_for_address
,impossible_block
,plt_block
,arm_jump_table_block_instruction
,composite_data_access
,possible_target_from
,jump_table_candidate_refined
,base_relative_operation
,split_load
,__agg_single3
,reg_has_base_image
,no_value_reg_limit
,relative_address_start
,wis_schedule
,plt_entry
,reg_def_use.used_in_block
,adjusts_stack_in_block
,possible_target
,initialized_data_segment
,reg_def_use.live_var_at_block_end
,cmp_reg_to_reg
,indefinite_litpool_ref
,negative_block_heuristic
,contains_implausible_instr_seq
,indexed_pc_relative_load
,next_block_in_byte_interval
,code_in_block_candidate
,symbolic_expr_from_relocation
,unlikely_have_symbolic_immediate
,incomplete_block
,arm_jump_table_data_block_limit
,inferred_main_dispatch
,arch.simple_data_load
,data_block_limit
,block_total_points
,invalid_jump_table_candidate
,stack_def_use.live_var_def
,reg_def_use.live_var_def
,arm_jump_table_block_start
,block_overlap
,stack_base_reg_move
,may_fallthrough
,__agg_single2
,block_heuristic
,__agg_subclause9
,block_implies_block
,segment_target_range
,stack_def_use.live_var_at_prior_used
,cinf_ldr_add_pc
,no_return_call_propagated
,unresolved_block_overlap
,jump_table_max
,common_tail
,unresolved_interval_order
,tls_get_addr
,block_points_proportional
,likely_fallthrough
,block_boundaries
,jump_table_element_access
,block_points
,invalid
,jump_table_target
,reg_def_use.used
,arm_jump_table_candidate
,reg_def_use.live_var_at_prior_used
,no_return_call
,arm_jump_table_skip_first_entry
,stack_def_use.defined_in_block
,split_load_conflict
,arm_jump_table_candidate_start
,stack_def_use.live_var_at_block_end
,reg_def_use.last_def_in_block
,arm_jump_table_cmp_limit
,data_in_code
,candidate_block_is_not_padding
,inter_procedural_edge
,known_block
,instruction_memory_access_size
,overlap_with_litpool
,block_limit
,function_inference.function_entry_initial
,init_symbol_minus_symbol_candidate_arm
,const_value_reg_used
,self_contained_segment
,stack_def_use.last_def_in_block
,must_fallthrough
,straight_line_last_def
,padding_block_limit
,jump_table_candidate
,no_return_call_refined
,block_candidate_dependency_edge
,split_load_candidate
,stack_def_use.block_last_def
,last_value_reg_limit
,relative_address
,no_return_block
,litpool_ref
,symbol_minus_symbol_litpool_access_pattern
,block_last_instruction
,gp_relative_operand
,data_in_code_propagate
,block_candidate_boundaries
,basic_target
,compare_and_jump_immediate
,wis_memo
,__agg_subclause6
,nop_in_padding_candidate
,reg_def_use.defined_in_block
,__agg_single6
,relocation_adjustment_total
,candidate_block_is_padding
,wis_prior
,reg_def_use.live_var_used
,__agg_subclause7
,wis_has_prior
,compare_and_jump_register
,block_instruction_next
,arm_jump_table_data_block
,value_reg
,contains_plausible_instr_seq
,relative_jump_table_entry_candidate
,adrp_used
,stack_def_use.def_used
,got_relative_operand
,__agg_subclause10
,value_reg_edge
,arch.reg_relative_load
,reg_def_use.flow_def
,hi_load_prop
,jump_table_start
,branch_to_calculated_pc_rel_addr
,tls_desc_call
,discarded_block
,stack_def_use.live_var_used_in_block
,data_segment
,value_reg_unsupported
,block_next
,discarded_split_load
,indexed_pc_relative_load_relative
,litpool_symbolic_operand
,data_block_candidate
,reg_def_use.return_block_end
,code_in_block_candidate_refined
,after_end
,jump_table_signed
,reg_def_use.block_last_def
,base_relative_jump
,unresolved_interval_best_block
,straight_line_def_used
,unresolved_block
,data_access
,correlated_live_reg
,jump_table_prelude
,litpool_boundaries
,init_ldr_add_pc
,arch.extend_load
,stack_def_use.used_in_block
,stack_def_use.ref_in_block
,reg_def_use.ref_in_block
,reg_def_use.return_val_used
- code_to_litpool_ref_point_transfer(Reason:symbol)
Used by:
block_heuristic
- mode_min_instruction_size(Mode:unsigned, Size:unsigned)
Minimum instruction size for each execution mode.
Mode can be 0 (ARM) or 1 (Thumb)
Used by:
branch_to_calculated_pc_rel_addr
- branch_to_calculated_pc_rel_addr(EA:address, Dest:address)
A computed PC-relative address that isn’t a jump table.
This example was generated in zlib with gcc 9.4. -Os:
adr r1, Label add r2, r1, r2, lsl #4 mov pc, r2
- .Label:
cmp r3, r1, lsl #31 nop adc r0, r0, r0 it hs subhs r3, r3, r1, lsl #31
- .Label+16:
cmp r3, r1, lsl #30 nop adc r0, r0, r0 it hs subhs r3, r3, r1, lsl #30
- .Label+32:
…
In the above pattern, Label is supposed to be code rather than data (literal pools).
Uses:
arch.instruction_at
,arch.jump_operation_op_index
,arch.pc_relative_addr
,arch.reg_reg_arithmetic_operation
,instruction
,instruction_get_op
,mode_min_instruction_size
,op_regdirect_contains_reg
Recursive:
cmp_defines
,first_block_in_byte_interval
,overlapping_instruction
,split_load_for_symbolization
,relocation_adjustment
,call_tls_get_addr
,simple_data_access_pattern
,reg_def_use.def_used
,base_relative_operand
,split_load_total_points
,block
,litpool_confidence
,reg_has_got
,value_reg_limit
,stack_def_use.live_var_used
,split_load_point
,split_load_operand
,flags_and_jump_pair
,wis_schedule_iter
,unresolved_interval
,code_in_block
,compare_and_jump_indirect_op_valid
,__agg_subclause3
,inferred_main_in_reg
,reg_used_for
,is_padding
,resolved_reaches
,compare_and_jump_indirect
,__agg_subclause2
,padding_block_candidate
,reg_reg_arithmetic_operation_defs
,def_used_for_address
,impossible_block
,plt_block
,arm_jump_table_block_instruction
,composite_data_access
,possible_target_from
,jump_table_candidate_refined
,base_relative_operation
,split_load
,__agg_single3
,reg_has_base_image
,no_value_reg_limit
,relative_address_start
,wis_schedule
,plt_entry
,reg_def_use.used_in_block
,adjusts_stack_in_block
,possible_target
,initialized_data_segment
,reg_def_use.live_var_at_block_end
,cmp_reg_to_reg
,indefinite_litpool_ref
,negative_block_heuristic
,contains_implausible_instr_seq
,indexed_pc_relative_load
,next_block_in_byte_interval
,code_in_block_candidate
,symbolic_expr_from_relocation
,unlikely_have_symbolic_immediate
,incomplete_block
,arm_jump_table_data_block_limit
,inferred_main_dispatch
,arch.simple_data_load
,data_block_limit
,block_total_points
,invalid_jump_table_candidate
,stack_def_use.live_var_def
,reg_def_use.live_var_def
,arm_jump_table_block_start
,block_overlap
,stack_base_reg_move
,may_fallthrough
,__agg_single2
,block_heuristic
,__agg_subclause9
,block_implies_block
,segment_target_range
,stack_def_use.live_var_at_prior_used
,cinf_ldr_add_pc
,no_return_call_propagated
,unresolved_block_overlap
,jump_table_max
,common_tail
,unresolved_interval_order
,tls_get_addr
,block_points_proportional
,likely_fallthrough
,block_boundaries
,jump_table_element_access
,block_points
,invalid
,jump_table_target
,reg_def_use.used
,arm_jump_table_candidate
,reg_def_use.live_var_at_prior_used
,no_return_call
,arm_jump_table_skip_first_entry
,stack_def_use.defined_in_block
,split_load_conflict
,arm_jump_table_candidate_start
,stack_def_use.live_var_at_block_end
,reg_def_use.last_def_in_block
,arm_jump_table_cmp_limit
,data_in_code
,candidate_block_is_not_padding
,inter_procedural_edge
,known_block
,instruction_memory_access_size
,overlap_with_litpool
,block_limit
,function_inference.function_entry_initial
,init_symbol_minus_symbol_candidate_arm
,const_value_reg_used
,self_contained_segment
,stack_def_use.last_def_in_block
,must_fallthrough
,straight_line_last_def
,padding_block_limit
,jump_table_candidate
,no_return_call_refined
,block_candidate_dependency_edge
,split_load_candidate
,stack_def_use.block_last_def
,last_value_reg_limit
,relative_address
,no_return_block
,litpool_ref
,symbol_minus_symbol_litpool_access_pattern
,block_last_instruction
,gp_relative_operand
,data_in_code_propagate
,block_candidate_boundaries
,basic_target
,compare_and_jump_immediate
,wis_memo
,__agg_subclause6
,nop_in_padding_candidate
,reg_def_use.defined_in_block
,__agg_single6
,relocation_adjustment_total
,candidate_block_is_padding
,wis_prior
,reg_def_use.live_var_used
,__agg_subclause7
,wis_has_prior
,compare_and_jump_register
,block_instruction_next
,arm_jump_table_data_block
,value_reg
,contains_plausible_instr_seq
,relative_jump_table_entry_candidate
,adrp_used
,stack_def_use.def_used
,got_relative_operand
,__agg_subclause10
,value_reg_edge
,arch.reg_relative_load
,reg_def_use.flow_def
,hi_load_prop
,jump_table_start
,branch_to_calculated_pc_rel_addr
,tls_desc_call
,discarded_block
,stack_def_use.live_var_used_in_block
,data_segment
,value_reg_unsupported
,block_next
,discarded_split_load
,indexed_pc_relative_load_relative
,litpool_symbolic_operand
,data_block_candidate
,reg_def_use.return_block_end
,code_in_block_candidate_refined
,after_end
,jump_table_signed
,reg_def_use.block_last_def
,base_relative_jump
,unresolved_interval_best_block
,straight_line_def_used
,unresolved_block
,data_access
,correlated_live_reg
,jump_table_prelude
,litpool_boundaries
,init_ldr_add_pc
,arch.extend_load
,stack_def_use.used_in_block
,stack_def_use.ref_in_block
,reg_def_use.ref_in_block
,reg_def_use.return_val_used