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)