MCPcopy Create free account

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

Functions576 in github.com/RUB-SysSec/EthBMC

⨍ Functions 576◇ Types & classes 85
↓ 4 callersFunctioncreate_parity_client
()
esvm/src/se/env.rs:1069
↓ 4 callersMethodexecute
(self, input: EvmInput)
evmexec/src/evm.rs:50
↓ 4 callersMethodexecute_concrete_evm
( &self, state: &SeState, attack_data: &[TxData], )
esvm/src/se/symbolic_analysis.rs:613
↓ 4 callersFunctionfresh_account_name
(name: &str)
esvm/src/se/env.rs:58
↓ 4 callersFunctiongenerate_state_for_mem_test
()
esvm/src/se/expr/symbolic_memory.rs:824
↓ 4 callersMethodgenerate_tx_datas
(&self, state: &SeState)
esvm/src/se/symbolic_analysis.rs:596
↓ 4 callersMethodget_codesize
(&self)
esvm/src/se/env.rs:1019
↓ 4 callersMethodnew_acc_id
(&mut self)
esvm/src/se/env.rs:718
↓ 4 callersMethodnew_hijack_account
(&mut self, memory: &mut SymbolicMemory)
esvm/src/se/env.rs:723
↓ 4 callersFunctionnew_memory_bval
(memory: &SymbolicMemory, val: Val256)
esvm/src/se/expr/bval.rs:491
↓ 4 callersMethodnext_id
relaxed ordering, since we only care about uniqueness not ordering
esvm/src/se/symbolic_analysis.rs:186
↓ 4 callersFunctionparse_yaml_value
(val: &Yaml)
esvm/src/se/env.rs:113
↓ 4 callersFunctionshl
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:587
↓ 4 callersMethodsolver_pool
(&self)
esvm/src/se/symbolic_analysis.rs:210
↓ 4 callersFunctionsymbolic_analysis
(se_env: SeEnviroment, config: SeConfig, pool: Solvers)
esvm/src/lib.rs:97
↓ 3 callersMethodas_usize
(val: &Arc<Self>)
esvm/src/se/expr/bval.rs:96
↓ 3 callersMethodcheck
(&self, output: &str)
esvm/src/se/expr/boolector.rs:55
↓ 3 callersMethodcheck
(&self, output: &str)
esvm/src/se/expr/yice.rs:73
↓ 3 callersMethodcommunicate
(&self)
esvm/src/se/expr/boolector.rs:42
↓ 3 callersMethodcommunicate
(&self)
esvm/src/se/expr/yice.rs:62
↓ 3 callersFunctioncreate_new_outgoing
( s: &mut SeState, gas: &BVal, in_size: &BVal, out_size: &BVal, in_off: &BVal, value:
esvm/src/se/symbolic_executor/call_ops.rs:503
↓ 3 callersMethodenv_constraints
(&self)
esvm/src/se/symbolic_state.rs:633
↓ 3 callersFunctionexecute_contract
( s: &SeState, from: &AccountId, to: &AccountId, outgoing_tx: &TxId, code: &[u8], )
esvm/src/se/symbolic_executor/call_ops.rs:391
↓ 3 callersMethodexport
create a temporary file for holding the configuration
evmexec/src/genesis.rs:157
↓ 3 callersMethodget_jump_info
( &self, cond: &BVal, target_val: &BVal, mut target_state: Self, )
esvm/src/se/symbolic_state.rs:368
↓ 3 callersFunctionget_needed_read_indices
( reads: &ReadTracker, memory: &SymbolicMemory, node: NodeIndex, cache: &mut HashMap<NodeIndex
esvm/src/se/expr/symbolic_memory.rs:603
↓ 3 callersMethodget_tx_mut
(&mut self, id: &TxId)
esvm/src/se/env.rs:835
↓ 3 callersMethodinitialize_from_formel_builder
blocking call
esvm/src/se/expr/solver.rs:47
↓ 3 callersMethodnew_tx_id
(&mut self)
esvm/src/se/env.rs:638
↓ 3 callersMethodpop1
(&mut self)
esvm/src/se/symbolic_state.rs:551
↓ 3 callersMethodpush_formula
(&mut self, formula: &str)
esvm/src/se/expr/z3.rs:96
↓ 3 callersMethodrecv
(&mut self)
esvm/src/se/expr/z3.rs:189
↓ 3 callersMethodreset
(&mut self)
esvm/src/se/expr/z3.rs:105
↓ 3 callersFunctionsimpl
(val: &BVal)
esvm/src/se/expr/bval.rs:723
↓ 3 callersMethodstorage
(&mut self, addr: U256, block: BlockSelector)
parity_connector/src/lib.rs:77
↓ 3 callersMethodtry_get_account_by_addr
(&self, addr: &BVal)
esvm/src/se/env.rs:814
↓ 3 callersFunctionumod
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:517
↓ 3 callersMethodupdate_env_for_tx
( &mut self, from: &AccountId, to: &AccountId, tx: Transaction, tx_id:
esvm/src/se/env.rs:663
↓ 3 callersMethodvar
(&mut self, name: &str, size: usize)
esvm/src/se/expr/formel_builder.rs:268
↓ 2 callersFunctionarguments
(app: App<'a, 'a>)
esvm/src/lib.rs:236
↓ 2 callersFunctionarith1
(s: &SeState, f: F)
esvm/src/se/symbolic_executor/stack_ops.rs:193
↓ 2 callersFunctionarith3
(s: &SeState, f: F)
esvm/src/se/symbolic_executor/stack_ops.rs:217
↓ 2 callersFunctionbyte_extract
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:578
↓ 2 callersMethodcmp
(&self, other: &LoadedAccount)
esvm/src/lib.rs:554
↓ 2 callersMethodcode_to_be_executed
This is the initial code executed, this might be different from all the code executed
esvm/src/se/symbolic_analysis.rs:774
↓ 2 callersMethodconcrete_input_data_for_tx
(&self, s: &SeState, tx: &TxId)
esvm/src/se/symbolic_analysis.rs:738
↓ 2 callersFunctioncopy_code_to_mem
( s: &SeState, mut res: SeState, mem_addr: &BVal, code_addr_c: usize, size_c: usize, c
esvm/src/se/symbolic_executor/memory_ops.rs:69
↓ 2 callersFunctiondiv
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:511
↓ 2 callersMethodend_states
(self)
esvm/src/se/symbolic_analysis.rs:801
↓ 2 callersMethodend_states
(&self)
esvm/src/se/symbolic_graph.rs:434
↓ 2 callersFunctionexecute_test_case
()
evmexec/src/evm.rs:301
↓ 2 callersMethodexploration_result
(mut self)
esvm/src/se/symbolic_analysis.rs:348
↓ 2 callersMethodfound_attacks
(&self)
esvm/src/se/symbolic_analysis.rs:793
↓ 2 callersFunctionfresh_tx_name
(name: &str)
esvm/src/se/env.rs:62
↓ 2 callersFunctiongenerate_random_address
()
esvm/src/se/env.rs:46
↓ 2 callersFunctiongenerate_random_vec
()
esvm/src/se/env.rs:32
↓ 2 callersMethodget_instruction
(&self)
esvm/src/se/symbolic_state.rs:475
↓ 2 callersMethodget_or_create_key
used for none constraints
esvm/src/se/symbolic_state.rs:975
↓ 2 callersMethodget_set_for_val
(&mut self, target: TrackingVariable)
esvm/src/se/symbolic_state.rs:1000
↓ 2 callersMethodget_standard_constraints
(&self)
esvm/src/se/env.rs:940
↓ 2 callersFunctionimplies
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:553
↓ 2 callersMethodinitial_state
(&self)
esvm/src/se/symbolic_graph.rs:419
↓ 2 callersMethodis_static_call
(self)
esvm/src/se/symbolic_executor/call_ops.rs:301
↓ 2 callersMethodjump_to
(&mut self, addr_val: &BVal)
esvm/src/se/symbolic_state.rs:541
↓ 2 callersMethodlen
(&self)
evmexec/ethereum-newtypes/src/lib.rs:169
↓ 2 callersFunctionlookup_mem_recursive
(memory: &SymbolicMemory, node: MVal, addr: &BVal)
esvm/src/se/expr/bval.rs:360
↓ 2 callersFunctionmax
()
esvm/src/se/expr/bval.rs:620
↓ 2 callersFunctionmemset
( memory: &mut SymbolicMemory, parent: NodeIndex, index: &BVal, val: &BVal, size: &BVal, )
esvm/src/se/expr/symbolic_memory.rs:288
↓ 2 callersFunctionmemset_unlimited
( memory: &mut SymbolicMemory, parent: NodeIndex, index: &BVal, val: &BVal, )
esvm/src/se/expr/symbolic_memory.rs:317
↓ 2 callersMethodnew_output_tx
( &mut self, memory: &mut SymbolicMemory, name: &str, caller: &AccountId,
esvm/src/se/env.rs:686
↓ 2 callersFunctionparse_binary_str
(input: &str)
esvm/src/se/expr/yice.rs:32
↓ 2 callersMethodparse_trace_line
(&mut self, line: &str)
evmexec/src/evmtrace.rs:151
↓ 2 callersFunctionparse_trace_line_with_depth
(line: &str)
evmexec/src/evmtrace.rs:30
↓ 2 callersFunctionpeak_memory
this function exists because solidity does quite often load what it just wrote to memory also so we can actually resolve nested keccak computations we
esvm/src/se/expr/bval.rs:340
↓ 2 callersFunctionpop_n
(s: &SeState, mut n: usize)
esvm/src/se/symbolic_executor/stack_ops.rs:16
↓ 2 callersMethodprocess_bval
(&mut self, parent_key: TrackingKey, memory: &SymbolicMemory, val: &BVal)
esvm/src/se/symbolic_state.rs:1095
↓ 2 callersMethodpush_memory
(&mut self, mem: MVal)
esvm/src/se/expr/formel_builder.rs:238
↓ 2 callersMethodrecord_mload
(&mut self, mem: MVal, read: &BVal)
esvm/src/se/symbolic_state.rs:647
↓ 2 callersMethodremove_keccak_result
(&mut self, val: &BVal)
esvm/src/se/symbolic_state.rs:487
↓ 2 callersMethodreset_returndata
(&mut self)
esvm/src/se/symbolic_state.rs:464
↓ 2 callersMethodretrieve_worker
(&self)
esvm/src/se/expr/solver.rs:144
↓ 2 callersFunctionset_global_config
(matches: &clap::ArgMatches)
esvm/src/lib.rs:255
↓ 2 callersFunctionset_returndata
(s: &mut SeState, addr: &BVal, size: &BVal)
esvm/src/se/symbolic_executor/memory_ops.rs:394
↓ 2 callersMethodsize
(&self)
esvm/src/bytecode.rs:80
↓ 2 callersFunctionslt
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:532
↓ 2 callersMethodsophisticated
(&mut self, pair: (Keccak, Keccak))
esvm/src/se/expr/formel_builder.rs:46
↓ 2 callersMethodsymbolic_round
(&mut self)
esvm/src/se/symbolic_analysis.rs:341
↓ 2 callersFunctionupdate_analysis_result
(mut ana: AnalysisResult, res: ExplorationResult)
esvm/src/lib.rs:356
↓ 2 callersMethodvalues_as_dec
(&mut self)
esvm/src/se/expr/z3.rs:165
↓ 2 callersFunctionyice_pool_with_workers
(count: usize, timeout: usize)
esvm/src/se/expr/solver.rs:123
↓ 1 callersMethodackerman
(&mut self, pair: (Keccak, Keccak))
esvm/src/se/expr/formel_builder.rs:53
↓ 1 callersMethodadd_worker
(&self, worker: Worker)
esvm/bin/scheduler.rs:164
↓ 1 callersFunctionanalysis
(matches: ArgMatches)
esvm/src/main.rs:65
↓ 1 callersFunctionanalyze
(pool: Solvers, addr: Address)
esvm/bin/service.rs:135
↓ 1 callersMethodanalyze
(&self, address: Address)
esvm/bin/scheduler.rs:79
↓ 1 callersFunctionanalyze_contract_code
(code: &[u8], res: &mut AnalysisResult)
esvm/src/lib.rs:582
↓ 1 callersMethodanalyze_state_for_attacks
( &self, mut potential_attack_state: SeState, result: &Mutex<Vec<Attack>>, )
esvm/src/se/symbolic_analysis.rs:456
↓ 1 callersFunctionargs_for_call
(state: &mut SeState, call_type: CallType)
esvm/src/se/symbolic_executor/call_ops.rs:346
↓ 1 callersFunctionashr
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:581
↓ 1 callersMethodassert_bval
(&mut self, val: &BVal)
esvm/src/se/expr/formel_builder.rs:245
← previousnext →101–200 of 576, ranked by callers