Functions — github.com/RUB-SysSec/EthBMC

hub / github.com/RUB-SysSec/EthBMC / functions

Functions576 in github.com/RUB-SysSec/EthBMC

⨍ Functions 576◇ Types & classes 85

↓ 236 callersFunctionconst_usize

(a: usize)

esvm/src/se/expr/bval.rs:601

↓ 125 callersMethodpush

(&mut self, v: BVal)

esvm/src/se/symbolic_state.rs:616

↓ 121 callersMethodinto

(self)

esvm/src/se/env.rs:1079

↓ 50 callersFunctionadd

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:502

↓ 48 callersFunctioneql

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:547

↓ 47 callersMethodget_state_by_id

(&self, id: usize)

esvm/src/se/symbolic_graph.rs:425

↓ 37 callersMethodpush_constraint

(&mut self, v: BVal)

esvm/src/se/symbolic_state.rs:620

↓ 37 callersFunctionzero

()

esvm/src/se/expr/bval.rs:614

↓ 34 callersMethodcreate_succ

(&self)

esvm/src/se/symbolic_state.rs:281

↓ 34 callersFunctionnew_bval

(val: Val256)

esvm/src/se/expr/bval.rs:480

↓ 33 callersFunctionconst_u256

(a: U256)

esvm/src/se/expr/bval.rs:593

↓ 33 callersFunctionfresh_var

(a: &str)

esvm/src/se/expr/bval.rs:627

↓ 33 callersFunctiongenerate_test_graph

(ins: Vec<Instr>)

esvm/src/test_helpers.rs:12

↓ 33 callersMethodget

(&self, addr: usize)

esvm/src/disasm.rs:110

↓ 33 callersMethodget_account

(&self, id: &AccountId)

esvm/src/se/env.rs:819

↓ 28 callersFunctionconst256

(a: &str)

esvm/src/se/expr/bval.rs:590

↓ 28 callersFunctionmload

(memory: &SymbolicMemory, mem: MVal, addr: &BVal)

esvm/src/se/expr/bval.rs:562

↓ 28 callersFunctionword_write

(memory: &mut SymbolicMemory, parent: NodeIndex, addr: &BVal, val: &BVal)

esvm/src/se/expr/symbolic_memory.rs:270

↓ 26 callersMethodlen

(&self)

esvm/src/se/symbolic_graph.rs:119

↓ 25 callersFunctionvar

(a: &str)

esvm/src/se/expr/bval.rs:624

↓ 24 callersMethodlatest_block_mut

(&mut self)

esvm/src/se/env.rs:489

↓ 23 callersMethodlatest_block

(&self)

esvm/src/se/env.rs:485

↓ 23 callersFunctionmload8

(memory: &SymbolicMemory, mem: MVal, addr: &BVal)

esvm/src/se/expr/bval.rs:569

↓ 22 callersMethodexplore_bval

(&mut self, parent_key: TrackingKey, memory: &SymbolicMemory, var: &BVal)

esvm/src/se/symbolic_state.rs:1014

↓ 21 callersMethodaccount

(&self)

esvm/src/se/symbolic_state.rs:677

↓ 20 callersFunctioncreate_new_memory

( memory: &mut SymbolicMemory, name: String, memory_type: MemoryType, calldata_size: Option<BV

esvm/src/se/expr/symbolic_memory.rs:23

↓ 19 callersFunctionarith2

(s: &SeState, f: F)

esvm/src/se/symbolic_executor/stack_ops.rs:205

↓ 19 callersFunctionone

()

esvm/src/se/expr/bval.rs:617

↓ 18 callersMethodinput_tx

(&self)

esvm/src/se/symbolic_state.rs:685

↓ 18 callersFunctionnew_memory

()

esvm/src/se/expr/symbolic_memory.rs:19

↓ 17 callersFunctionarith0

(s: &SeState, a: Option<&BVal>)

esvm/src/se/symbolic_executor/stack_ops.rs:183

↓ 17 callersMethodsend

(&mut self, cmd: &str)

esvm/src/se/expr/z3.rs:173

↓ 16 callersMethodto_smt

(&mut self, val: &BVal)

esvm/src/se/expr/formel_builder.rs:278

↓ 15 callersMethodassert

(&mut self, val: &str)

esvm/src/se/expr/formel_builder.rs:264

↓ 15 callersFunctionconst_op2

(orig: &BVal, a: &BVal, b: &BVal, f: F)

esvm/src/se/expr/bval.rs:631

↓ 15 callersMethodis_empty

(&self)

evmexec/ethereum-newtypes/src/lib.rs:173

↓ 15 callersFunctionlt

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:529

↓ 15 callersMethodval

(&self)

esvm/src/se/expr/bval.rs:170

↓ 14 callersFunctionand

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:538

↓ 14 callersFunctionmemcopy

( memory: &mut SymbolicMemory, parent: NodeIndex, from: NodeIndex, index: &BVal, index_f:

esvm/src/se/expr/symbolic_memory.rs:344

↓ 14 callersMethodrecord_read

(&mut self, read: &BVal)

esvm/src/se/symbolic_state.rs:655

↓ 13 callersFunctionsub

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:505

↓ 12 callersFunctionconst_vec

(a: &[u8])

esvm/src/se/expr/bval.rs:611

↓ 12 callersMethoddef_array

(&mut self, name: &str, size: usize)

esvm/src/se/expr/formel_builder.rs:302

↓ 12 callersMethodhash

(&self, state: &mut H)

esvm/src/se/expr/bval.rs:141

↓ 12 callersFunctionsload

(memory: &SymbolicMemory, mem: MVal, addr: &BVal)

esvm/src/se/expr/bval.rs:572

↓ 11 callersMethodbin_op

(&mut self, name: &str, l: &BVal, r: &BVal)

esvm/src/se/expr/formel_builder.rs:293

↓ 10 callersMethodas_ref

(&self)

evmexec/ethereum-newtypes/src/lib.rs:185

↓ 10 callersMethodcode

(&self)

esvm/src/se/env.rs:1015

↓ 10 callersFunctioncompare_bval

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:26

↓ 10 callersMethodget_account_mut

(&mut self, id: &AccountId)

esvm/src/se/env.rs:827

↓ 10 callersFunctionle

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:535

↓ 10 callersMethodname

(&self)

esvm/src/se/expr/symbolic_memory.rs:186

↓ 10 callersMethodpop2

(&mut self)

esvm/src/se/symbolic_state.rs:558

↓ 9 callersFunctionbyte_write

(memory: &mut SymbolicMemory, parent: NodeIndex, addr: &BVal, val: &BVal)

esvm/src/se/expr/symbolic_memory.rs:252

↓ 9 callersMethodcheck_sat

(&mut self)

esvm/src/se/expr/solver.rs:35

↓ 9 callersMethodexplore_mval

(&mut self, parent_key: TrackingKey, memory: &SymbolicMemory, var: MVal)

esvm/src/se/symbolic_state.rs:1022

↓ 9 callersFunctionite

(a: &BVal, b: &BVal, c: &BVal)

esvm/src/se/expr/bval.rs:526

↓ 9 callersMethodnew_attacker_account

(&mut self, memory: &mut SymbolicMemory)

esvm/src/se/env.rs:736

↓ 8 callersMethodadd_contract

(&mut self, contract: PrecompiledContracts)

esvm/src/se/env.rs:494

↓ 8 callersMethodfork

(&self)

esvm/src/se/symbolic_state.rs:317

↓ 8 callersMethodindex

(&self)

esvm/src/se/symbolic_state.rs:854

↓ 8 callersFunctionmul

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:508

↓ 8 callersMethodnew_attacker_tx

( &mut self, memory: &mut SymbolicMemory, attacker: AccountId, victim: Account

esvm/src/se/env.rs:643

↓ 8 callersMethodpush_formula

(&mut self, formula: &str)

esvm/src/se/expr/boolector.rs:80

↓ 7 callersMethodadd_account

(&mut self, addr: Address, acc: Account)

evmexec/src/genesis.rs:177

↓ 7 callersMethodanalyze_graph

(&mut self)

esvm/src/se/symbolic_graph.rs:291

↓ 7 callersMethodas_slice

some common convenience methods

evmexec/ethereum-newtypes/src/lib.rs:165

↓ 7 callersFunctionneql

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:550

↓ 6 callersMethodas_mut

(&mut self)

esvm/src/se/expr/solver.rs:58

↓ 6 callersFunctioncall_op

(to: &BVal, s: SeState, include_self: bool, f: F)

esvm/src/se/symbolic_executor/call_ops.rs:26

↓ 6 callersFunctionextract_mapping_key

(memory: &SymbolicMemory, val: &BVal)

esvm/src/se/symbolic_executor/memory_ops.rs:218

↓ 6 callersFunctionget_needed_read_indices_cached

( reads: &ReadTracker, memory: &SymbolicMemory, node: NodeIndex, cache: &mut HashMap<NodeIndex

esvm/src/se/expr/symbolic_memory.rs:589

↓ 6 callersMethodget_tx

(&self, id: &TxId)

esvm/src/se/env.rs:831

↓ 6 callersMethodnew_account

( &mut self, memory: &mut SymbolicMemory, name: &str, addr: &BVal, cod

esvm/src/se/env.rs:766

↓ 6 callersFunctionparse_stack

(s: &str)

evmexec/src/evmtrace.rs:13

↓ 6 callersMethodpush_formula

(&mut self, formula: &str)

esvm/src/se/expr/yice.rs:95

↓ 6 callersMethodto

(&self)

esvm/src/se/symbolic_analysis.rs:769

↓ 6 callersMethodtry_load_account_from_chain

( &mut self, memory: &mut SymbolicMemory, addr: &BVal, )

esvm/src/se/env.rs:502

↓ 5 callersMethodaccount_mut

(&mut self)

esvm/src/se/symbolic_state.rs:681

↓ 5 callersMethodadd_constraint

(&mut self, memory: &SymbolicMemory, constraint: &BVal)

esvm/src/se/symbolic_state.rs:962

↓ 5 callersMethodblock_by_number

(&mut self, number: BlockSelector)

parity_connector/src/lib.rs:54

↓ 5 callersMethodconfig

(&self)

esvm/src/se/symbolic_analysis.rs:181

↓ 5 callersMethodconfig

(&self)

esvm/src/se/symbolic_state.rs:460

↓ 5 callersFunctionedge_call_ret

()

esvm/src/se/symbolic_edge.rs:21

↓ 5 callersFunctionfresh_var_name

(name: &str)

esvm/src/se/env.rs:54

↓ 5 callersMethodfrom_bool

(&mut self, val: &str, size: usize)

esvm/src/se/expr/formel_builder.rs:260

↓ 5 callersMethodinto_evm_updated

Updates the environment based on the execution result, returns an error if the execution did not succeed

evmexec/src/evm.rs:183

↓ 5 callersFunctionnew_call

(s: &SeState, call_type: CallType)

esvm/src/se/symbolic_executor/call_ops.rs:155

↓ 5 callersMethodnew_victim_account

(&mut self, memory: &mut SymbolicMemory, code: &[u8])

esvm/src/se/env.rs:750

↓ 5 callersFunctionor

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:541

↓ 5 callersMethodpop3

(&mut self)

esvm/src/se/symbolic_state.rs:565

↓ 5 callersFunctionseperators

(f: &mut fmt::Formatter)

esvm/src/lib.rs:414

↓ 5 callersMethodtry_get_account_id_by_addr

(&self, addr: &BVal)

esvm/src/se/env.rs:810

↓ 4 callersMethodadd_worker

(&self, worker: Box<dyn Solver>)

esvm/src/se/expr/solver.rs:140

↓ 4 callersMethodas_result_state

(&self)

esvm/src/se/symbolic_state.rs:345

↓ 4 callersMethodassert_memory_versions

(&mut self, node: MVal)

esvm/src/se/expr/formel_builder.rs:340

↓ 4 callersFunctionbyte_at

(a: &BVal, b: &BVal)

esvm/src/se/expr/bval.rs:575

↓ 4 callersMethodcheck

internal use

esvm/src/se/expr/z3.rs:214

↓ 4 callersMethodcoverage

(&self)

esvm/src/disasm.rs:34

next →1–100 of 576, ranked by callers