Module Std.Command

Commands that can be passed into an IDA session

type 'a t = 'a command
type language = [
| `python
| `idc
]
val create : language -> script:string -> parser:( string -> 'a ) -> 'a t

create lang ~script ~parser create a command that will execute a script, written in a given language, at then parse the output using the specified parser function.

If a script needs to output information, it must use a filename $output (that will be substituted with the real file name).

The parse name will get the name of the output file, so that it can read and parse it.

val language : 'a t -> language

language command is a script language

val script : 'a t -> string

script command the script text

val parser : 'a t -> string -> 'a

parser command the associated parser function.