MCPcopy Create free account

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

Functions576 in github.com/RUB-SysSec/EthBMC

⨍ Functions 576◇ Types & classes 85
↓ 1 callersFunctionparse_account_list
(path: &str)
esvm/bin/scheduler.rs:267
↓ 1 callersFunctionparse_args
()
esvm/src/main.rs:247
↓ 1 callersFunctionparse_args
()
esvm/bin/service.rs:149
↓ 1 callersFunctionparse_args
()
esvm/bin/scheduler.rs:248
↓ 1 callersFunctionparse_args
()
parity_connector/src/main.rs:45
↓ 1 callersFunctionparse_input_list
assumes hex encoded ethereum addresses
esvm/src/main.rs:174
↓ 1 callersFunctionparse_server_list
(path: &str)
esvm/bin/scheduler.rs:290
↓ 1 callersMethodparse_trace
( &self, mut reader: BufReader<Box<dyn Read>>, receiver: Address, )
evmexec/src/evm.rs:109
↓ 1 callersMethodpop4
(&mut self)
esvm/src/se/symbolic_state.rs:572
↓ 1 callersMethodpop6
(&mut self)
esvm/src/se/symbolic_state.rs:585
↓ 1 callersMethodpop7
(&mut self)
esvm/src/se/symbolic_state.rs:599
↓ 1 callersFunctionpretty_print_rec
(memory: &SymbolicMemory, node: NodeIndex, s: &mut String)
esvm/src/se/expr/symbolic_memory.rs:410
↓ 1 callersMethodprocess_constrains
(&mut self)
esvm/src/se/expr/formel_builder.rs:132
↓ 1 callersMethodprocess_mval
(&mut self, parent_key: TrackingKey, memory: &SymbolicMemory, mem: MVal)
esvm/src/se/symbolic_state.rs:1030
↓ 1 callersFunctionprove_not_in_range
prove that a is not in range [b,len]
esvm/src/se/expr/bval.rs:428
↓ 1 callersMethodrecord_keccak_result
(&mut self, val: &BVal)
esvm/src/se/symbolic_state.rs:491
↓ 1 callersFunctionreturndata_copy
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:127
↓ 1 callersFunctionreturndata_size
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:152
↓ 1 callersFunctionrevert
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:369
↓ 1 callersMethodrevert_state_changes
(&mut self)
esvm/src/se/symbolic_state.rs:469
↓ 1 callersFunctionrocket
()
esvm/bin/service.rs:142
↓ 1 callersFunctionsdiv
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:514
↓ 1 callersFunctionselfdestruct
(s: &SeState)
esvm/src/se/symbolic_executor/call_ops.rs:102
↓ 1 callersMethodset_config
(&mut self)
esvm/src/se/expr/z3.rs:149
↓ 1 callersMethodset_constraints
(&mut self, con: &Arc<Vec<BVal>>)
esvm/src/se/symbolic_state.rs:629
↓ 1 callersFunctionset_precompiled_contracts_flags
(s: &mut SeState, to: &BVal)
esvm/src/se/symbolic_executor/call_ops.rs:139
↓ 1 callersFunctionsetup_evm
()
evmexec/tests/multiple_transactions_test.rs:13
↓ 1 callersFunctionsha3
(memory: &SymbolicMemory, mem: MVal, a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:556
↓ 1 callersFunctionsign_extend
(s: &SeState)
esvm/src/se/symbolic_executor/stack_ops.rs:123
↓ 1 callersFunctionsimpl_mem
(memory: &SymbolicMemory, val: &BVal)
esvm/src/se/expr/bval.rs:641
↓ 1 callersFunctionsingle_analysis
(matches: clap::ArgMatches)
esvm/src/main.rs:183
↓ 1 callersFunctionsmod
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:520
↓ 1 callersMethodsmtlib2_encoding
(&mut self, val: &BVal)
esvm/src/se/expr/formel_builder.rs:542
↓ 1 callersMethodsolver_handle
(&self)
esvm/src/se/expr/solver.rs:173
↓ 1 callersFunctionsstore
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:304
↓ 1 callersFunctionstop
(s: &SeState)
esvm/src/se/symbolic_executor/stack_ops.rs:9
↓ 1 callersFunctionstorage_load
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:254
↓ 1 callersFunctionswap
(s: &SeState, n: usize)
esvm/src/se/symbolic_executor/stack_ops.rs:27
↓ 1 callersFunctionsymbolic_step
(s: &SeState)
esvm/src/se/symbolic_executor/executor.rs:31
↓ 1 callersMethodtaint
(&mut self, offset: usize)
esvm/src/disasm.rs:28
↓ 1 callersMethodto_bool
(&mut self, v: &BVal, size: usize)
esvm/src/se/expr/formel_builder.rs:255
↓ 1 callersMethodto_dot
(&self, w: &mut W)
esvm/src/se/symbolic_edge.rs:45
↓ 1 callersMethodtry_get_account
(&self, id: &AccountId)
esvm/src/se/env.rs:806
↓ 1 callersFunctiontry_load_concrete
(memory: &SymbolicMemory, node: MVal, addr: &BVal)
esvm/src/se/expr/bval.rs:324
↓ 1 callersFunctiontry_load_concrete_storage
(memory: &SymbolicMemory, mem: MVal, addr: &BVal)
esvm/src/se/expr/bval.rs:274
↓ 1 callersMethodtry_load_storage_for_account
(&mut self, memory: &mut SymbolicMemory, id: &AccountId)
esvm/src/se/env.rs:585
↓ 1 callersFunctiontx_data_from_bval_vec
(balance: BVal, data: Vec<BVal>)
esvm/src/se/symbolic_analysis.rs:851
↓ 1 callersMethodupdate_account_storage
( &mut self, account: &Address, addr: WU256, value: WU256, )
evmexec/src/genesis.rs:181
↓ 1 callersFunctionupdate_analysis_result_from_env
(ana: &mut AnalysisResult, env: &Env)
esvm/src/lib.rs:316
↓ 1 callersMethodverify_tx_hijack_control_flow
(&self, state: &SeState, attack_data: &[TxData])
esvm/src/se/symbolic_analysis.rs:687
↓ 1 callersMethodverify_tx_owner
(&self, state: &SeState, attack_data: &[TxData], index: WU256)
esvm/src/se/symbolic_analysis.rs:722
↓ 1 callersMethodverify_tx_suicide
(&self, state: &SeState, attack_data: &[TxData])
esvm/src/se/symbolic_analysis.rs:708
↓ 1 callersMethodverify_tx_value_transfer
(&self, state: &SeState, attack_data: &[TxData])
esvm/src/se/symbolic_analysis.rs:668
↓ 1 callersFunctionxor
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:544
↓ 1 callersFunctionz3_pool_with_workers
(count: usize, timeout: usize)
esvm/src/se/expr/solver.rs:101
Functionalias_variable_tracking_test
()
esvm/src/se/symbolic_state.rs:1202
Functionalive
()
esvm/bin/service.rs:131
Functionanalyze_address
(message: Json<Address>)
esvm/bin/service.rs:116
Functionanalyze_address_timeout
(message: Json<TimeoutAnalysis>)
esvm/bin/service.rs:69
Methodas_bigint
(val: &BVal)
esvm/src/se/expr/bval.rs:181
Methodas_const8
(val: &BVal)
esvm/src/se/expr/bval.rs:188
Functionassert_memory_memcopy
()
esvm/src/se/expr/formel_builder.rs:745
Functionassert_memory_versions_normal_test
()
esvm/src/se/expr/formel_builder.rs:707
Methodattacks
(self)
esvm/src/se/symbolic_analysis.rs:797
Functionboolector_general_false_test
()
esvm/src/se/expr/boolector.rs:164
Functionboolector_general_test
()
esvm/src/se/expr/boolector.rs:149
Functionboolector_get_value
()
esvm/src/se/expr/boolector.rs:180
Functionboolector_get_values
()
esvm/src/se/expr/boolector.rs:189
Methodbval
(val: &BVal)
esvm/src/se/symbolic_state.rs:912
Functionbval_hash
()
esvm/src/se/expr/bval.rs:1746
Functionbval_hash_bench
(b: &mut Bencher)
esvm/src/se/expr/bval.rs:1804
Functionbval_partial_eq_bench
(b: &mut Bencher)
esvm/src/se/expr/bval.rs:1786
Functionbyte_at_test
()
esvm/src/se/symbolic_executor/stack_ops.rs:269
Functionbyte_at_to_smt_test
()
esvm/src/se/expr/formel_builder.rs:969
Methodbyzantium
()
evmexec/src/genesis.rs:84
Functioncall_ops_test
()
esvm/src/se/symbolic_executor/call_ops.rs:714
Functioncall_value_transfer_test
()
esvm/src/se/symbolic_executor/call_ops.rs:616
Functioncalldataload_constraint_test
()
esvm/src/se/symbolic_executor/memory_ops.rs:772
Functioncalldataload_test
()
esvm/src/se/symbolic_executor/memory_ops.rs:472
Methodcheck_formula
(&mut self, formula: &str)
esvm/src/se/expr/z3.rs:156
Methodcheck_sat
(&mut self)
esvm/src/se/expr/boolector.rs:84
Methodcheck_sat
(&mut self)
esvm/src/se/expr/z3.rs:101
Methodcheck_sat
(&mut self)
esvm/src/se/expr/yice.rs:99
Methodcheck_truth
(val: &Arc<Self>)
esvm/src/se/expr/bval.rs:112
Functioncode_copy_large_test
()
esvm/src/se/symbolic_executor/memory_ops.rs:568
Functioncode_copy_test
()
esvm/src/se/symbolic_executor/memory_ops.rs:635
Functioncode_or_default
(deserializer: D)
evmexec/src/genesis.rs:41
Functioncombine32_mem_test
()
esvm/src/se/expr/bval.rs:1148
Functionconst_8
(a: usize)
esvm/src/se/expr/bval.rs:597
Functionconstant_memload_test
()
esvm/src/se/expr/bval.rs:1164
Methodcreate_graph
( env: Arc<Env>, initial_tx: &TxId, victim: &AccountId, init_state: Option<Res
esvm/src/se/symbolic_analysis.rs:574
Functioncreate_new_outgoing_test
()
esvm/src/se/symbolic_executor/call_ops.rs:685
Functioncreate_simple_genesis_
()
evmexec/src/genesis.rs:202
Methodcustom
(s: String)
evmexec/src/lib.rs:59
Methoddebug_ouput
(&self)
esvm/src/se/expr/z3.rs:253
Methoddebug_output
(&self)
esvm/src/se/expr/formel_builder.rs:309
Methoddefault
()
esvm/src/se/symbolic_analysis.rs:97
Methoddefault
()
esvm/src/se/env.rs:327
Methoddefault
()
evmexec/src/genesis.rs:122
Methoddefault
()
evmexec/src/evm.rs:33
← previousnext →301–400 of 576, ranked by callers