Plugins

Core

will_fork_state_callback(self, state, expression, solutions, policy)
did_fork_state_callback(self, new_state, expression, new_value, policy)
will_load_state_callback(self, state_id)
did_load_state_callback(self, state, state_id)
will_run_callback(self, ready_states)
did_run_callback(self)

Worker

will_start_worker_callback(self, workerid)
will_terminate_state_callback(self, current_state, exception)
did_terminate_state_callback(self, current_state, exception)
will_kill_state_callback(self, current_state, exception)
did_sill_state_callback(self, current_state, exception)
did_terminate_worker_callback(self, workerid)

EVM

will_decode_instruction_callback(self, pc)
will_evm_execute_instruction_callback(self, instruction, args)
did_evm_execute_instruction_callback(self, last_unstruction, last_arguments, result)
did_evm_read_memory_callback(self, offset, operators)
did_evm_write_memory_callback(self, offset, operators)
on_symbolic_sha3_callback(self, data, know_sha3)
on_concreate_sha3_callback(self, data, value)
did_evm_read_code_callback(self, code_offset, size)
will_evm_read_storage_callback(self, storage_address, offset)
did_evm_read_storage_callback(self, storage_address, offset, value)
will_evm_write_storage_callback(self, storage_address, offset, value)
did_evm_write_storage_callback(self, storage_address, offset, value)
will_open_transaction_callback(self, tx)
did_open_transaction_callback(self, tx)
will_close_transaction_callback(self, tx)
did_close_transaction_callback(self, tx)

memory

will_map_memory_callback(self, addr, size, perms, filename, offset)
did_map_memory_callback(self, addr, size, perms, filename, offset, addr) # little confused on this one
will_map_memory_callback(self, addr, size, perms, None, None)
did_map_memory_callback(self, addr, size, perms, None, None, addr)
will_unmap_memory_callback(self, start, size)
did_unmap_memory_callback(self, start, size)
will_protect_memory_callback(self, start, size, perms)
did_protect_memory_callback(self, addr, size, perms, filename, offset)

abstractcpu

will_execute_syscall_callback(self, model)
did_execute_syscall_callback(self, func_name, args, ret)
will_write_register_callback(self, register, value)
did_write_register_callback(self, register, value)
will_read_register_callback(self, register)
did_read_register_callback(self, register, value)
will_write_memory_callback(self, where, expression, size)
did_write_memory_callback(self, where, expression, size)
will_read_memory_callback(self, where, size)
did_read_memory_callback(self, where, size)
did_write_memory_callback(self, where, data, num_bits) # iffy
will_decode_instruction_callback(self, pc)
will_execute_instruction_callback(self, pc, insn)
did_execute_instruction_callback(self, last_pc, pc, insn)

x86

will_set_descriptor_callback(self, selector, base, limit, perms)
did_set_descriptor_callback(self, selector, base, limit, perms)