Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/WilfredTA/ser
/ functions
Functions
255 in github.com/WilfredTA/ser
⨍
Functions
255
◇
Types & classes
43
↓ 177 callers
Method
pc
(&self)
src/machine.rs:350
↓ 138 callers
Method
as_ref
(&self)
src/conversion/mod.rs:117
↓ 83 callers
Method
byte_size
(&self)
src/instruction/mod.rs:214
↓ 48 callers
Method
stack
(&self)
src/machine.rs:354
↓ 33 callers
Function
ctx
()
src/smt/mod.rs:36
↓ 29 callers
Method
simplify
(&mut self)
src/smt/bitvec/mod.rs:44
↓ 22 callers
Method
peek_top
(&self)
src/stack.rs:88
↓ 22 callers
Method
push
(&mut self, val: BitVec<SZ>)
src/stack.rs:18
↓ 19 callers
Method
insert
(&mut self, tree: impl Into<StateTree<'ctx>>)
src/state/tree.rs:156
↓ 17 callers
Function
bvi
(val: impl Into<i32>)
src/lib.rs:26
↓ 16 callers
Function
exec_dup_nth
(mach: &EvmState, n: usize)
src/instruction/mod.rs:183
↓ 16 callers
Function
exec_swap_nth
(mach: &EvmState, n: usize)
src/instruction/mod.rs:197
↓ 15 callers
Method
into_iter
(self)
src/state/tree.rs:416
↓ 13 callers
Method
peek
(&self)
src/stack.rs:29
↓ 12 callers
Method
get
(&self, pc: usize)
src/parser.rs:543
↓ 12 callers
Method
parse
(&self)
src/parser.rs:21
↓ 10 callers
Method
exec
(&mut self)
src/machine.rs:214
↓ 10 callers
Method
id
(&self)
src/state/tree.rs:29
↓ 8 callers
Method
leaves
(&self)
src/state/tree.rs:308
↓ 8 callers
Method
pop
(&mut self)
src/stack.rs:23
↓ 8 callers
Method
push
(&mut self, val: EvmState, constraint: Bool<'ctx>)
src/state/tree.rs:361
↓ 7 callers
Method
get_size
(&self)
src/parser.rs:547
↓ 7 callers
Method
peek_nth
where n = 0 is top of the stack
src/stack.rs:43
↓ 6 callers
Method
set_left
(mut self, left: NodeId)
src/exec/mod.rs:55
↓ 5 callers
Method
curr_instruction
(&self)
src/state/evm.rs:85
↓ 5 callers
Method
set_pc
(&mut self, new_pc: usize)
src/state/evm.rs:65
↓ 4 callers
Method
can_continue
(&self)
src/state/evm.rs:82
↓ 4 callers
Method
insert_left_of
(&mut self, tree: impl Into<StateTree<'ctx>>, id: Uuid)
src/state/tree.rs:281
↓ 4 callers
Function
random_bv_arg
()
src/lib.rs:40
↓ 3 callers
Method
apply_change
(&mut self, rec: Self::Record)
src/stack.rs:100
↓ 3 callers
Method
apply_change
(&mut self, rec: Self::Record)
src/state/evm.rs:34
↓ 3 callers
Function
bvc
(val: impl AsRef<str>)
src/lib.rs:37
↓ 3 callers
Method
exec
(&self, mach: &EvmState, env: &ExecutionEnv)
src/instruction/mod.rs:255
↓ 3 callers
Method
m_size
(&self)
src/memory.rs:68
↓ 3 callers
Method
mem
(&self)
src/machine.rs:366
↓ 3 callers
Method
mem_read
(&self, idx: Index)
src/machine.rs:374
↓ 3 callers
Function
push_op
(sz: u8, val: &[u8])
src/parser.rs:163
↓ 3 callers
Function
push_size
(b: u8)
src/parser.rs:137
↓ 3 callers
Method
read
(&self, idx: Index)
src/memory.rs:77
↓ 3 callers
Method
set_right
(mut self, right: NodeId)
src/exec/mod.rs:59
↓ 3 callers
Method
size
(&self)
src/stack.rs:37
↓ 3 callers
Method
sstore
(&mut self, index: BitVec<32>, val: StorageValue)
src/storage.rs:32
↓ 2 callers
Function
bitvec_array_to_bv
(value: Vec<BitVec<1>>)
src/conversion/mod.rs:93
↓ 2 callers
Function
call_value
()
src/state/env.rs:50
↓ 2 callers
Function
dup_op
(sz: u8)
src/parser.rs:338
↓ 2 callers
Function
dup_size
(b: u8)
src/parser.rs:122
↓ 2 callers
Method
get
(&self, addr: &Address)
src/storage.rs:61
↓ 2 callers
Method
insert_right_of
(&mut self, tree: impl Into<StateTree<'ctx>>, id: Uuid)
src/state/tree.rs:301
↓ 2 callers
Function
is_dup
(b: u8)
src/parser.rs:110
↓ 2 callers
Function
is_push
(b: u8)
src/parser.rs:118
↓ 2 callers
Function
is_swap
(b: u8)
src/parser.rs:114
↓ 2 callers
Function
push32
(v: BitVec<32>)
src/instruction/mod.rs:1897
↓ 2 callers
Method
read_word
(&self, idx: Index)
src/memory.rs:95
↓ 2 callers
Method
size
(&self)
src/memory.rs:64
↓ 2 callers
Method
step_from_mut
(&mut self, node_id: &NodeId, env: &ExecutionEnv)
src/exec/mod.rs:159
↓ 2 callers
Method
swap_nth
where n is stack modulo top element;
src/stack.rs:51
↓ 2 callers
Function
swap_op
(sz: u8)
src/parser.rs:316
↓ 2 callers
Function
swap_size
(b: u8)
src/parser.rs:130
↓ 2 callers
Method
write_word
(&mut self, idx: Index, word: BitVec<32>)
src/memory.rs:125
↓ 1 callers
Function
balance
We add an extra argument here because the balance of an address is not necessarily the same during every step of a contract's execution.
src/state/env.rs:146
↓ 1 callers
Function
block_hash
()
src/state/env.rs:100
↓ 1 callers
Function
call_data_load
()
src/state/env.rs:27
↓ 1 callers
Function
call_data_size
()
src/state/env.rs:55
↓ 1 callers
Method
calldataload
(&self, offset: &BitVec<32>)
src/state/context.rs:74
↓ 1 callers
Method
calldatasize
(&self)
src/state/context.rs:65
↓ 1 callers
Function
caller
()
src/state/env.rs:60
↓ 1 callers
Method
caller
(&self)
src/state/context.rs:53
↓ 1 callers
Function
chain_id
Note: Some of these functions in EVM have no arguments. The reason they are passed an argument here is because a zero argument function is mat
src/state/env.rs:23
↓ 1 callers
Function
coinbase
()
src/state/env.rs:95
↓ 1 callers
Method
curr_inst_debug
(&self)
src/state/evm.rs:90
↓ 1 callers
Method
current
(&self)
src/smt/mod.rs:31
↓ 1 callers
Function
difficulty
()
src/state/env.rs:130
↓ 1 callers
Function
dup1
()
src/instruction/mod.rs:1752
↓ 1 callers
Function
dup10
()
src/instruction/mod.rs:1779
↓ 1 callers
Function
dup11
()
src/instruction/mod.rs:1782
↓ 1 callers
Function
dup12
()
src/instruction/mod.rs:1785
↓ 1 callers
Function
dup13
()
src/instruction/mod.rs:1788
↓ 1 callers
Function
dup14
()
src/instruction/mod.rs:1791
↓ 1 callers
Function
dup15
()
src/instruction/mod.rs:1794
↓ 1 callers
Function
dup16
()
src/instruction/mod.rs:1797
↓ 1 callers
Function
dup2
()
src/instruction/mod.rs:1755
↓ 1 callers
Function
dup3
()
src/instruction/mod.rs:1758
↓ 1 callers
Function
dup4
()
src/instruction/mod.rs:1761
↓ 1 callers
Function
dup5
()
src/instruction/mod.rs:1764
↓ 1 callers
Function
dup6
()
src/instruction/mod.rs:1767
↓ 1 callers
Function
dup7
()
src/instruction/mod.rs:1770
↓ 1 callers
Function
dup8
()
src/instruction/mod.rs:1773
↓ 1 callers
Function
dup9
()
src/instruction/mod.rs:1776
↓ 1 callers
Method
find_by_id
(&self, id: &NodeId)
src/state/tree.rs:168
↓ 1 callers
Function
gas
Takes random bitvec as argument so that gas is not treated as a constant function.
src/state/env.rs:75
↓ 1 callers
Function
gas_lim
()
src/state/env.rs:85
↓ 1 callers
Function
gas_price
()
src/state/env.rs:90
↓ 1 callers
Method
halted_left
(&self)
src/exec/mod.rs:36
↓ 1 callers
Method
halted_right
(&self)
src/exec/mod.rs:40
↓ 1 callers
Method
insert_left_helper
( &mut self, tree: &StateTree<'ctx>, id: Uuid, )
src/state/tree.rs:186
↓ 1 callers
Method
insert_right_helper_iterative
(&mut self, tree: impl Into<StateTree<'ctx>>, id: Uuid)
src/state/tree.rs:247
↓ 1 callers
Method
left_id
(&self)
src/exec/mod.rs:47
↓ 1 callers
Method
memory
(&self)
src/memory.rs:61
↓ 1 callers
Function
origin
()
src/state/env.rs:65
↓ 1 callers
Function
parse_dup
(byte: u8)
src/parser.rs:102
next →
1–100 of 255, ranked by callers