Module BCHDisassembleARM

val disassemble_arm_section : BCHLibTypes.doubleword_int -> string -> unit
val disassemble_arm_sections : unit -> unit
val set_block_boundaries : unit -> unit

Set block markers in the assembly instructions. Only used externally in the unit tests.

val record_call_targets_arm : unit -> unit

Record the call targets based on call instructions. Only used externally in the unit tests.

val collect_function_entry_points : unit -> BCHLibTypes.doubleword_int list
val associate_condition_code_users : unit -> unit

Associate condition codes in test instructions to condition code used by conditional instructions. Only used externally in the unit tests

val construct_functions_arm : ?construct_all_functions:bool -> unit -> unit

Constructs functions starting from function entry points found.

The default value of the optional argument construct_all_functions is false. This is relevant only in the case when only a limited number of functions are being analyzed (as specifified on the commandline with fns_included. By default only those functions are constructed. If construct_all_functions is true then functions for all function entry points are constructed.