Predicate Index
| PredicateIndex | ||
abi_intrinsic (DATALOG-API/src_docs/main) | Predicate | |
addr_outside_section_used_for_memory_access (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
address_array (DATALOG-API/src_docs/symbolization) | Predicate | |
address_array_aux (DATALOG-API/src_docs/symbolization) | Predicate | |
address_in_data (DATALOG-API/src_docs/main) | Predicate | |
address_in_data_is_printable (DATALOG-API/src_docs/symbolization) | Predicate | |
address_in_data_refined (DATALOG-API/src_docs/symbolization) | Predicate | |
adjusts_stack_in_block (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
adr_dest (DATALOG-API/src_docs/arch/arm64/arch_arm64) | Predicate | |
adrp_used (DATALOG-API/src_docs/arch/arm64_symbolization) | Predicate | |
after_address_in_data (DATALOG-API/src_docs/symbolization) | Predicate | |
after_end (DATALOG-API/src_docs/code_inference) | Predicate | |
aggregated_access_operation (DATALOG-API/src_docs/arch/arm32/memory_access) | Predicate | |
align_addr (DATALOG-API/src_docs/main) | Predicate | |
aligned_address_in_data (DATALOG-API/src_docs/code_inference) | Predicate | |
alignment (DATALOG-API/src_docs/main) | Predicate | |
alignment_required (DATALOG-API/src_docs/arch/arch) | Predicate | |
ambiguous_symbol (DATALOG-API/src_docs/main) | Predicate | |
arch (DATALOG-API/src_docs/arch/arch) | Predicate | |
arch_info (DATALOG-API/src_docs/main) | Predicate | |
arithmetic_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
arm_exidx_entry (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
arm_jump_table_block_instruction (DATALOG-API/src_docs/arch/arm32_jump_tables) | Predicate | |
arm_jump_table_block_start (DATALOG-API/src_docs/arch/arm32_jump_tables) | Predicate | |
arm_jump_table_candidate (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
arm_jump_table_candidate_start (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
arm_jump_table_candidate_target (DATALOG-API/src_docs/arch/arm32_jump_tables) | Predicate | |
arm_jump_table_cmp_limit (DATALOG-API/src_docs/arch/arm32_jump_tables) | Predicate | |
arm_jump_table_data_block (DATALOG-API/src_docs/arch/arm32_jump_tables) | Predicate | |
arm_jump_table_data_block_limit (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
arm_jump_table_skip_first_entry (DATALOG-API/src_docs/arch/arm32_jump_tables) | Predicate | |
arm_sym (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
arm_ver_order (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
ascii_string (DATALOG-API/src_docs/main) | Predicate | |
avoid_symbols (DATALOG-API/src_docs/symbols) | Predicate | |
bad_symbol_constant (DATALOG-API/src_docs/self_diagnose) | Predicate | |
base_addr_offset_operand (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
base_address (DATALOG-API/src_docs/main) | Predicate | |
base_relative_jump (DATALOG-API/src_docs/binary/pe/symbolization) | Predicate | |
base_relative_operand (DATALOG-API/src_docs/binary/pe/symbolization) | Predicate | |
base_relative_operation (DATALOG-API/src_docs/binary/pe/symbolization) | Predicate | |
base_relative_symbolic_operand (DATALOG-API/src_docs/binary/pe/symbolization) | Predicate | |
basic_target (DATALOG-API/src_docs/code_inference) | Predicate | |
best_func_symbol (DATALOG-API/src_docs/symbols) | Predicate | |
best_ifunc_symbol (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
best_symexpr_symbol (DATALOG-API/src_docs/symbols) | Predicate | |
best_value_reg (DATALOG-API/src_docs/value_analysis) | Predicate | |
binary_format (DATALOG-API/src_docs/main) | Predicate | |
binary_isa (DATALOG-API/src_docs/main) | Predicate | |
binary_type (DATALOG-API/src_docs/main) | Predicate | |
block (DATALOG-API/src_docs/code_inference) | Predicate | |
block_boundaries (DATALOG-API/src_docs/code_inference) | Predicate | |
block_candidate_boundaries (DATALOG-API/src_docs/code_inference) | Predicate | |
block_candidate_dependency_edge (DATALOG-API/src_docs/code_inference) | Predicate | |
block_has_non_nop (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
block_heuristic (DATALOG-API/src_docs/code_inference) | Predicate | |
block_implies_block (DATALOG-API/src_docs/code_inference) | Predicate | |
block_information (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
block_instruction_next (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
block_last_def (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
block_last_instruction (DATALOG-API/src_docs/code_inference) | Predicate | |
block_limit (DATALOG-API/src_docs/code_inference) | Predicate | |
block_needs_merging (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
block_needs_splitting_at (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
block_next (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
block_overlap (DATALOG-API/src_docs/code_inference) | Predicate | |
block_points (DATALOG-API/src_docs/code_inference) | Predicate | |
block_points_proportional (DATALOG-API/src_docs/code_inference) | Predicate | |
block_propagates_def (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
block_still_overlap (DATALOG-API/src_docs/code_inference) | Predicate | |
block_total_points (DATALOG-API/src_docs/code_inference) | Predicate | |
block_type_priority (DATALOG-API/src_docs/code_inference) | Predicate | |
boundary_sym_expr (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
branch_to_calculated_pc_rel_addr (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
bshru_wrapper (DATALOG-API/src_docs/value_analysis) | Predicate | |
bss_data (DATALOG-API/src_docs/symbolization) | Predicate | |
bss_section (DATALOG-API/src_docs/main) | Predicate | |
bss_section_limits (DATALOG-API/src_docs/main) | Predicate | |
byte_interval (DATALOG-API/src_docs/main) | Predicate | |
call (DATALOG-API/src_docs/arch/arch) | Predicate | |
call_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
call_operation_1op (DATALOG-API/src_docs/arch/mips32/arch_mips32) | Predicate | |
call_operation_2op (DATALOG-API/src_docs/arch/mips32/arch_mips32) | Predicate | |
call_operation_op_index (DATALOG-API/src_docs/arch/arch) | Predicate | |
call_tls_get_addr (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
call_uses_reg (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
candidate_block_is_not_padding (DATALOG-API/src_docs/code_inference) | Predicate | |
candidate_block_is_padding (DATALOG-API/src_docs/code_inference) | Predicate | |
cfg_edge (DATALOG-API/src_docs/cfg) | Predicate | |
cfg_edge_to_symbol (DATALOG-API/src_docs/cfg) | Predicate | |
cfg_edge_to_top (DATALOG-API/src_docs/cfg) | Predicate | |
cfi_directive (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
cfi_operand_is_register (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
cie_encoding (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
cie_entry (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
cie_personality (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
cinf_ldr_add_pc (DATALOG-API/src_docs/arch/arm32_symbolization) | Predicate | |
cinf_symbol_minus_symbol_candidate_arm (DATALOG-API/src_docs/arch/arm32_symbolization) | Predicate | |
cmp_defines (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
cmp_immediate_to_reg (DATALOG-API/src_docs/main) | Predicate | |
cmp_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
cmp_reg_to_reg (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
cmp_zero_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
code (DATALOG-API/src_docs/code_inference) | Predicate | |
code_in_block (DATALOG-API/src_docs/code_inference) | Predicate | |
code_in_block_candidate (DATALOG-API/src_docs/code_inference) | Predicate | |
code_in_block_candidate_refined (DATALOG-API/src_docs/code_inference) | Predicate | |
code_in_refined_block (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
code_in_split_block (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
code_pointer_in_data (DATALOG-API/src_docs/symbolization) | Predicate | |
code_section (DATALOG-API/src_docs/main) | Predicate | |
code_to_litpool_ref_point_transfer (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
common_tail (DATALOG-API/src_docs/code_inference) | Predicate | |
compact_branch_operation (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
compare_and_jump_immediate (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
compare_and_jump_indirect (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
compare_and_jump_indirect_op_valid (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
compare_and_jump_register (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
composite_data_access (DATALOG-API/src_docs/code_inference) | Predicate | |
condition_code_map (DATALOG-API/src_docs/arch/arm_binaries) | Predicate | |
condition_flags_reg (DATALOG-API/src_docs/arch/arch) | Predicate | |
conditional (DATALOG-API/src_docs/arch/arch) | Predicate | |
conditional_branch (DATALOG-API/src_docs/arch/arm64/jump_operations) | Predicate | |
conditional_branch (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
conditional_jump (DATALOG-API/src_docs/main) | Predicate | |
conditional_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
conditional_return (DATALOG-API/src_docs/main) | Predicate | |
const_value_reg_used (DATALOG-API/src_docs/value_analysis) | Predicate | |
contains_implausible_instr_seq (DATALOG-API/src_docs/arch/arm_binaries) | Predicate | |
contains_plausible_instr_seq (DATALOG-API/src_docs/arch/arm_binaries) | Predicate | |
copy_relocated_symbol (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
correlated_live_reg (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
dangling_thumb_instr (DATALOG-API/src_docs/arch/arm32/arch_arm) | Predicate | |
dap_location (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
dap_max_mult (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
data_access (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
data_access_limit (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
data_access_pattern (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
data_access_pattern_candidate (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
data_access_pattern_candidate_refined (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
data_access_pattern_non_zero (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
data_access_size (DATALOG-API/src_docs/arch/arch) | Predicate | |
data_block_candidate (DATALOG-API/src_docs/code_inference) | Predicate | |
data_block_limit (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
data_byte (DATALOG-API/src_docs/data) | Predicate | |
data_in_code (DATALOG-API/src_docs/code_inference) | Predicate | |
data_in_code_propagate (DATALOG-API/src_docs/code_inference) | Predicate | |
data_limit (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
data_limit_after_access (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
data_object (DATALOG-API/src_docs/symbolization) | Predicate | |
data_object_boundary (DATALOG-API/src_docs/symbolization) | Predicate | |
data_object_candidate (DATALOG-API/src_docs/symbolization) | Predicate | |
data_object_conflict (DATALOG-API/src_docs/symbolization) | Predicate | |
data_object_point (DATALOG-API/src_docs/symbolization) | Predicate | |
data_object_total_points (DATALOG-API/src_docs/symbolization) | Predicate | |
data_region (DATALOG-API/src_docs/main) | Predicate | |
data_section (DATALOG-API/src_docs/main) | Predicate | |
data_segment (DATALOG-API/src_docs/main) | Predicate | |
data_sym (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
data_uword (DATALOG-API/src_docs/data) | Predicate | |
data_word (DATALOG-API/src_docs/data) | Predicate | |
def (DATALOG-API/src_docs/basic_def_used) | Predicate | |
def_register_is_not_base_address (DATALOG-API/src_docs/register_type_analysis) | Predicate | |
def_used (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
def_used (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
def_used_for_address (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
default_heuristic_weight (DATALOG-API/src_docs/code_inference_weights) | Predicate | |
defined_in_block (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
defined_symbol (DATALOG-API/src_docs/main) | Predicate | |
delay_slot (DATALOG-API/src_docs/arch/arch) | Predicate | |
dest_enlarged_data_section (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
direct_call (DATALOG-API/src_docs/main) | Predicate | |
direct_jump (DATALOG-API/src_docs/main) | Predicate | |
direct_or_pcrel_jump (DATALOG-API/src_docs/noreturn) | Predicate | |
discarded_aligned_pointer (DATALOG-API/src_docs/debug_stats) | Predicate | |
discarded_aligned_pointer_to_text (DATALOG-API/src_docs/debug_stats) | Predicate | |
discarded_block (DATALOG-API/src_docs/code_inference) | Predicate | |
discarded_data_object (DATALOG-API/src_docs/symbolization) | Predicate | |
discarded_jump_table_entry (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
discarded_split_load (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
do_infer_main_function (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
dos_header_symbolic_operand (DATALOG-API/src_docs/binary/pe/symbolization) | Predicate | |
dwarf_encoding_size (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
dwarf_to_cfi (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
dynamic_entry (DATALOG-API/src_docs/main) | Predicate | |
ea_propagates_def (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
elf_avoid_symbols (DATALOG-API/src_docs/symbols) | Predicate | |
elf_pointer_array_section_type (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
elf_relocation_size (DATALOG-API/src_docs/binary/elf/relocations) | Predicate | |
elf_section_type (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
endianness (DATALOG-API/src_docs/main) | Predicate | |
endproc_local_index (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
entry_point (DATALOG-API/src_docs/main) | Predicate | |
exception_section (DATALOG-API/src_docs/main) | Predicate | |
extend_load (DATALOG-API/src_docs/arch/arch) | Predicate | |
extend_reg (DATALOG-API/src_docs/arch/arch) | Predicate | |
extend_type (DATALOG-API/src_docs/arch/arm64/arch_arm64) | Predicate | |
false_negative (DATALOG-API/src_docs/self_diagnose) | Predicate | |
false_positive (DATALOG-API/src_docs/self_diagnose) | Predicate | |
fde_addresses (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
fde_block_addresses (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
fde_entry (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
fde_instruction (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
fde_instruction_block_offset (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
fde_instruction_ref (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
fde_pointer_locations (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
first_block_in_byte_interval (DATALOG-API/src_docs/code_inference) | Predicate | |
first_synchronous_access (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
flags_and_jump_pair (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
float_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
float_reg (DATALOG-API/src_docs/arch/arch) | Predicate | |
flow_def (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
frame_pointer (DATALOG-API/src_docs/arch/arch) | Predicate | |
function_entry (DATALOG-API/src_docs/basic_function_inference) | Predicate | |
function_entry_initial (DATALOG-API/src_docs/basic_function_inference) | Predicate | |
function_entry_name (DATALOG-API/src_docs/basic_function_inference) | Predicate | |
function_non_maintained_reg (DATALOG-API/src_docs/arch/arch) | Predicate | |
function_pointer_section (DATALOG-API/src_docs/main) | Predicate | |
function_symbol (DATALOG-API/src_docs/main) | Predicate | |
function_without_callframe (DATALOG-API/src_docs/basic_function_inference) | Predicate | |
general_purpose_reg (DATALOG-API/src_docs/arch/arch) | Predicate | |
get_pc_thunk (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
got_reference (DATALOG-API/src_docs/main) | Predicate | |
got_reference_pointer (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
got_relative_operand (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
got_section (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
gp_relative_operand (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
halt (DATALOG-API/src_docs/main) | Predicate | |
halt_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
heuristic_weight (DATALOG-API/src_docs/code_inference_weights) | Predicate | |
hi_load (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
hi_load_prop (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
ifunc_scope_score (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
ifunc_symbol_score (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
immediate_symbol (DATALOG-API/src_docs/debug_stats) | Predicate | |
impossible_block (DATALOG-API/src_docs/code_inference) | Predicate | |
impossible_jump_target (DATALOG-API/src_docs/main) | Predicate | |
in_ea (DATALOG-API/src_docs/empty_range) | Predicate | |
in_function (DATALOG-API/src_docs/basic_function_inference) | Predicate | |
in_function_initial (DATALOG-API/src_docs/basic_function_inference) | Predicate | |
incomplete_block (DATALOG-API/src_docs/noreturn) | Predicate | |
incremental_linking (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
incremental_linking_candidate (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
indefinite_litpool_ref (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
indexed_pc_relative_load (DATALOG-API/src_docs/arch/arm32_jump_tables) | Predicate | |
indexed_pc_relative_load_relative (DATALOG-API/src_docs/arch/arm32_jump_tables) | Predicate | |
indirect_call (DATALOG-API/src_docs/main) | Predicate | |
indirect_jump (DATALOG-API/src_docs/main) | Predicate | |
inferred_arch_info (DATALOG-API/src_docs/arch/arm32_symbolization) | Predicate | |
inferred_main_dispatch (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
inferred_main_function (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
inferred_main_in_reg (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
inferred_special_symbol (DATALOG-API/src_docs/symbols) | Predicate | |
inferred_symbol (DATALOG-API/src_docs/symbols) | Predicate | |
init_ldr_add_pc (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
init_symbol_minus_symbol_candidate_arm (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
initialized_data_segment (DATALOG-API/src_docs/main) | Predicate | |
instruction (DATALOG-API/src_docs/main) | Predicate | |
instruction_at (DATALOG-API/src_docs/arch/arch) | Predicate | |
instruction_cond_code (DATALOG-API/src_docs/main) | Predicate | |
instruction_displacement_offset (DATALOG-API/src_docs/main) | Predicate | |
instruction_get_dest_op (DATALOG-API/src_docs/main) | Predicate | |
instruction_get_op (DATALOG-API/src_docs/main) | Predicate | |
instruction_get_operation (DATALOG-API/src_docs/main) | Predicate | |
instruction_get_src_op (DATALOG-API/src_docs/main) | Predicate | |
instruction_has_loop_prefix (DATALOG-API/src_docs/main) | Predicate | |
instruction_has_relocation (DATALOG-API/src_docs/main) | Predicate | |
instruction_immediate_offset (DATALOG-API/src_docs/main) | Predicate | |
instruction_memory_access_size (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
instruction_op_access (DATALOG-API/src_docs/main) | Predicate | |
instruction_writeback (DATALOG-API/src_docs/main) | Predicate | |
integer_reg_param (DATALOG-API/src_docs/arch/arch) | Predicate | |
inter_procedural_edge (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
interrupt_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
interval_schedule_tie (DATALOG-API/src_docs/code_inference) | Predicate | |
invalid (DATALOG-API/src_docs/code_inference) | Predicate | |
invalid_jump_table_candidate (DATALOG-API/src_docs/jump_tables) | Predicate | |
invalid_op_code (DATALOG-API/src_docs/main) | Predicate | |
is_nop (DATALOG-API/src_docs/arch/arch) | Predicate | |
is_padding (DATALOG-API/src_docs/main) | Predicate | |
is_xor_reset (DATALOG-API/src_docs/bitmasks) | Predicate | |
it_conditional (DATALOG-API/src_docs/arch/arm32/arch_arm) | Predicate | |
jump (DATALOG-API/src_docs/arch/arch) | Predicate | |
jump_comp_operation (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
jump_comp_operation_2op (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
jump_comp_operation_3op (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
jump_condition_code (DATALOG-API/src_docs/arch/intel/jump_operations) | Predicate | |
jump_equal_operation (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
jump_equal_operation_2op (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
jump_equal_operation_3op (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
jump_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
jump_operation_may_have_cc (DATALOG-API/src_docs/arch/arm32/jump_operations) | Predicate | |
jump_operation_op_index (DATALOG-API/src_docs/arch/arch) | Predicate | |
jump_table (DATALOG-API/src_docs/cfg) | Predicate | |
jump_table_candidate (DATALOG-API/src_docs/jump_tables) | Predicate | |
jump_table_candidate_refined (DATALOG-API/src_docs/jump_tables) | Predicate | |
jump_table_element_access (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
jump_table_max (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
jump_table_prelude (DATALOG-API/src_docs/binary/pe/jump_tables) | Predicate | |
jump_table_signed (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
jump_table_start (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
jump_table_target (DATALOG-API/src_docs/jump_tables) | Predicate | |
jump_unequal_operation (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
jump_unequal_operation_2op (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
jump_unequal_operation_3op (DATALOG-API/src_docs/arch/mips32/jump_operations) | Predicate | |
known_block (DATALOG-API/src_docs/code_inference) | Predicate | |
known_code (DATALOG-API/src_docs/code_inference) | Predicate | |
label_conflict (DATALOG-API/src_docs/symbolization) | Predicate | |
labeled_data_candidate (DATALOG-API/src_docs/symbolization) | Predicate | |
labeled_ea (DATALOG-API/src_docs/symbolization) | Predicate | |
last_def_in_block (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
last_fde (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
last_fde_instruction (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
last_value_reg_limit (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
library_string_arg (DATALOG-API/src_docs/arch/arm32/arch_arm) | Predicate | |
likely_fallthrough (DATALOG-API/src_docs/code_inference) | Predicate | |
limit_reg_op (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
limit_type_map (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
litpool_boundaries (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
litpool_confidence (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
litpool_ref (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
litpool_symbolic_operand (DATALOG-API/src_docs/arch/arm32_symbolization) | Predicate | |
live_var_at_block_end (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
live_var_at_prior_used (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
live_var_def (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
live_var_used (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
live_var_used_in_block (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
lo_reloc_index (DATALOG-API/src_docs/arch/arm64_symbolization) | Predicate | |
load (DATALOG-API/src_docs/arch/arch) | Predicate | |
load_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
load_word_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
loaded_section (DATALOG-API/src_docs/main) | Predicate | |
local_next (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
logic_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
long_operation (DATALOG-API/src_docs/arch/arm32/arch_arm) | Predicate | |
loop_operation (DATALOG-API/src_docs/arch/intel/arch_x86) | Predicate | |
loop_prefix (DATALOG-API/src_docs/arch/arch) | Predicate | |
low_pass_filter (DATALOG-API/src_docs/bitmasks) | Predicate | |
low_pass_mask (DATALOG-API/src_docs/bitmasks) | Predicate | |
lsda (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
lsda_callsite (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
lsda_callsite_addresses (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
lsda_pointer_locations (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
lsda_symbol_minus_symbol (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
lsda_type_entry (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
main_function (DATALOG-API/src_docs/main) | Predicate | |
max_instruction_size (DATALOG-API/src_docs/code_inference) | Predicate | |
may_fallthrough (DATALOG-API/src_docs/code_inference) | Predicate | |
may_have_symbolic_immediate (DATALOG-API/src_docs/code_inference) | Predicate | |
memory_access (DATALOG-API/src_docs/arch/arch) | Predicate | |
memory_access_aggregated (DATALOG-API/src_docs/arch/arch) | Predicate | |
merged_data_region (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
mips_stubs_entry (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
mips_stubs_section (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
misaligned_fde_start (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
missed_jump_table (DATALOG-API/src_docs/debug_stats) | Predicate | |
missing_relocation_handling (DATALOG-API/src_docs/debug_stats) | Predicate | |
missing_weight (DATALOG-API/src_docs/debug_stats) | Predicate | |
mode_min_instruction_size (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
move (DATALOG-API/src_docs/arch/arch) | Predicate | |
move_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
move_reg_imm (DATALOG-API/src_docs/arch/arch) | Predicate | |
move_reg_reg (DATALOG-API/src_docs/arch/arch) | Predicate | |
moved_data_label (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
moved_displacement_candidate (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
moved_immediate_candidate (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
moved_label (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
moved_label_candidate (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
moved_label_class (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
moved_pc_relative_candidate (DATALOG-API/src_docs/pointer_reattribution) | Predicate | |
moves_limit (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
movw_movt (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
movw_movt_pair (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
multiple_fallthrough_to (DATALOG-API/src_docs/code_inference) | Predicate | |
multiplication_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
must_def (DATALOG-API/src_docs/basic_def_used) | Predicate | |
must_fallthrough (DATALOG-API/src_docs/code_inference) | Predicate | |
negative_block_heuristic (DATALOG-API/src_docs/code_inference) | Predicate | |
next (DATALOG-API/src_docs/main) | Predicate | |
next_address_in_data (DATALOG-API/src_docs/symbolization) | Predicate | |
next_block_in_byte_interval (DATALOG-API/src_docs/code_inference) | Predicate | |
next_data_access (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
next_data_limit (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
next_dyssynchronous_data_access (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
next_refined_block_in_byte_interval (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
no_overlap (DATALOG-API/src_docs/empty_range) | Predicate | |
no_return_block (DATALOG-API/src_docs/noreturn) | Predicate | |
no_return_call (DATALOG-API/src_docs/main) | Predicate | |
no_return_call_propagated (DATALOG-API/src_docs/noreturn) | Predicate | |
no_return_call_refined (DATALOG-API/src_docs/noreturn) | Predicate | |
no_return_function (DATALOG-API/src_docs/main) | Predicate | |
no_value_reg_limit (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
non_mult_shift (DATALOG-API/src_docs/arch/arm32/memory_access) | Predicate | |
non_mult_shift_type (DATALOG-API/src_docs/arch/arm32/memory_access) | Predicate | |
non_zero_data_section (DATALOG-API/src_docs/main) | Predicate | |
nop_block (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
nop_in_padding_candidate (DATALOG-API/src_docs/code_inference) | Predicate | |
not_in_function_initial (DATALOG-API/src_docs/basic_function_inference) | Predicate | |
npad (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
op_access_override (DATALOG-API/src_docs/arch/arch) | Predicate | |
op_fp_immediate (DATALOG-API/src_docs/main) | Predicate | |
op_immediate (DATALOG-API/src_docs/main) | Predicate | |
op_immediate_and_reg (DATALOG-API/src_docs/main) | Predicate | |
op_indirect (DATALOG-API/src_docs/main) | Predicate | |
op_indirect_contains_reg (DATALOG-API/src_docs/main) | Predicate | |
op_indirect_mapped (DATALOG-API/src_docs/main) | Predicate | |
op_regdirect (DATALOG-API/src_docs/main) | Predicate | |
op_regdirect_contains_reg (DATALOG-API/src_docs/main) | Predicate | |
op_register_bitfield (DATALOG-API/src_docs/main) | Predicate | |
op_shifted (DATALOG-API/src_docs/main) | Predicate | |
op_shifted_w_reg (DATALOG-API/src_docs/main) | Predicate | |
op_special (DATALOG-API/src_docs/main) | Predicate | |
operation_alignment_required (DATALOG-API/src_docs/arch/intel/arch_x86) | Predicate | |
option (DATALOG-API/src_docs/main) | Predicate | |
overlap (DATALOG-API/src_docs/empty_range) | Predicate | |
overlap_with_litpool (DATALOG-API/src_docs/arch/arm32_code_inference) | Predicate | |
overlapping_instruction (DATALOG-API/src_docs/code_inference) | Predicate | |
padded_rel_addr_start (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
padding (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
padding_block_candidate (DATALOG-API/src_docs/code_inference) | Predicate | |
padding_block_limit (DATALOG-API/src_docs/code_inference) | Predicate | |
padding_prefix (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
padding_prefix_end (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
pc_load_call (DATALOG-API/src_docs/main) | Predicate | |
pc_reg (DATALOG-API/src_docs/arch/arch) | Predicate | |
pc_relative_addr (DATALOG-API/src_docs/arch/arch) | Predicate | |
pc_relative_call (DATALOG-API/src_docs/main) | Predicate | |
pc_relative_disp (DATALOG-API/src_docs/arch/arm32/arch_arm) | Predicate | |
pc_relative_jump (DATALOG-API/src_docs/main) | Predicate | |
pc_relative_operand (DATALOG-API/src_docs/main) | Predicate | |
pe_data_directory (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
pe_debug_data (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
pe_exception_handler (DATALOG-API/src_docs/binary/pe/exceptions) | Predicate | |
pe_export_entry (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
pe_import_entry (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
pe_load_config (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
pe_relocation_size (DATALOG-API/src_docs/binary/pe/relocations) | Predicate | |
pe_section_characteristics (DATALOG-API/src_docs/binary/pe/pe_binaries) | Predicate | |
plt_block (DATALOG-API/src_docs/main) | Predicate | |
plt_bx_pc (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
plt_entry (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
plt_entry_arm_candidate (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
plt_entry_candidate (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
plt_section (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
pointer_size (DATALOG-API/src_docs/arch/arch) | Predicate | |
pointer_to_external_symbol (DATALOG-API/src_docs/cfg) | Predicate | |
possible_ea (DATALOG-API/src_docs/code_inference) | Predicate | |
possible_rva_operand (DATALOG-API/src_docs/binary/pe/symbolization) | Predicate | |
possible_target (DATALOG-API/src_docs/code_inference) | Predicate | |
possible_target_from (DATALOG-API/src_docs/code_inference) | Predicate | |
preferred_data_access (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
printable_char (DATALOG-API/src_docs/main) | Predicate | |
ref_in_block (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
refined_block (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
refined_block_control_instruction (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
refined_block_last_instruction (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
reg_arithmetic_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
reg_call (DATALOG-API/src_docs/main) | Predicate | |
reg_has_base_image (DATALOG-API/src_docs/binary/pe/symbolization) | Predicate | |
reg_has_got (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
reg_has_tib (DATALOG-API/src_docs/binary/pe/exceptions) | Predicate | |
reg_imm_bitwise_binary_op (DATALOG-API/src_docs/arch/arch) | Predicate | |
reg_index (DATALOG-API/src_docs/arch/arm32/registers) | Predicate | |
reg_jump (DATALOG-API/src_docs/main) | Predicate | |
reg_map (DATALOG-API/src_docs/main) | Predicate | |
reg_map_nullable (DATALOG-API/src_docs/main) | Predicate | |
reg_map_rule (DATALOG-API/src_docs/arch/arch) | Predicate | |
reg_nonnull (DATALOG-API/src_docs/main) | Predicate | |
reg_reg_arithmetic_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
reg_reg_arithmetic_operation_defs (DATALOG-API/src_docs/value_analysis) | Predicate | |
reg_reg_bitwise_binary_op (DATALOG-API/src_docs/arch/arch) | Predicate | |
reg_relative_load (DATALOG-API/src_docs/arch/arch) | Predicate | |
reg_used_for (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
register_access (DATALOG-API/src_docs/main) | Predicate | |
register_access_override (DATALOG-API/src_docs/arch/arch) | Predicate | |
register_size_bytes (DATALOG-API/src_docs/arch/arch) | Predicate | |
regular_data_section (DATALOG-API/src_docs/main) | Predicate | |
relative_address (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
relative_address_start (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
relative_jump_table_entry (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
relative_jump_table_entry_candidate (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
relative_jump_table_entry_target (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
reloc_type_nameless (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
reloc_type_relpc (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
reloc_type_with_name (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
relocation (DATALOG-API/src_docs/main) | Predicate | |
relocation_active_symbol_table (DATALOG-API/src_docs/main) | Predicate | |
relocation_adjustment (DATALOG-API/src_docs/main) | Predicate | |
relocation_adjustment_total (DATALOG-API/src_docs/main) | Predicate | |
relocation_in_operand (DATALOG-API/src_docs/self_diagnose) | Predicate | |
relocation_size (DATALOG-API/src_docs/main) | Predicate | |
repeated_byte (DATALOG-API/src_docs/data) | Predicate | |
resolved_reaches (DATALOG-API/src_docs/code_inference) | Predicate | |
resolved_transfer (DATALOG-API/src_docs/cfg) | Predicate | |
resolved_transfer_to_symbol (DATALOG-API/src_docs/cfg) | Predicate | |
return (DATALOG-API/src_docs/arch/arch) | Predicate | |
return_block_end (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
return_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
return_reg (DATALOG-API/src_docs/arch/arch) | Predicate | |
return_val_used (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
section (DATALOG-API/src_docs/main) | Predicate | |
section_property (DATALOG-API/src_docs/main) | Predicate | |
section_type (DATALOG-API/src_docs/main) | Predicate | |
segment_target_range (DATALOG-API/src_docs/noreturn) | Predicate | |
seh_handler_entry (DATALOG-API/src_docs/binary/pe/exceptions) | Predicate | |
seh_handler_table (DATALOG-API/src_docs/binary/pe/exceptions) | Predicate | |
self_contained_segment (DATALOG-API/src_docs/noreturn) | Predicate | |
shift_rotate_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
simple_data_access_pattern (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
simple_data_load (DATALOG-API/src_docs/arch/arch) | Predicate | |
special_data_section (DATALOG-API/src_docs/main) | Predicate | |
special_encoding (DATALOG-API/src_docs/binary/elf/elf_binaries) | Predicate | |
split_block (DATALOG-API/src_docs/code_inference_postprocess) | Predicate | |
split_load (DATALOG-API/src_docs/arch/arm64_symbolization) | Predicate | |
split_load (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
split_load_candidate (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
split_load_conflict (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
split_load_for_symbolization (DATALOG-API/src_docs/arch/arm64_symbolization) | Predicate | |
split_load_operand (DATALOG-API/src_docs/main) | Predicate | |
split_load_point (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
split_load_tail (DATALOG-API/src_docs/arch/arm64_symbolization) | Predicate | |
split_load_total_points (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
split_loadstore (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
stack_base_reg_move (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
stack_pointer (DATALOG-API/src_docs/arch/arch) | Predicate | |
start_function (DATALOG-API/src_docs/binary/elf/symbolization) | Predicate | |
step_limit (DATALOG-API/src_docs/value_analysis) | Predicate | |
step_limit_small (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
store (DATALOG-API/src_docs/arch/arch) | Predicate | |
store_immediate (DATALOG-API/src_docs/arch/arch) | Predicate | |
store_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
straight_line_def_needed (DATALOG-API/src_docs/straight_line_def_used) | Predicate | |
straight_line_def_used (DATALOG-API/src_docs/straight_line_def_used) | Predicate | |
straight_line_last_def (DATALOG-API/src_docs/straight_line_def_used) | Predicate | |
string (DATALOG-API/src_docs/symbolization) | Predicate | |
string_candidate (DATALOG-API/src_docs/symbolization) | Predicate | |
string_candidate_refined (DATALOG-API/src_docs/symbolization) | Predicate | |
symbol (DATALOG-API/src_docs/main) | Predicate | |
symbol_at_end (DATALOG-API/src_docs/symbols) | Predicate | |
symbol_at_section_end (DATALOG-API/src_docs/symbols) | Predicate | |
symbol_before_section_beg (DATALOG-API/src_docs/symbols) | Predicate | |
symbol_minus_symbol (DATALOG-API/src_docs/symbolization) | Predicate | |
symbol_minus_symbol_candidate (DATALOG-API/src_docs/symbolization) | Predicate | |
symbol_minus_symbol_candidate_arm (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
symbol_minus_symbol_from_relocation (DATALOG-API/src_docs/symbolization) | Predicate | |
symbol_minus_symbol_litpool_access_pattern (DATALOG-API/src_docs/arch/arm32_symbolization) | Predicate | |
symbol_scope_score (DATALOG-API/src_docs/symbols) | Predicate | |
symbol_score (DATALOG-API/src_docs/symbols) | Predicate | |
symbol_set (DATALOG-API/src_docs/main) | Predicate | |
symbol_special_encoding (DATALOG-API/src_docs/binary/elf/exceptions) | Predicate | |
symbol_type_score (DATALOG-API/src_docs/symbols) | Predicate | |
symbol_visibility_score (DATALOG-API/src_docs/symbols) | Predicate | |
symbolic_data (DATALOG-API/src_docs/symbolization) | Predicate | |
symbolic_expr (DATALOG-API/src_docs/symbolization) | Predicate | |
symbolic_expr_attribute (DATALOG-API/src_docs/symbolization) | Predicate | |
symbolic_expr_from_relocation (DATALOG-API/src_docs/symbolization) | Predicate | |
symbolic_expr_symbol_minus_symbol (DATALOG-API/src_docs/symbolization) | Predicate | |
symbolic_operand (DATALOG-API/src_docs/symbolization) | Predicate | |
symbolic_operand_attribute (DATALOG-API/src_docs/symbolization) | Predicate | |
symbolic_operand_candidate (DATALOG-API/src_docs/symbolization) | Predicate | |
symbolic_operand_mips_candidate (DATALOG-API/src_docs/arch/mips_symbolization) | Predicate | |
symbolic_operand_point (DATALOG-API/src_docs/symbolization) | Predicate | |
symbolic_operand_total_points (DATALOG-API/src_docs/symbolization) | Predicate | |
synchronous_access (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
synchronous_access_barrier (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
synchronous_access_barrier_after_access (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
syscall_operation (DATALOG-API/src_docs/arch/arch) | Predicate | |
take_address (DATALOG-API/src_docs/relative_jump_tables) | Predicate | |
test_jump_operation (DATALOG-API/src_docs/arch/arm64/jump_operations) | Predicate | |
thumb_jumptable_instruction (DATALOG-API/src_docs/arch/arm32_jump_tables) | Predicate | |
thumb_sym (DATALOG-API/src_docs/arch/arm32_binaries) | Predicate | |
tls_desc_call (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
tls_descriptor (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
tls_get_addr (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
tls_global_dynamic (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
tls_index (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
tls_local_dynamic (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
tls_operand_attribute (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
tls_relative_operand (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
tls_section (DATALOG-API/src_docs/main) | Predicate | |
tls_segment (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
tls_segment_register (DATALOG-API/src_docs/binary/elf/tls) | Predicate | |
track_register (DATALOG-API/src_docs/basic_def_used) | Predicate | |
trivial_relocation (DATALOG-API/src_docs/self_diagnose) | Predicate | |
unaligned_pointer (DATALOG-API/src_docs/debug_stats) | Predicate | |
unconditional_jump (DATALOG-API/src_docs/main) | Predicate | |
unconditional_return (DATALOG-API/src_docs/main) | Predicate | |
unexpected_negative_heuristic_weight (DATALOG-API/src_docs/debug_stats) | Predicate | |
unlikely_have_symbolic_immediate (DATALOG-API/src_docs/code_inference) | Predicate | |
unresolved_block (DATALOG-API/src_docs/code_inference) | Predicate | |
unresolved_block_overlap (DATALOG-API/src_docs/code_inference) | Predicate | |
unresolved_interval (DATALOG-API/src_docs/code_inference) | Predicate | |
unresolved_interval_best_block (DATALOG-API/src_docs/code_inference) | Predicate | |
unresolved_interval_order (DATALOG-API/src_docs/code_inference) | Predicate | |
used (DATALOG-API/src_docs/basic_def_used) | Predicate | |
used_explicit (DATALOG-API/src_docs/basic_def_used) | Predicate | |
used_in_block (DATALOG-API/src_docs/use_def_analysis) | Predicate | |
user_heuristic_weight (DATALOG-API/src_docs/code_inference_weights) | Predicate | |
value_reg (DATALOG-API/src_docs/value_analysis) | Predicate | |
value_reg_at_operand (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
value_reg_at_operand_loop (DATALOG-API/src_docs/data_access_analysis) | Predicate | |
value_reg_edge (DATALOG-API/src_docs/value_analysis) | Predicate | |
value_reg_limit (DATALOG-API/src_docs/boundary_value_analysis) | Predicate | |
value_reg_max_mult (DATALOG-API/src_docs/value_analysis) | Predicate | |
value_reg_unsupported (DATALOG-API/src_docs/value_analysis) | Predicate | |
wis_has_prior (DATALOG-API/src_docs/code_inference) | Predicate | |
wis_memo (DATALOG-API/src_docs/code_inference) | Predicate | |
wis_prior (DATALOG-API/src_docs/code_inference) | Predicate | |
wis_schedule (DATALOG-API/src_docs/code_inference) | Predicate | |
wis_schedule_iter (DATALOG-API/src_docs/code_inference) | Predicate | |
zero_reg (DATALOG-API/src_docs/arch/arch) | Predicate | |
zero_relocation (DATALOG-API/src_docs/self_diagnose) | Predicate |