straight_line_def_used
Basic def-used implementation for the code inference pass
- straight_line_def_needed(EA:address)
On x86, we use this relation to limit from which defs we must propagate
straight_line_last_def. This is a yields significant performance and memory improvements.On other architectures, we do not use this mechanism.
WARNING: Predicate not present in compiled Datalog program (Dead Code)
- straight_line_last_def(EA:address, EA_def:address, Reg:register)
The last address where a register was defined within the block
Uses:
arch.conditional,arch.pc_relative_addr,basic_reg_def_use.def,instructionRecursive:
__agg_subclause3,jump_table_candidate_refined,unresolved_interval,self_contained_segment,unresolved_interval_order,symbolic_expr_from_relocation,no_return_call_refined,adrp_used,compare_and_jump_indirect,block_overlap,adjusts_stack_in_block,contains_plausible_instr_seq,wis_has_prior,branch_to_calculated_pc_rel_addr,split_load_operand,jump_table_element_access,base_relative_operand,reg_def_use.live_var_def,compare_and_jump_indirect_op_valid,split_load_for_symbolization,base_relative_operation,symbol_minus_symbol_litpool_access_pattern,invalid_jump_table_candidate,data_block_candidate,padding_block_candidate,arch.simple_data_load,reg_def_use.live_var_used,reg_def_use.flow_def,split_load,reg_def_use.last_def_in_block,arm_jump_table_block_start,stack_def_use.ref_in_block,__agg_single10,compare_and_jump_register,block_boundaries,value_reg_edge,jump_table_target,jump_table_candidate,reg_def_use.ambiguous_last_def_in_block,overlap_with_litpool,relative_jump_table_entry_candidate,jump_table_max,stack_def_use.live_var_at_block_end,base_relative_jump,data_segment,inter_procedural_edge,wis_schedule_iter,__agg_subclause2,code_in_block,reg_def_use.used,__agg_single6,relocation_adjustment,reg_def_use.used_in_block,may_fallthrough,gp_relative_operand,stack_def_use.live_var_used,arm_jump_table_block_instruction,plt_block,litpool_boundaries,unresolved_block_overlap,resolved_reaches,data_access,reg_used_for,init_ldr_add_pc,padding_block_limit,known_block,unlikely_have_symbolic_immediate,next_function_entry_initial,segment_target_range,start_function,arm_jump_table_skip_first_entry,stack_def_use.live_var_used_in_block,indefinite_litpool_ref,__agg_subclause6,relative_address,jump_table_prelude,relocation_adjustment_total,inferred_main_dispatch,const_value_reg_used,initialized_data_segment,stack_def_use.live_var_def,last_value_reg_limit,next_start,data_in_code_propagate,no_return_block,tls_relative_operand_mips,indexed_pc_relative_load,litpool_confidence,fallthrough_over_padding,data_in_code,first_block_in_byte_interval,reg_def_use.ref_in_block,arm_jump_table_candidate,call_tls_get_addr,__agg_single2,block_instruction_next,stack_def_use.def_used,__agg_single3,block_points,next_end,data_block_limit,split_load_point,negative_block_heuristic,block_last_instruction,init_symbol_minus_symbol_candidate_arm,block_candidate_dependency_edge,stack_def_use.used_in_block,value_reg,split_load_candidate,stack_base_reg_move,arm_jump_table_data_block,discarded_split_load,reg_def_use.live_var_at_prior_used,reg_reg_arithmetic_operation_defs,next_block_in_byte_interval,hi_load_prop,jump_table_signed,inferred_main_in_reg,basic_target,initial_function_containing_return,transition_block_limit,possible_target_from,code_in_block_candidate,impossible_block,call_target_has_other_fallthrough_inter,reg_def_use.live_var_at_block_end,got_relative_operand,unresolved_block,value_reg_limit,litpool_symbolic_operand,tls_desc_call,common_tail,is_padding,block_candidate_boundaries,wis_prior,block_next,call_tls_get_addr_mips,stack_def_use.defined_in_block,plt_entry,nop_in_padding_candidate,block_implies_block,code_in_block_candidate_refined,tls_get_addr,compare_and_jump_immediate,block_total_points,straight_line_def_used,arch.reg_relative_load,split_load_conflict,straight_line_last_def,candidate_block_is_not_padding,stack_def_use.block_last_def,discarded_block,reg_def_use.ambiguous_block_last_def,def_used_for_address,must_fallthrough,reg_def_use.def_used,simple_data_access_pattern,possible_target,composite_data_access,reg_def_use.block_last_def,stack_def_use.last_def_in_block,reg_def_use.defined_in_block,split_load_total_points,litpool_ref,local_dynamic_tls_candidate,overlapping_instruction,candidate_block_is_padding,block_heuristic,invalid,reg_def_use.return_block_end,wis_memo,reg_has_got,cinf_ldr_add_pc,__agg_subclause4,call_may_fallthrough_inter,block_limit,no_value_reg_limit,no_return_call,relative_address_start,jump_table_start,value_reg_unsupported,correlated_live_reg,arm_jump_table_candidate_start,no_return_call_propagated,flags_and_jump_pair,instruction_memory_access_size,cmp_reg_to_reg,incomplete_block,likely_fallthrough,reg_has_base_image,arm_jump_table_cmp_limit,block,arm_jump_table_data_block_limit,function_inference.function_entry_initial,reg_def_use.return_val_used,contains_implausible_instr_seq,__agg_subclause7,next_type,block_points_proportional,cmp_defines,indexed_pc_relative_load_relative,wis_schedule,stack_def_use.live_var_at_prior_used,arch.extend_load,after_end
- straight_line_def_used(EA_def:address, Reg:register, EA_used:address, Index:unsigned)
straight_line_def_used is a weaker version than reg_def_use.def_used that can be used in the code inference pass.
Uses:
basic_reg_def_use.usedRecursive:
__agg_subclause3,jump_table_candidate_refined,unresolved_interval,self_contained_segment,unresolved_interval_order,symbolic_expr_from_relocation,no_return_call_refined,adrp_used,compare_and_jump_indirect,block_overlap,adjusts_stack_in_block,contains_plausible_instr_seq,wis_has_prior,branch_to_calculated_pc_rel_addr,split_load_operand,jump_table_element_access,base_relative_operand,reg_def_use.live_var_def,compare_and_jump_indirect_op_valid,split_load_for_symbolization,base_relative_operation,symbol_minus_symbol_litpool_access_pattern,invalid_jump_table_candidate,data_block_candidate,padding_block_candidate,arch.simple_data_load,reg_def_use.live_var_used,reg_def_use.flow_def,split_load,reg_def_use.last_def_in_block,arm_jump_table_block_start,stack_def_use.ref_in_block,__agg_single10,compare_and_jump_register,block_boundaries,value_reg_edge,jump_table_target,jump_table_candidate,reg_def_use.ambiguous_last_def_in_block,overlap_with_litpool,relative_jump_table_entry_candidate,jump_table_max,stack_def_use.live_var_at_block_end,base_relative_jump,data_segment,inter_procedural_edge,wis_schedule_iter,__agg_subclause2,code_in_block,reg_def_use.used,__agg_single6,relocation_adjustment,reg_def_use.used_in_block,may_fallthrough,gp_relative_operand,stack_def_use.live_var_used,arm_jump_table_block_instruction,plt_block,litpool_boundaries,unresolved_block_overlap,resolved_reaches,data_access,reg_used_for,init_ldr_add_pc,padding_block_limit,known_block,unlikely_have_symbolic_immediate,next_function_entry_initial,segment_target_range,start_function,arm_jump_table_skip_first_entry,stack_def_use.live_var_used_in_block,indefinite_litpool_ref,__agg_subclause6,relative_address,jump_table_prelude,relocation_adjustment_total,inferred_main_dispatch,const_value_reg_used,initialized_data_segment,stack_def_use.live_var_def,last_value_reg_limit,next_start,data_in_code_propagate,no_return_block,tls_relative_operand_mips,indexed_pc_relative_load,litpool_confidence,fallthrough_over_padding,data_in_code,first_block_in_byte_interval,reg_def_use.ref_in_block,arm_jump_table_candidate,call_tls_get_addr,__agg_single2,block_instruction_next,stack_def_use.def_used,__agg_single3,block_points,next_end,data_block_limit,split_load_point,negative_block_heuristic,block_last_instruction,init_symbol_minus_symbol_candidate_arm,block_candidate_dependency_edge,stack_def_use.used_in_block,value_reg,split_load_candidate,stack_base_reg_move,arm_jump_table_data_block,discarded_split_load,reg_def_use.live_var_at_prior_used,reg_reg_arithmetic_operation_defs,next_block_in_byte_interval,hi_load_prop,jump_table_signed,inferred_main_in_reg,basic_target,initial_function_containing_return,transition_block_limit,possible_target_from,code_in_block_candidate,impossible_block,call_target_has_other_fallthrough_inter,reg_def_use.live_var_at_block_end,got_relative_operand,unresolved_block,value_reg_limit,litpool_symbolic_operand,tls_desc_call,common_tail,is_padding,block_candidate_boundaries,wis_prior,block_next,call_tls_get_addr_mips,stack_def_use.defined_in_block,plt_entry,nop_in_padding_candidate,block_implies_block,code_in_block_candidate_refined,tls_get_addr,compare_and_jump_immediate,block_total_points,straight_line_def_used,arch.reg_relative_load,split_load_conflict,straight_line_last_def,candidate_block_is_not_padding,stack_def_use.block_last_def,discarded_block,reg_def_use.ambiguous_block_last_def,def_used_for_address,must_fallthrough,reg_def_use.def_used,simple_data_access_pattern,possible_target,composite_data_access,reg_def_use.block_last_def,stack_def_use.last_def_in_block,reg_def_use.defined_in_block,split_load_total_points,litpool_ref,local_dynamic_tls_candidate,overlapping_instruction,candidate_block_is_padding,block_heuristic,invalid,reg_def_use.return_block_end,wis_memo,reg_has_got,cinf_ldr_add_pc,__agg_subclause4,call_may_fallthrough_inter,block_limit,no_value_reg_limit,no_return_call,relative_address_start,jump_table_start,value_reg_unsupported,correlated_live_reg,arm_jump_table_candidate_start,no_return_call_propagated,flags_and_jump_pair,instruction_memory_access_size,cmp_reg_to_reg,incomplete_block,likely_fallthrough,reg_has_base_image,arm_jump_table_cmp_limit,block,arm_jump_table_data_block_limit,function_inference.function_entry_initial,reg_def_use.return_val_used,contains_implausible_instr_seq,__agg_subclause7,next_type,block_points_proportional,cmp_defines,indexed_pc_relative_load_relative,wis_schedule,stack_def_use.live_var_at_prior_used,arch.extend_load,after_end