MCPcopy Create free account

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

Functions576 in github.com/RUB-SysSec/EthBMC

⨍ Functions 576◇ Types & classes 85
Functiondeseriaize_accounts
()
evmexec/src/genesis.rs:232
Functiondeseriaize_malformed_account
()
evmexec/src/evm.rs:291
Methoddeserialize
(deserializer: D)
evmexec/ethereum-newtypes/src/lib.rs:213
Functiondeserialize_test
()
evmexec/ethereum-newtypes/src/lib.rs:255
Functiondisjoint_sets_variable_tracking_test
()
esvm/src/se/symbolic_state.rs:1308
Functiondisplay_u256_test
()
evmexec/ethereum-newtypes/src/lib.rs:248
Methoddrop
(&mut self)
esvm/src/se/symbolic_graph.rs:195
Methoddrop
(&mut self)
esvm/src/se/expr/solver.rs:65
Methoddrop
(&mut self)
esvm/src/se/expr/z3.rs:43
Methoddrop
(&mut self)
esvm/bin/scheduler.rs:130
Functiondup_test
()
esvm/src/se/symbolic_executor/stack_ops.rs:282
Functionedge_exec
()
esvm/src/se/symbolic_edge.rs:17
Functionedge_terminal
()
esvm/src/se/symbolic_edge.rs:25
Methodelem_size
(&self)
esvm/src/se/expr/symbolic_memory.rs:196
Methodeq
(&self, other: &LoadedAccount)
esvm/src/lib.rs:538
Functionescape_special_chars
also check the length of the string so we can actually display it
esvm/src/se/symbolic_state.rs:723
Functioneth_block_number_test
()
parity_connector/src/client.rs:64
Methodexpecting
(&self, formatter: &mut fmt::Formatter)
evmexec/ethereum-newtypes/src/lib.rs:222
Functionext_code_copy_test
()
esvm/src/se/symbolic_executor/memory_ops.rs:696
Functionfilter_simple_constraints
()
esvm/src/se/symbolic_state.rs:1171
Methodfmt
(&self, f: &mut fmt::Formatter)
esvm/src/lib.rs:425
Methodfmt
(&self, f: &mut fmt::Formatter)
esvm/src/se/symbolic_analysis.rs:813
Methodfmt
(&self, f: &mut Formatter)
esvm/src/se/symbolic_state.rs:173
Methodfmt
(&self, _f: &mut fmt::Formatter)
esvm/src/se/expr/solver.rs:78
Methodfmt
(&self, f: &mut fmt::Formatter)
esvm/src/se/expr/formel_builder.rs:25
Methodfmt
(&self, f: &mut Formatter)
esvm/src/se/expr/bval.rs:228
Methodfmt
(&self, formatter: &mut fmt::Formatter)
evmexec/ethereum-newtypes/src/lib.rs:50
Methodfrom
(value: &'a str)
evmexec/ethereum-newtypes/src/lib.rs:65
Methodfrom
(genesis: Genesis)
evmexec/src/evm.rs:39
Methodfrom_chain
(addr: &str)
esvm/src/se/env.rs:128
Methodfrom_constraints
(memory: &SymbolicMemory, constraints: Vec<BVal>)
esvm/src/se/symbolic_state.rs:953
Methodfrom_hex_str
(input: &str)
evmexec/ethereum-newtypes/src/lib.rs:151
Methodfrom_index
(u: u32)
esvm/src/se/symbolic_state.rs:857
Methodfrom_old_env
this function is a disgrace, but it works, soooo ehh..?
esvm/src/se/env.rs:415
Methodfrom_raw
(data: &[u8])
esvm/src/disasm.rs:19
Methodfrom_result_state
( code: &[u8], from: &AccountId, to: &AccountId, config: SeConfig, sta
esvm/src/se/symbolic_analysis.rs:304
Methodfrom_result_state
( s: ResultState, context: Arc<Context>, memory: Arc<SymbolicMemory>, env: &Ar
esvm/src/se/symbolic_state.rs:236
Methodfrom_se_env
(se_env: SeEnviroment, config: SeConfig, solvers: Solvers)
esvm/src/se/symbolic_analysis.rs:281
Functionfrom_se_env_test
()
esvm/src/se/symbolic_analysis.rs:948
Methodfrom_self
(info: &Self, op: MemoryOperation)
esvm/src/se/expr/symbolic_memory.rs:159
Methodfrom_str
(s: String)
esvm/bin/scheduler.rs:192
Methodfrom_yaml
(yaml: &Yaml)
esvm/src/se/env.rs:164
Functionfrom_yaml_test
()
esvm/src/se/env.rs:1124
Functiongenerate_address_test
()
esvm/src/se/env.rs:1281
Methodget_code_byte
this panics on out of bound reads
esvm/src/se/env.rs:1011
Methodget_codesize
(&self)
esvm/src/se/symbolic_state.rs:483
Methodget_memories
(&self)
esvm/src/se/env.rs:611
Methodget_next_id
(&mut self)
parity_connector/src/client.rs:44
Methodget_ordered_offsets
(&self)
esvm/src/disasm.rs:115
Methodget_reads
(&self, mem: MVal)
esvm/src/se/symbolic_state.rs:673
Methodget_size
(&self, addr: usize)
esvm/src/disasm.rs:103
Methodget_subexpr_id
(&mut self)
esvm/src/se/expr/formel_builder.rs:297
Methodget_value
(&self, value: &BVal)
esvm/src/se/symbolic_state.rs:426
Methodget_value
(&mut self, value: &str)
esvm/src/se/expr/boolector.rs:89
Methodget_value
(&mut self, value: &str)
esvm/src/se/expr/z3.rs:110
Methodget_value
(&mut self, value: &str)
esvm/src/se/expr/yice.rs:104
Methodget_values
(&mut self, values: &[String])
esvm/src/se/expr/boolector.rs:107
Methodget_values
(&mut self, values: &[String])
esvm/src/se/expr/z3.rs:126
Methodget_values
(&mut self, values: &[String])
esvm/src/se/expr/yice.rs:123
Methodhash
(&self, state: &mut H)
esvm/src/lib.rs:526
Functionid_generator_test
()
esvm/src/se/symbolic_analysis.rs:1021
Methodindex_size
(&self)
esvm/src/se/expr/symbolic_memory.rs:190
Functioninitialize_call_test
()
esvm/src/se/symbolic_analysis.rs:970
Methodinitialize_from_constraints
( reads: &'a ReadTracker, memory: &'a SymbolicMemory, read_cache: &'a mut HashMap<MVal
esvm/src/se/expr/formel_builder.rs:113
Methodinto_evm
Transforms the Execution into a new evm to be executed
evmexec/src/evm.rs:175
Methodis_call
(&self)
esvm/src/se/symbolic_analysis.rs:229
Methodis_constant
(val: &Arc<Self>)
esvm/src/se/expr/bval.rs:122
Methodis_exeution
(&self)
esvm/src/se/symbolic_analysis.rs:221
Methodis_jump_target
(&self, addr: usize)
esvm/src/disasm.rs:99
Methodis_tautology
(val: &Arc<Self>)
esvm/src/se/expr/bval.rs:106
Functionjump_at_end
()
esvm/src/se/symbolic_executor/stack_ops.rs:254
Methodjump_targets
(&self)
esvm/src/disasm.rs:95
Functionkeccak
()
esvm/src/se/expr/bval.rs:1525
Functionkeccak_with_constant_load
()
esvm/src/se/expr/bval.rs:1535
Functionload_encode_test
()
esvm/src/se/expr/formel_builder.rs:783
Functionmain
()
esvm/src/main.rs:58
Functionmain
()
esvm/bin/service.rs:155
Functionmain
()
esvm/bin/scheduler.rs:427
Functionmain
()
parity_connector/src/main.rs:9
Functionmatch_geth_regex
()
evmexec/src/evmtrace.rs:240
Functionmemcopy_complex_test
()
esvm/src/se/expr/symbolic_memory.rs:939
Functionmemcopy_unlimited
( memory: &mut SymbolicMemory, parent: NodeIndex, from: NodeIndex, index: &BVal, index_f:
esvm/src/se/expr/symbolic_memory.rs:378
Functionmemload_test
()
esvm/src/se/symbolic_executor/memory_ops.rs:434
Functionmemory_access
()
esvm/src/se/expr/bval.rs:1587
Functionmemory_access_symbolic
()
esvm/src/se/expr/bval.rs:1706
Functionmemory_info_equal
(a: &MemoryInfo, b: &MemoryInfo)
esvm/src/se/expr/symbolic_memory.rs:54
Functionmemory_store_in_range
()
esvm/src/se/expr/bval.rs:1618
Functionmemory_update
()
esvm/src/se/expr/bval.rs:1666
Functionmemory_update8
()
esvm/src/se/expr/bval.rs:1686
Functionmemory_variable_tracking_complex_test
()
esvm/src/se/symbolic_state.rs:1269
Functionmemory_variable_tracking_test
()
esvm/src/se/symbolic_state.rs:1234
Functionmultiple_transactions_test
()
evmexec/tests/multiple_transactions_test.rs:52
Methodmval
(val: MVal)
esvm/src/se/symbolic_state.rs:916
Methodname
(&self)
esvm/src/se/symbolic_executor/call_ops.rs:317
Methodnew
(opcode_vec: Vec<Instr>)
esvm/src/disasm.rs:67
Methodnew
()
esvm/src/se/symbolic_analysis.rs:103
Methodnew
( context: Arc<Context>, mut memory: Arc<SymbolicMemory>, env: &Arc<Env>, acco
esvm/src/se/symbolic_state.rs:179
Methodnew
(from: usize, to: usize, etype: EdgeType)
esvm/src/se/symbolic_edge.rs:41
Methodnew
( input: channel::Receiver<Arc<SeState>>, output: channel::Sender<Transition>, kill_sw
esvm/src/se/symbolic_graph.rs:47
Methodnew
()
esvm/src/se/env.rs:75
← previousnext →401–500 of 576, ranked by callers