Module Std.Ida

Interaction with ida instance

exception Failed of string

exception External_command_failed occurs when the external IDA command was not executed successfully

exception Not_in_path
type t = ida

IDA instance

val create : string -> t

create target create an IDA instance that will work with target executable.

val exec : t -> 'a command -> 'a

exec ida command execute the given command.

val close : t -> unit

close ida finish interaction with IDA and clean all resources

val with_file : string -> 'a command -> 'a

with_file target analysis creates ida instance on target, perform analysis and close ida