Module `Bap_ida.Std`

IDA integration.

This module provides for a interface to ingegrate with IDA, by running IDA in batch mode, obtain database, run script on database.

Plugins can be written to provide this service, or to use the service provided by other plugins (usually provided by plugins/ida) through this interface.

type ida

type 'a command

module Ida : sig ... end

Interaction with ida instance

module Command : sig ... end

Commands that can be passed into an IDA session

module Service : sig ... end

Allow plugins to specify that they can provide IDA service