Std.Ida
Interaction with ida instance
exception External_command_failed occurs when the external IDA command was not executed successfully
type t = ida
IDA instance
val create : string -> t
create target
create an IDA instance that will work with target
executable.
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