MCPcopy Create free account

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

Functions576 in github.com/RUB-SysSec/EthBMC

⨍ Functions 576◇ Types & classes 85
↓ 1 callersMethodassert_memory
(&mut self, node: MVal)
esvm/src/se/expr/formel_builder.rs:406
↓ 1 callersMethodassert_storage_versions
(&mut self, node: MVal)
esvm/src/se/expr/formel_builder.rs:347
↓ 1 callersMethodasserts
(&self)
esvm/src/se/expr/formel_builder.rs:128
↓ 1 callersFunctionbalance
fork over all known accounts in the execution env
esvm/src/se/symbolic_executor/call_ops.rs:84
↓ 1 callersMethodbalance
(&mut self, addr: U256, block: BlockSelector)
parity_connector/src/lib.rs:69
↓ 1 callersFunctionblockhash
(s: &SeState)
esvm/src/se/symbolic_executor/stack_ops.rs:39
↓ 1 callersMethodblocknumber
(&mut self)
parity_connector/src/lib.rs:50
↓ 1 callersFunctionboolector_pool_with_workers
(count: usize, timeout: usize)
esvm/src/se/expr/solver.rs:112
↓ 1 callersFunctionbuild_args
(message: &Json<TimeoutAnalysis>)
esvm/bin/service.rs:51
↓ 1 callersFunctionbval_depended
special function for determining if two bvals are dependent of each other
esvm/src/se/symbolic_state.rs:901
↓ 1 callersFunctionbval_size
(v: &BVal)
esvm/src/se/expr/bval.rs:441
↓ 1 callersFunctioncalldatacopy
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:158
↓ 1 callersFunctioncalldataload
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:178
↓ 1 callersMethodcan_be_subexpr
(&self)
esvm/src/se/expr/bval.rs:89
↓ 1 callersMethodcheck_alive
(&self)
esvm/bin/scheduler.rs:97
↓ 1 callersFunctioncheck_for_control_flow_hijack
(s: &SeState, to: &BVal)
esvm/src/se/symbolic_executor/call_ops.rs:550
↓ 1 callersMethodcheck_for_loop
(&mut self, val: &BVal)
esvm/src/se/symbolic_state.rs:513
↓ 1 callersFunctioncheck_for_reeantrancy
(s: &SeState, args: &CallArgs)
esvm/src/se/symbolic_executor/call_ops.rs:565
↓ 1 callersMethodcheck_sat
(&self)
esvm/src/se/symbolic_state.rs:401
↓ 1 callersMethodcode
(&mut self, addr: U256, block: BlockSelector)
parity_connector/src/lib.rs:61
↓ 1 callersFunctioncode_copy
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:11
↓ 1 callersFunctioncompute_copy_superset_for_node
(memory: &SymbolicMemory, node: NodeIndex)
esvm/src/se/expr/symbolic_memory.rs:499
↓ 1 callersFunctionconst_i32
(a: i32)
esvm/src/se/expr/bval.rs:604
↓ 1 callersMethodconstruct_ite_keccak_encoding
we have to do the concat in strings, because I'm way to lazy to implement this properly
esvm/src/se/expr/formel_builder.rs:209
↓ 1 callersFunctionconvert_data_to_bytes
(data: Vec<Hash>)
esvm/src/se/symbolic_analysis.rs:840
↓ 1 callersFunctioncopy_instructions
codecopy and extcodecopy are also copy instructions, however we only support them in a constant fashion
esvm/src/lib.rs:601
↓ 1 callersFunctioncreate_account
(s: &SeState)
esvm/src/se/symbolic_executor/call_ops.rs:15
↓ 1 callersFunctioncreate_client
Creates parity http client
parity_connector/src/lib.rs:31
↓ 1 callersFunctioncreate_failure_state
(s: &SeState, id: AccountId)
esvm/src/se/symbolic_executor/call_ops.rs:376
↓ 1 callersFunctioncreate_pool
(choice: Solvers)
esvm/src/se/expr/solver.rs:90
↓ 1 callersFunctioncreate_return_state
( s: &SeState, end_state: ResultState, callres_execution: BVal, out_off: &BVal, out_size:
esvm/src/se/symbolic_executor/call_ops.rs:416
↓ 1 callersFunctiondefault_bytes
()
evmexec/src/genesis.rs:37
↓ 1 callersFunctiondefault_storage
()
evmexec/src/genesis.rs:49
↓ 1 callersMethoddefs
(&self)
esvm/src/se/expr/formel_builder.rs:124
↓ 1 callersFunctiondescendants
(memory: &SymbolicMemory, src: NodeIndex)
esvm/src/se/expr/symbolic_memory.rs:578
↓ 1 callersMethoddisjoint_sets
(&mut self)
esvm/src/se/symbolic_state.rs:984
↓ 1 callersMethoddump_debug_graph
(mut self)
esvm/src/se/symbolic_analysis.rs:754
↓ 1 callersFunctiondump_result
(results: Vec<(String, Option<Vec<Attack>>)>)
esvm/src/main.rs:140
↓ 1 callersFunctionedge_conditional
(val: BVal)
esvm/src/se/symbolic_edge.rs:29
↓ 1 callersFunctionencode
(input: &[u8], prefixed: &Prefixed)
evmexec/src/evm.rs:243
↓ 1 callersMethodencode_keccak
(&mut self)
esvm/src/se/expr/formel_builder.rs:154
↓ 1 callersMethodend_states_storage
This function only returns states where changes occured
esvm/src/se/symbolic_graph.rs:409
↓ 1 callersMethodeq
(&self, other: &TrackingVariable)
esvm/src/se/symbolic_state.rs:891
↓ 1 callersMethodeq
(&self, other: &FVal)
esvm/src/se/expr/bval.rs:156
↓ 1 callersFunctionexecute
( work_stack: Arc<Mutex<Vec<(usize, String)>>>, scheduler: Arc<Scheduler>, counter: Arc<AtomicUsiz
esvm/bin/scheduler.rs:313
↓ 1 callersMethodexecute_call
(mut self)
esvm/src/se/symbolic_analysis.rs:446
↓ 1 callersMethodexecute_input
(&self, input: &EvmInput)
evmexec/src/evm.rs:59
↓ 1 callersMethodexecute_vm
( &self, input: &EvmInput, )
evmexec/src/evm.rs:64
↓ 1 callersMethodexit
(&mut self)
esvm/src/se/expr/z3.rs:184
↓ 1 callersFunctionexp
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:523
↓ 1 callersFunctionexpensive_computation
(s: &SeState)
esvm/src/se/symbolic_executor/executor.rs:14
↓ 1 callersFunctionexponentiation
Only support constant atm
esvm/src/se/symbolic_executor/stack_ops.rs:109
↓ 1 callersFunctionext_code_copy
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:34
↓ 1 callersFunctionextcode_size
fork over all known accounts in the execution env
esvm/src/se/symbolic_executor/call_ops.rs:66
↓ 1 callersFunctionfail_unknown
(i: &Instr)
esvm/src/se/symbolic_executor/executor.rs:9
↓ 1 callersFunctionfind_all_nodes_between
( memory: &SymbolicMemory, src: NodeIndex, dst: NodeIndex, )
esvm/src/se/expr/symbolic_memory.rs:524
↓ 1 callersMethodfresh_account_name
(&mut self, name: &str)
esvm/src/se/env.rs:92
↓ 1 callersMethodfresh_tx_name
(&mut self, name: &str)
esvm/src/se/env.rs:98
↓ 1 callersMethodfresh_var_name
(&mut self, name: &str)
esvm/src/se/env.rs:86
↓ 1 callersMethodfrom
(&self)
esvm/src/se/symbolic_analysis.rs:765
↓ 1 callersFunctiongenerate_random_hash
()
esvm/src/se/env.rs:42
↓ 1 callersFunctiongenerate_test_state
()
esvm/src/test_helpers.rs:48
↓ 1 callersMethodgenerate_tx_data
(&self, state: &SeState)
esvm/src/se/symbolic_analysis.rs:604
↓ 1 callersMethodget_addresses
(&self)
esvm/src/se/env.rs:799
↓ 1 callersMethodget_addresses_except
(&self, id: &AccountId)
esvm/src/se/env.rs:792
↓ 1 callersMethodget_constraints
(&self)
esvm/src/se/env.rs:625
↓ 1 callersMethodget_jump_targets_for
(&mut self, val: &BVal)
esvm/src/se/symbolic_state.rs:495
↓ 1 callersFunctionget_sat_cached_or_insert
( constraint_set: Vec<BVal>, memory: &SymbolicMemory, pool: Arc<SolverPool>, reads: &ReadTrack
esvm/src/se/symbolic_state.rs:745
↓ 1 callersMethodget_size
(val: &BVal)
esvm/src/se/expr/bval.rs:174
↓ 1 callersMethodget_value
(&mut self, value: &str)
esvm/src/se/expr/solver.rs:39
↓ 1 callersMethodget_values
(&mut self, values: &[String])
esvm/src/se/expr/solver.rs:42
↓ 1 callersMethodget_values_for_array
(&self, values: &[BVal])
esvm/src/se/symbolic_state.rs:443
↓ 1 callersMethodget_worker
(&self)
esvm/bin/scheduler.rs:168
↓ 1 callersFunctioninit_logger
(json_mode: bool)
esvm/src/main.rs:24
↓ 1 callersFunctioninit_logger
()
esvm/bin/service.rs:29
↓ 1 callersFunctioninit_logger
()
esvm/bin/scheduler.rs:35
↓ 1 callersMethodinitial_storage
(&self)
esvm/src/se/symbolic_analysis.rs:206
↓ 1 callersMethodinstruction
(&self, pc: usize)
esvm/src/se/symbolic_analysis.rs:194
↓ 1 callersMethodinstruction_size
(&self, pc: usize)
esvm/src/se/symbolic_analysis.rs:190
↓ 1 callersFunctionireturn
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:381
↓ 1 callersMethodis_call
(self)
esvm/src/se/symbolic_executor/call_ops.rs:309
↓ 1 callersMethodis_err
(&self)
evmexec/src/evm.rs:220
↓ 1 callersMethodis_jump_target
(&self, pc: usize)
esvm/src/se/symbolic_analysis.rs:198
↓ 1 callersFunctionjump
(s: &SeState)
esvm/src/se/symbolic_executor/stack_ops.rs:171
↓ 1 callersFunctionjump_if
(s: &SeState)
esvm/src/se/symbolic_executor/stack_ops.rs:153
↓ 1 callersMethodjump_targets
(&self)
esvm/src/se/symbolic_analysis.rs:202
↓ 1 callersFunctionkeccak
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:238
↓ 1 callersMethodkind
(&self)
esvm/bin/scheduler.rs:204
↓ 1 callersFunctionlist_analysis
(matches: clap::ArgMatches)
esvm/src/main.rs:79
↓ 1 callersFunctionlookup_storage_recursive
(memory: &SymbolicMemory, node: MVal, addr: &BVal)
esvm/src/se/expr/bval.rs:286
↓ 1 callersFunctionlshr
(a: &BVal, b: &BVal)
esvm/src/se/expr/bval.rs:584
↓ 1 callersFunctionmem_op
(memory: &SymbolicMemory, mem: MVal, addr: &BVal, len: &BVal, f: F)
esvm/src/se/expr/bval.rs:448
↓ 1 callersFunctionmemload
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:189
↓ 1 callersMethodmemory_val
(&self)
esvm/src/se/expr/bval.rs:216
↓ 1 callersFunctionmstore
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:200
↓ 1 callersFunctionmstore8
(s: &SeState)
esvm/src/se/symbolic_executor/memory_ops.rs:209
↓ 1 callersFunctionnot
(a: &BVal)
esvm/src/se/expr/bval.rs:559
↓ 1 callersMethodopcodes
(&self)
esvm/src/disasm.rs:91
↓ 1 callersFunctionoptimize_bool_conversion
(s: String)
esvm/src/se/expr/formel_builder.rs:686
↓ 1 callersMethodparent
(&self)
esvm/src/se/expr/symbolic_memory.rs:174
← previousnext →201–300 of 576, ranked by callers