code_inference

This module computes the valid instructions organized in blocks of code. It infers the facts code_in_block, block, and code.

Potential code inference failures are recorded in the block_still_overlap and interval_schedule_tie relations.

The disassembly consists of several phases:

• Traverse backward from invalid instructions through “must” edges

• Traverse forward from “may” edges from all possible instructions to generate a superset of all possible code blocks in code_in_block_candidate. This traversal has a recursive component and a linear-sweep component.

• Generate data block candidates using references from code block candidates

• Split common block tails to ensure code blocks are non-overlapping in code_in_block_candidate_refined

• Populate known_block based on binary metadata and propagate forward through “must” edges

• Populate impossible_block with blocks which overlap known_blocks, and propagate backward through “must” edges

• Identify remaining overlapping blocks in unresolved_block and assign points in block_points and block_points_proportional according to heuristics.

• Resolve blocks with different boundaries using weighted interval scheduling, which weights blocks according to points and binary coverage

• Resolve blocks with identical boundaries according to their points.

code_in_block(EA:address, Block:address)

The instruction at address ‘EA’ belong to the block ‘Block’. The block address is the address of the first instruction in the block. These are final addresses where the code is located. They are organized in blocks of sequential code and the block identifier is the address of the first instruction in the block.

• Used by: address_array_aux, alignment_candidate, base_addr_offset_operand, block_needs_merging, block_needs_splitting_at, code_in_split_block, data_object_point, false_positive, function_inference.function_entry, impossible_jump_target, inferred_main_function, jump_table, low_pass_filter, main_function, missed_jump_table, moved_data_label, moved_immediate_candidate, moved_label_candidate, moved_label_class, moved_pc_relative_candidate, padding_prefix, padding_prefix_end, pe_exception_handler, relative_jump_table_entry, relocation_in_operand, resolved_transfer, symbol_minus_symbol, symbol_minus_symbol_candidate, symbolic_operand_attribute, symbolic_operand_candidate, value_reg_address_before

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

block(Block:address)

There is a code block starting at ‘Block’.

• Used by: address_in_data_refined, code_pointer_in_data, split_block

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

code(EA:address)

The instruction at address ‘EA’ is code.

WARNING: Predicate not present in compiled Datalog program (Dead Code)

block_last_instruction(Block:address, EA:address)

The last instruction of ‘Block’ is at address ‘EA’

• Uses: next

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

block_boundaries(block:address, BegAddr:address, EndAddr:address)

The block defined by address ‘Block’ extends from ‘BegAddr’ to ‘EndAddr’. In most cases ‘BegAddr’ and ‘Block’ coincide, but there are exceptions such as ARM 32 Thumb code blocks.

• Used by: boundary_sym_expr, lsda_symbol_minus_symbol

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

overlapping_instruction(EA:address, EA2: address)

Predicate to capture overlapping instructions. Certain overlapping instructions are permitted and do not generate block conflicts. Those overlapping instructions are captured by this predicate.

• Uses: instruction

• Used by: moved_data_label, moved_label_candidate, moved_label_class

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

data_in_code(Begin:address, End:address)

There is a segment of data in a code section that spans from ‘Begin’ to ‘End’.

• Uses: byte_interval, code_section, loaded_section

• Used by: next_refined_block_in_byte_interval

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

block_still_overlap(Block1:address, Type1:block_type, Size1:unsigned, Block2:address, Type2:block_type, Size2:unsigned)

This predicate if there are still overlapping blocks after the code inference. In that case the analysis has failed to resolve all conflicts.

• Uses: block_overlap, discarded_block

may_fallthrough(From:address, To:address)

Instruction at address From might fallthrough to instruction at address To.

• Uses: arch.delay_slot, halt, next, unconditional_jump, unconditional_return

• Used by: cfg_edge

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

must_fallthrough(From:address, To:address)

Instruction at address From must fallthrough to instruction at address To.

• Uses: arch.call_operation, arch.delay_slot, arch.interrupt_operation, arch.syscall_operation, conditional_jump, conditional_return, instruction, instruction_has_loop_prefix, next

• Used by: block_needs_merging, code_in_refined_block

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

likely_fallthrough(From:address, To:address)

This predicate is a special case of may_fallthrough. must_fallthrough is very conservative and does not include things like conditional jumps. However, conditional jumps can almost always fallthrough (unless there is obfuscation). likely_fallthrough captures those instructions.

• Uses: conditional_jump, instruction_has_loop_prefix

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

may_have_symbolic_immediate(src:address, dest:address)

• Uses: arch.logic_operation, binary_type, instruction, instruction_get_op, instruction_immediate_offset, movw_movt_pair, op_immediate, relocation

• Used by: data_object_point, possible_target_from

unlikely_have_symbolic_immediate(EA:address)

• Uses: arch.logic_operation, instruction

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

invalid(EA:address, Type:symbol)

• Uses: +disconnected7, arch.instruction_at, arch.memory_access, arch.reg_index, arch.reg_reg_arithmetic_operation, arch.stack_pointer, binary_format, data_region, defined_symbol, direct_call, direct_jump, instruction, instruction_get_dest_op, instruction_get_op, instruction_get_src_op, instruction_writeback, invalid_op_code, max_instruction_size, op_indirect, op_indirect_mapped, op_regdirect_contains_reg, pc_relative_call, pc_relative_jump, reg_map

• Used by: symbol_minus_symbol

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

max_instruction_size(Size:unsigned)

Largest instruction in the binary

• Uses: instruction

• Used by: invalid, invalid_jump_table_candidate

possible_ea(EA:address)

WARNING: Predicate not present in compiled Datalog program (Dead Code)

known_code(EA:address)

The address EA is already known to be code in the input GTIRB.

• Used by: basic_target, known_block

basic_target(ea:address)

Starting addresses for code exploration.

• Uses: address_in_data, arch.instruction_at, arm_exidx_entry, binary_type, byte_interval, code_section, data_sym, defined_symbol, dynamic_entry, entry_point, fde_addresses, instruction, instruction_get_src_op, known_code, loaded_section, lsda_callsite_addresses, misaligned_fde_start, op_regdirect_contains_reg, relocation, seh_handler_entry, thumb_sym

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

block_limit(EA:address)

• Uses: arch.adr_dest, arch.instruction_at, arch.pc_relative_addr, arm_exidx_entry, fde_addresses, instruction_has_loop_prefix, lsda_callsite_addresses, op_immediate, pc_relative_operand, repeated_byte

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

transition_block_limit(EA:address, Next:address)

We want to split blocks that go from non-padding to padding or from padding to non-padding.

However, this cannot be a regular block_limit because several instructions could fallthrough into another one. We need to consider the source address too.

• Uses: next

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

possible_target_from(dest:address, src:address)

• Uses: direct_call, direct_jump, may_have_symbolic_immediate, pc_relative_call, pc_relative_jump, pc_relative_operand

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

possible_target(Target:address)

• Used by: function_inference.function_entry

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

code_in_block_candidate(EA:address, EA_block:address)

• Uses: instruction

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

aligned_address_in_data(EA:address, Value:address)

Aligned address shown in data

• Uses: address_in_data

• Used by: block_heuristic, boundary_sym_expr, data_block_candidate, known_block, negative_block_heuristic

padding_block_limit(Limit:address)

Addresses where the propagation of padding blocks should be limited.

Similar to (and a superset of) block_limit for code blocks.

• Uses: arch.instruction_at

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

nop_in_padding_candidate(EA:address, Start:address)

Build padding candidates from nop instructions

This is analogous to code_in_block_candidate, but for blocks of type “padding”.

• Uses: next

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

padding_block_candidate(EA:address, Size:unsigned)

Padding block candidates can help fill in space when evaluating overlapping models.

• Uses: next

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

after_end(EA:address, End:address)

Linear component of the forward traversal. after_end traverses the code lineraly skipping nops. Traversals starts at points where there is a no-fallthough, after jump tables and after literal pools. End represents where the traversal started and EA represents the current address.

• Uses: binary_format, instruction, next

• Used by: fde_block_addresses, function_inference.function_entry, padding, relative_jump_table_entry

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

common_tail(EA:address)

• Uses: next

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

code_in_block_candidate_refined(EA:address, Block:address)

• Uses: next

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

composite_data_access(EA:address, EA_load:address, Data:address, Size:unsigned)

A pair of instructions form an access to data with a predetermined size and location

• Uses: arch.pc_relative_addr

• Used by: alignment_candidate

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

data_block_candidate(Block:address, Size:unsigned)

A data block candidate in a code section. The candidate is located at address ‘Block’ and has ‘Size’ bytes.

• Uses: address_in_data, aligned_address_in_data, arch.adr_dest, arch.library_string_arg, arch.memory_access, arch.pc_relative_addr, arm_sym, ascii_string, binary_format, code_section, defined_symbol, direct_call, instruction_has_relocation, loaded_section, plt_entry_arm_candidate, relocation, repeated_byte, seh_handler_table, symbol, thumb_sym

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

block_candidate_boundaries(Block:address, Type:block_type, BegAddr:address, EndAddr:address)

The block candidate defined by address ‘Block’ extends from ‘BegAddr’ to ‘EndAddr’. In most cases ‘BegAddr’ and ‘Block’ coincide, but there are exceptions such as ARM 32 Thumb code blocks. These block candidates can be code blocks or data blocks.

• Uses: arch.instruction_at, next

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

multiple_fallthrough_to(Block:address)

WARNING: Predicate not present in compiled Datalog program (Dead Code)

block_overlap(Block1:address, Type1:block_type, Size1:unsigned, Block2:address, Type2:block_type, Size2:unsigned)

Two blocks overlap.

• Used by: block_still_overlap

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

block_candidate_dependency_edge(BlockA:address, TypeA:block_type, SizeA:unsigned, BlockB:address, TypeB:block_type, SizeB:unsigned)

The block BlockA,TypeA implies the existence of of BlockB,TypeB

• Uses: direct_call, direct_jump

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

block_implies_block(BlockA:address, TypeA:block_type, SizeA:unsigned, BlockB:address, TypeB:block_type, SizeB:unsigned)

If BlockA exists, BlockB must also exist.

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

known_block(Block:address, Type:block_type, Size:unsigned, Reason:symbol)

Known blocks are blocks that must exist due to metadata.

• Uses: address_in_data, aligned_address_in_data, arch.call, arch.instruction_at, arm_exidx_entry, arm_sym, binary_format, binary_type, defined_symbol, dynamic_entry, entry_point, fde_addresses, function_pointer_section, function_symbol, instruction_has_relocation, known_code, misaligned_fde_start, relocation, section, seh_handler_table, thumb_sym

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

impossible_block(Block:address, Type:block_type, Size:unsigned, Reason:symbol)

Logically impossible blocks.

• Uses: arm_exidx_entry, defined_symbol

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

unresolved_block(Block:address, Type:block_type, Size:unsigned)

Blocks that are still overlapping after known_block and impossible_block are determined.

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

unresolved_block_overlap(Block1:address, Type1:block_type, Size1:unsigned, Block2:address, Type2:block_type, Size2:unsigned)

Blocks that still overlap after known_block and impossible_block are determined.

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

type_ordering_map(Type:block_type, IntervalType:interval_type, AddrAdjust:address)

This predicate allows us to translate back and forth from block types (padding, code, or data) into numerical interval types that are easily sorted. For padding and code blocks, we can have Default or Thumb blocks and we distinguish those with a different interval type. The field AddrAdjust allows us to adjust the addresses of Thumb blocks.

This predicate also defines an implicit priority. If two blocks have the same weight and the same boundaries, the one with higher interval_type will be chosen. This derives from the way we deal with ties in the WIS algorithm. In case of a tie, the algorithm selects the block, which means that the last block in the ordering will be selected first.

• Used by: discarded_block, interval_schedule_tie, unresolved_interval

unresolved_interval(Start:address, End:address, TypeOrd:interval_type, Weight:number)

Valid unresolved intervals

• Uses: type_ordering_map

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

next_type(Start:address, End:address, PrevType:interval_type, NextType:interval_type)

Auxiliary predicate to help sorting the intervals. next_type captures the next type for a fixed start and end addresses.

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

next_start(PrevStart:address, End:address, NextStart:address)

Auxiliary predicate to help sorting the intervals. next_start captures the next starting address for a fixed end address.

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

next_end(PrevEnd:address, NextEnd:address)

Auxiliary predicate to help sorting the intervals. next_end captures the next end address overall.

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

unresolved_interval_order(ID:unsigned, Start:address, End:address, Type:interval_type, Weight:number)

Sort intervals lexicographically by <end address, start address, interval_type>

• Used by: interval_schedule_tie

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

wis_has_prior(I:unsigned, Count:unsigned)

Weighted interval schedule: Count of intervals that end prior to the start of interval I.

Only calculated for intervals that have prior intervals.

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

wis_prior(I:unsigned, Count:unsigned)

wis_prior extends wis_has_prior, including intervals that have no prior intervals (i.e., with Count of 0).

• Used by: interval_schedule_tie

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

wis_memo(I:unsigned, Value:number, Pred:unsigned)

Weighted interval schedule: memoized subproblems

Value is the optimized total weight for intervals [1:I].

Value is the total weight for selected intervals, and Pred (i.e., the Predecessor) is the previous entry in wis_memo, later used to reconstruct the optimal solution.

• Used by: interval_schedule_tie

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

interval_schedule_tie(BlockA:address, TypeA:block_type, SizeA:unsigned, BlockB:address, TypeB:block_type, SizeB:unsigned)

Blocks A and B had equal weights during interval scheduling, and Block A was selected.

• Uses: discarded_block, type_ordering_map, unresolved_interval_order, wis_memo, wis_prior, wis_schedule

wis_schedule(Interval:unsigned)

Weighted interval schedule: reconstruct schedule of selected intervals

• Used by: interval_schedule_tie

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

wis_schedule_iter(Iter:unsigned)

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

block_total_points(Block:address, Type:block_type, Size:unsigned, Points:number)

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

discarded_block(Block:address, Type:block_type, Size:unsigned, Reason:symbol, BlockPropagated:address)

Block: block to be discarded BlockPropagated (for debugging purpose):

• previous block that the reason is propagated from (for “propagated”)

• block that this block overlapped with (for “first instruction overlap”)

• Uses: instruction, type_ordering_map

• Used by: block_still_overlap, interval_schedule_tie

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

candidate_block_is_not_padding(Block:address)

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

candidate_block_is_padding(Block:address)

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

block_heuristic(Block:address, Type:block_type, Size:unsigned, Instance:address, HeuristicName:symbol)

block_heuristic defines properties of blocks that will receive points. This predicate uniquely identifies a block and the ‘HeuristicName’ property associated to it.

Some heuristics can be assigned to a block multiple times, this is made possible by the ‘Instance’ field. E.g. if we give points for specific instructions in the block or for each block predecessor. For heuristics that can only be applied once per block, the instance field is always 0.

• Uses: address_in_data, aligned_address_in_data, arch.adr_dest, arch.is_nop, arch.library_string_arg, arch.memory_access, arch.pc_relative_addr, arch.return, arm_sym, ascii_string, binary_format, code_section, code_to_litpool_ref_point_transfer, defined_symbol, direct_call, direct_jump, fde_addresses, function_symbol, incremental_linking, instruction, instruction_displacement_offset, instruction_immediate_offset, loaded_section, lsda_callsite_addresses, next, plt_bx_pc, plt_entry_arm_candidate, relocation, relocation_size, repeated_byte, seh_handler_entry, symbol, thumb_sym

• Used by: missing_weight

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

negative_block_heuristic(Block:address, Type:block_type, Size:unsigned, Instance:address, HeuristicName:symbol)

Negative block heuristics are collected in their own relation.

This allows any block with negative_block_heuristic to be marked as unresolved_block without causing cyclic negation.

• Uses: aligned_address_in_data, arch.dangling_thumb_instr, arch.instruction_at, arch.it_conditional, arm_exidx_entry, arm_sym, ascii_string, conditional_jump, conditional_return, direct_call, direct_jump, function_symbol, instruction, instruction_get_dest_op, next, op_regdirect_contains_reg, symbol, thumb_sym

• Used by: missing_weight

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

block_points(Block:address, Type:block_type, Size:unsigned, Instance:address, Weight:number, HeuristicName:symbol)

A block defined by its address ‘Block’, ‘Type’, and ‘Size’ has been assigned a heuristic ‘HeuristicName’ with weight ‘Weight’. The ‘Instance’ field can be used to assign a single heuristic to a block multiple times, see block_heuristics. The heuristic weights are determined by the heuristic_weight predicate.

• Uses: heuristic_weight

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

block_points_proportional(Block:address, Type:block_type, Size:unsigned, WeightMult:number, HeuristicName:symbol)

This predicate specifies heuristics whose weight is proportional to the block size. A block defined by its address ‘Block’, ‘Type’, and ‘Size’ has been assigned a heuristic ‘HeuristicName’

with weight ‘WeightMult’*’Size’.

• Uses: heuristic_weight

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

resolved_reaches(Block:address, Size:unsigned, Type:symbol)

Points for reachability

Give points to blocks that are reachable from a non-overlapping block. We distinguish two kinds of reachability “strong” and “weak” which get different amount of points. “weak” reachability is for may fallthroughs that have higher uncertainty such as function calls.

• Uses: direct_call, direct_jump

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

data_in_code_propagate(Current:address, Initial:address, EndByteInterval:address)

Auxiliary predicate to compute data_in_code. It propagates through the holes between code blocks and between the last code block of a byte interval and the end of the interval

• Uses: byte_interval

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

first_block_in_byte_interval(Begin:address, End:address, BlockBeg:address)

Auxiliary predicate to compute data_in_code. BlockBeg contains the address of the first code block in the byte interval defined by the addresses [Begin,End). If a code byte interval has no code, no predicate will be generated.

• Uses: byte_interval, code_section, loaded_section

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

next_block_in_byte_interval(Block:address, NextBlock:address)

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