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, base_addr_offset_operand, block_needs_merging, block_needs_splitting_at, code_in_split_block, 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, symbolic_operand_attribute, symbolic_operand_candidate

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

block(Block:address)

There is a code block starting at ‘Block’.

• Used by: address_in_data_refined, code_pointer_in_data, split_block

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

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

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

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

data_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: alignment, next_refined_block_in_byte_interval

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

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

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

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

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: possible_target_from

unlikely_have_symbolic_immediate(EA:address)

• Uses: arch.logic_operation, instruction

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

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

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

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

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

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

possible_target(Target:address)

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

code_in_block_candidate(EA:address, EA_block:address)

• Uses: instruction

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

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

nop_in_padding_candidate(EA:address, Start:address)

Build padding candidates from nop instructions

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

• Uses: next

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

padding_block_candidate(EA:address, Size:unsigned)

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

• Uses: next

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

after_end(EA:address, End:address)

• Uses: binary_format, instruction, next

• Used by: fde_block_addresses, padding, relative_jump_table_entry

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

common_tail(EA:address)

• Uses: next

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

code_in_block_candidate_refined(EA:address, Block:address)

• Uses: next

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

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

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

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

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

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

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

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

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

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

Logically impossible blocks.

• Uses: arm_exidx_entry, defined_symbol

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

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

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

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

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

unresolved_interval(Start:address, End:address)

Valid unresolved intervals

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

unresolved_interval_order(ID:unsigned, Start:address, End:address)

Sort intervals by end address

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

block_type_priority(Type:block_type, Priority:unsigned)

• Used by: __agg_subclause10, __agg_subclause7, block_still_overlap, unresolved_interval_best_block

unresolved_interval_best_block(ID:unsigned, Block:address, Type:block_type, Size:unsigned, Weight:unsigned)

Select best block in an unresolved interval and calculate weight

• Uses: block_type_priority

• Used by: interval_schedule_tie

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

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

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

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

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, unresolved_interval_best_block, wis_memo, wis_prior, wis_schedule

wis_schedule(Interval:unsigned)

Weighted interval schedule: reconstruct schedule of selected intervals

• Used by: interval_schedule_tie

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

wis_schedule_iter(Iter:unsigned)

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

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

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

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

• Used by: block_still_overlap, interval_schedule_tie

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

candidate_block_is_not_padding(Block:address)

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

candidate_block_is_padding(Block:address)

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

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

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

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

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

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

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

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

next_block_in_byte_interval(Block:address, NextBlock:address)

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