self_diagnose

relocation_in_operand(EA:address, Index:operand_index, Rel:address, InsnOffset:unsigned)

trivial_relocation(EA:address)

bad_symbol_constant(EA:address, cnt:number)

false_negative_symexpr(EA:address, Location:address, Type:symbol)

Potentially false-positive / false-negative symbolic operand or data

EA: The address of instruction or data object containing FP/FN symbolic expression Location: The exact address of FP/FN symbolic expression within instruction or data Type: code or data

Uses: instruction_displacement_offset, instruction_immediate_offset, loaded_section, moved_label, regular_data_section, relocation, relocation_in_operand, symbol_minus_symbol, symbolic_data, symbolic_operand, trivial_relocation, zero_relocation

false_positive_symexpr(EA:address, Location:address, Type:symbol)

zero_relocation(EA:address)

abs_val(Input:number, Output:number)

Output is the absolute value of Input.

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

moved_label_with_large_offset(EA:address, Offset:number, Reason:symbol)

Moved labels with large offset (> 64), which are likely false positives.

moved_label_with_large_offset: symbolic operand in instruction moved_data_label_with_large_offset: symbolic expression in data

Uses: moved_label, moved_label_class, pc_relative_operand

moved_data_label_with_large_offset(EA:address, Offset:number, Reason:symbol)