Module Client

Client connects immediately to the unix socket supplied by environment variable GTIRB_SEM_SOCKET

Otherwise the default ./aslp_rpc_socket

val set_addr : filename:string -> unit

Set the address (unix socket filename) to connect to (must be called before first call to lift) Overrides the environment variable.

val shutdown_server : unit -> unit Lwt.t

Send server the shutdown message

val lift_one : opcode_be:string -> int -> Aslp_common.Common.opcode_sem

Lift a single opcode

  • parameter opcode_be

    the opcode in the format "0xffffff" (big endian)

  • parameter int

    the pc address of the opcode

val lift_multi : opcodes:(string * int) list -> Aslp_common.Common.opcode_sem list Lwt.t

Lift a batch of (opcode, pc-address) pairs and return a list of the corresponding results in order.

Opcodes are supplied in the 0xffffff big-endian form.