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 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.
operating system has performed context switching to a provided thread (process) id.
val syscall : syscall Bap.Std.taga system call has occured
val exn : exn Bap.Std.taga software exception has occured.
val call : call Bap.Std.taga control flow transfer from one procedure to another has occured
val return : return Bap.Std.taga return from a call has occured
val modload : modload Bap.Std.taga module (shared library) is dynamically linked into a host program.