debug_stats

discarded_aligned_pointer(ea:address)

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

discarded_aligned_pointer_to_text(ea:address)

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

unaligned_pointer(ea:address)

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

immediate_symbol(ea:address, op_index:operand_index, dest:address)

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

missed_jump_table(EA_jump:address)

• Uses: arch.reg_reg_arithmetic_operation, code_in_block, jump_table_start, reg_call, reg_def_use.def_used, reg_jump

missing_relocation_handling(EA:address)

Relocations that did not turn out to be symbolized, i.e. possible false negatives.

• Uses: got_reference, relocation, symbolic_expr

missing_weight(HeuristicName:symbol)

This predicate detects block_heuristics that do not have a defined weight. This indicates an implementation mistake.

• Uses: block_heuristic, heuristic_weight, negative_block_heuristic

unexpected_negative_heuristic_weight(HeuristicName:symbol, UserWeight:number)

Check that users do not set negative weights to positive heuristics. Negative weights for positive heuristics will only take effect for blocks that are not resolved, whereas regular negative heuristics will set all matching blocks as unresolved.

• Uses: default_heuristic_weight, user_heuristic_weight