Types of events.
val memory_load : Bap.Std.addr move Bap.Std.tagan read access to a memory cell
val memory_store : Bap.Std.addr move Bap.Std.taga write access to a memory cell
val register_read : Bap.Std.var move Bap.Std.taga value was read from a given register
val register_write : Bap.Std.var move Bap.Std.taga value is written to the specified register
val timestamp : int64 Bap.Std.tagthis event can used to synchronize traces
val pc_update : Bap.Std.addr Bap.Std.tagCPU PC register changed its value
val code_exec : chunk Bap.Std.tagCPU loaded this memory chunk for execution. This event occurs just before the execution. All side effects of the code execution occurs after this event.
val context_switch : int Bap.Std.tagoperating system has performed context switching to a provided thread (process) id.
val syscall : syscall Bap.Std.taga system call has occurred
val exn : exn Bap.Std.taga software exception has occurred.
val call : call Bap.Std.taga control flow transfer from one procedure to another has occurred
val return : return Bap.Std.taga return from a call has occurred
val modload : modload Bap.Std.taga module (shared library) is dynamically linked into a host program.