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:
litpool_symbolic_operand,__agg_single2,invalid,branch_to_calculated_pc_rel_addr,reg_used_for,data_block_limit,correlated_live_reg,inter_procedural_edge,value_reg_limit,no_value_reg_limit,init_symbol_minus_symbol_candidate_arm,start_function,jump_table_signed,stack_def_use.live_var_at_prior_used,arm_jump_table_block_start,code_in_block_candidate,wis_schedule_iter,split_load_operand,plt_block,base_relative_operand,next_function_entry_initial,stack_def_use.last_def_in_block,arch.reg_relative_load,data_in_code_propagate,must_fallthrough,jump_table_candidate,reg_has_got,block_instruction_next,negative_block_heuristic,relative_address_start,straight_line_def_used,data_in_code,reg_def_use.last_def_in_block,adjusts_stack_in_block,tls_desc_call,segment_target_range,next_block_in_byte_interval,next_type,discarded_block,block_points_proportional,__agg_single3,reg_def_use.live_var_used,instruction_memory_access_size,split_load_total_points,overlapping_instruction,value_reg_unsupported,jump_table_max,arm_jump_table_candidate,no_return_call,arm_jump_table_data_block,possible_target_from,arm_jump_table_skip_first_entry,self_contained_segment,call_target_has_other_fallthrough_inter,unresolved_block,indexed_pc_relative_load_relative,const_value_reg_used,block_last_instruction,__agg_single6,stack_def_use.live_var_at_block_end,straight_line_last_def,arch.simple_data_load,adrp_used,block,reg_def_use.live_var_at_block_end,reg_reg_arithmetic_operation_defs,jump_table_prelude,arm_jump_table_block_instruction,flags_and_jump_pair,plt_entry,simple_data_access_pattern,call_tls_get_addr,compare_and_jump_indirect_op_valid,block_points,reg_def_use.def_used,stack_def_use.live_var_used_in_block,arm_jump_table_data_block_limit,relative_address,split_load_candidate,data_block_candidate,base_relative_operation,value_reg_edge,block_total_points,compare_and_jump_immediate,compare_and_jump_indirect,def_used_for_address,split_load_point,fallthrough_over_padding,__agg_subclause6,split_load_conflict,got_relative_operand,reg_def_use.ambiguous_block_last_def,reg_def_use.block_last_def,known_block,may_fallthrough,relative_jump_table_entry_candidate,__agg_single10,reg_has_base_image,unresolved_interval_order,unresolved_interval,candidate_block_is_not_padding,inferred_main_dispatch,split_load_for_symbolization,stack_def_use.used_in_block,first_block_in_byte_interval,indefinite_litpool_ref,no_return_block,inferred_main_in_reg,incomplete_block,impossible_block,block_next,stack_base_reg_move,unlikely_have_symbolic_immediate,tls_get_addr,base_relative_jump,block_limit,padding_block_candidate,data_access,compare_and_jump_register,next_end,cinf_ldr_add_pc,block_candidate_boundaries,possible_target,block_candidate_dependency_edge,reg_def_use.live_var_at_prior_used,jump_table_candidate_refined,basic_target,stack_def_use.live_var_def,wis_prior,block_implies_block,block_boundaries,litpool_confidence,wis_has_prior,reg_def_use.return_block_end,symbol_minus_symbol_litpool_access_pattern,reg_def_use.flow_def,likely_fallthrough,stack_def_use.block_last_def,invalid_jump_table_candidate,cmp_defines,code_in_block_candidate_refined,hi_load_prop,wis_memo,overlap_with_litpool,resolved_reaches,reg_def_use.return_val_used,call_may_fallthrough_inter,function_inference.function_entry_initial,candidate_block_is_padding,__agg_subclause4,unresolved_block_overlap,padding_block_limit,stack_def_use.ref_in_block,init_ldr_add_pc,litpool_ref,discarded_split_load,value_reg,block_heuristic,reg_def_use.defined_in_block,initial_function_containing_return,reg_def_use.used_in_block,gp_relative_operand,stack_def_use.def_used,no_return_call_refined,jump_table_target,next_start,common_tail,symbolic_expr_from_relocation,tls_relative_operand_mips,block_overlap,contains_implausible_instr_seq,stack_def_use.defined_in_block,composite_data_access,contains_plausible_instr_seq,arm_jump_table_cmp_limit,relocation_adjustment,jump_table_start,relocation_adjustment_total,local_dynamic_tls_candidate,call_tls_get_addr_mips,stack_def_use.live_var_used,code_in_block,indexed_pc_relative_load,no_return_call_propagated,reg_def_use.ref_in_block,data_segment,is_padding,after_end,arm_jump_table_candidate_start,wis_schedule,nop_in_padding_candidate,reg_def_use.live_var_def,jump_table_element_access,split_load,__agg_subclause3,__agg_subclause2,reg_def_use.ambiguous_last_def_in_block,last_value_reg_limit,transition_block_limit,__agg_subclause7,arch.extend_load,initialized_data_segment,cmp_reg_to_reg,litpool_boundaries,reg_def_use.used
- 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:
litpool_symbolic_operand,__agg_single2,invalid,branch_to_calculated_pc_rel_addr,reg_used_for,data_block_limit,correlated_live_reg,inter_procedural_edge,value_reg_limit,no_value_reg_limit,init_symbol_minus_symbol_candidate_arm,start_function,jump_table_signed,stack_def_use.live_var_at_prior_used,arm_jump_table_block_start,code_in_block_candidate,wis_schedule_iter,split_load_operand,plt_block,base_relative_operand,next_function_entry_initial,stack_def_use.last_def_in_block,arch.reg_relative_load,data_in_code_propagate,must_fallthrough,jump_table_candidate,reg_has_got,block_instruction_next,negative_block_heuristic,relative_address_start,straight_line_def_used,data_in_code,reg_def_use.last_def_in_block,adjusts_stack_in_block,tls_desc_call,segment_target_range,next_block_in_byte_interval,next_type,discarded_block,block_points_proportional,__agg_single3,reg_def_use.live_var_used,instruction_memory_access_size,split_load_total_points,overlapping_instruction,value_reg_unsupported,jump_table_max,arm_jump_table_candidate,no_return_call,arm_jump_table_data_block,possible_target_from,arm_jump_table_skip_first_entry,self_contained_segment,call_target_has_other_fallthrough_inter,unresolved_block,indexed_pc_relative_load_relative,const_value_reg_used,block_last_instruction,__agg_single6,stack_def_use.live_var_at_block_end,straight_line_last_def,arch.simple_data_load,adrp_used,block,reg_def_use.live_var_at_block_end,reg_reg_arithmetic_operation_defs,jump_table_prelude,arm_jump_table_block_instruction,flags_and_jump_pair,plt_entry,simple_data_access_pattern,call_tls_get_addr,compare_and_jump_indirect_op_valid,block_points,reg_def_use.def_used,stack_def_use.live_var_used_in_block,arm_jump_table_data_block_limit,relative_address,split_load_candidate,data_block_candidate,base_relative_operation,value_reg_edge,block_total_points,compare_and_jump_immediate,compare_and_jump_indirect,def_used_for_address,split_load_point,fallthrough_over_padding,__agg_subclause6,split_load_conflict,got_relative_operand,reg_def_use.ambiguous_block_last_def,reg_def_use.block_last_def,known_block,may_fallthrough,relative_jump_table_entry_candidate,__agg_single10,reg_has_base_image,unresolved_interval_order,unresolved_interval,candidate_block_is_not_padding,inferred_main_dispatch,split_load_for_symbolization,stack_def_use.used_in_block,first_block_in_byte_interval,indefinite_litpool_ref,no_return_block,inferred_main_in_reg,incomplete_block,impossible_block,block_next,stack_base_reg_move,unlikely_have_symbolic_immediate,tls_get_addr,base_relative_jump,block_limit,padding_block_candidate,data_access,compare_and_jump_register,next_end,cinf_ldr_add_pc,block_candidate_boundaries,possible_target,block_candidate_dependency_edge,reg_def_use.live_var_at_prior_used,jump_table_candidate_refined,basic_target,stack_def_use.live_var_def,wis_prior,block_implies_block,block_boundaries,litpool_confidence,wis_has_prior,reg_def_use.return_block_end,symbol_minus_symbol_litpool_access_pattern,reg_def_use.flow_def,likely_fallthrough,stack_def_use.block_last_def,invalid_jump_table_candidate,cmp_defines,code_in_block_candidate_refined,hi_load_prop,wis_memo,overlap_with_litpool,resolved_reaches,reg_def_use.return_val_used,call_may_fallthrough_inter,function_inference.function_entry_initial,candidate_block_is_padding,__agg_subclause4,unresolved_block_overlap,padding_block_limit,stack_def_use.ref_in_block,init_ldr_add_pc,litpool_ref,discarded_split_load,value_reg,block_heuristic,reg_def_use.defined_in_block,initial_function_containing_return,reg_def_use.used_in_block,gp_relative_operand,stack_def_use.def_used,no_return_call_refined,jump_table_target,next_start,common_tail,symbolic_expr_from_relocation,tls_relative_operand_mips,block_overlap,contains_implausible_instr_seq,stack_def_use.defined_in_block,composite_data_access,contains_plausible_instr_seq,arm_jump_table_cmp_limit,relocation_adjustment,jump_table_start,relocation_adjustment_total,local_dynamic_tls_candidate,call_tls_get_addr_mips,stack_def_use.live_var_used,code_in_block,indexed_pc_relative_load,no_return_call_propagated,reg_def_use.ref_in_block,data_segment,is_padding,after_end,arm_jump_table_candidate_start,wis_schedule,nop_in_padding_candidate,reg_def_use.live_var_def,jump_table_element_access,split_load,__agg_subclause3,__agg_subclause2,reg_def_use.ambiguous_last_def_in_block,last_value_reg_limit,transition_block_limit,__agg_subclause7,arch.extend_load,initialized_data_segment,cmp_reg_to_reg,litpool_boundaries,reg_def_use.used