Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
K
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
|
Z
_
__init__() (manticore.core.manticore.ManticoreBase method)
A
abandon() (manticore.core.state.StateBase method)
ABI (class in manticore.ethereum)
account_exists() (manticore.platforms.evm.EVMWorld method)
account_name() (manticore.ethereum.ManticoreEVM method)
accounts (manticore.ethereum.ManticoreEVM property)
(manticore.platforms.evm.EVMWorld property)
Activation (class in manticore.wasm.structure)
add_hook() (manticore.native.state.State method)
add_refund() (manticore.platforms.evm.EVMWorld method)
add_symbolic_file() (manticore.platforms.linux.SLinux method)
add_to_balance() (manticore.platforms.evm.EVMWorld method)
Addr (class in manticore.wasm.structure)
address (manticore.platforms.evm.EVMLog property)
(manticore.platforms.evm.PendingTransaction property)
(manticore.platforms.evm.Transaction attribute)
advice (manticore.platforms.wasm.WASMWorld attribute)
all_registers (manticore.native.cpu.abstractcpu.Cpu property)
all_sound_states (manticore.ethereum.ManticoreEVM property)
all_transactions (manticore.platforms.evm.EVMWorld property)
allocate() (manticore.wasm.structure.Function method)
(manticore.wasm.structure.Global method)
(manticore.wasm.structure.HostFunc method)
(manticore.wasm.structure.Memory method)
(manticore.wasm.structure.ModuleInstance method)
(manticore.wasm.structure.Table method)
allocated (manticore.platforms.evm.EVM property)
arity (manticore.wasm.structure.Activation attribute)
(manticore.wasm.structure.Label attribute)
at_not_running() (manticore.core.manticore.ManticoreBase method)
at_running() (manticore.core.manticore.ManticoreBase method)
AtomicStack (class in manticore.wasm.structure)
AtomicStack.PopItem (class in manticore.wasm.structure)
AtomicStack.PushItem (class in manticore.wasm.structure)
B
backup_emulate() (manticore.native.cpu.abstractcpu.Cpu method)
block() (manticore.wasm.structure.ModuleInstance method)
block_coinbase() (manticore.platforms.evm.EVMWorld method)
block_difficulty() (manticore.platforms.evm.EVMWorld method)
block_gaslimit() (manticore.platforms.evm.EVMWorld method)
block_hash() (manticore.platforms.evm.EVMWorld method)
block_number() (manticore.platforms.evm.EVMWorld method)
block_prevhash() (manticore.platforms.evm.EVMWorld method)
block_timestamp() (manticore.platforms.evm.EVMWorld method)
BlockHeader (class in manticore.platforms.evm)
BlockImm (class in manticore.wasm.types)
blocknumber (manticore.platforms.evm.BlockHeader property)
body (manticore.wasm.structure.Function attribute)
br() (manticore.wasm.structure.ModuleInstance method)
br_if() (manticore.wasm.structure.ModuleInstance method)
br_table() (manticore.wasm.structure.ModuleInstance method)
BranchImm (class in manticore.wasm.types)
BranchTableImm (class in manticore.wasm.types)
built-in function
did_close_transaction_callback()
did_evm_execute_instruction_callback()
did_evm_read_code_callback()
did_evm_read_memory_callback()
did_evm_read_storage_callback()
did_evm_write_memory_callback()
did_evm_write_storage_callback()
did_execute_instruction_callback()
did_execute_syscall_callback()
did_fork_state_callback()
did_load_state_callback()
did_map_memory_callback()
did_open_transaction_callback()
did_protect_memory_callback()
did_read_memory_callback()
did_read_register_callback()
did_run_callback()
did_set_descriptor_callback()
did_sill_state_callback()
did_terminate_state_callback()
did_terminate_worker_callback()
did_unmap_memory_callback()
did_write_memory_callback()
did_write_register_callback()
on_concreate_sha3_callback()
on_symbolic_sha3_callback()
will_close_transaction_callback()
will_decode_instruction_callback()
,
[1]
will_evm_execute_instruction_callback()
will_evm_read_storage_callback()
will_evm_write_storage_callback()
will_execute_instruction_callback()
will_execute_syscall_callback()
will_fork_state_callback()
will_kill_state_callback()
will_load_state_callback()
will_map_memory_callback()
,
[1]
will_open_transaction_callback()
will_protect_memory_callback()
will_read_memory_callback()
will_read_register_callback()
will_run_callback()
will_set_descriptor_callback()
will_start_worker_callback()
will_terminate_state_callback()
will_unmap_memory_callback()
will_write_memory_callback()
will_write_register_callback()
bytecode (manticore.platforms.evm.EVM property)
C
calculate_new_address() (manticore.platforms.evm.EVMWorld static method)
call() (manticore.wasm.structure.ModuleInstance method)
call_indirect() (manticore.wasm.structure.ModuleInstance method)
caller (manticore.platforms.evm.PendingTransaction property)
(manticore.platforms.evm.Transaction attribute)
CallImm (class in manticore.wasm.types)
CallIndirectImm (class in manticore.wasm.types)
can_be_false() (manticore.core.state.StateBase method)
can_be_NULL() (in module manticore.native.models)
can_be_true() (manticore.core.state.StateBase method)
cannot_be_NULL() (in module manticore.native.models)
canonical_registers (manticore.native.cpu.abstractcpu.Cpu property)
canonicalize_instruction_name() (manticore.native.cpu.abstractcpu.Cpu method)
cast() (manticore.wasm.types.F32 class method)
(manticore.wasm.types.F64 class method)
(manticore.wasm.types.I32 class method)
(manticore.wasm.types.I64 class method)
ceil32() (in module manticore.platforms.evm)
CHAINID() (manticore.platforms.evm.EVM method)
change_last_result() (manticore.platforms.evm.EVM method)
check256int() (manticore.platforms.evm.EVM static method)
check_oog() (manticore.platforms.evm.EVM method)
check_overflow() (manticore.wasm.executor.Executor method)
check_zero_div() (manticore.wasm.executor.Executor method)
children (manticore.core.plugin.StateDescriptor attribute)
clear_ready_states() (manticore.core.manticore.ManticoreBase method)
clear_snapshot() (manticore.core.manticore.ManticoreBase method)
clear_terminated_states() (manticore.core.manticore.ManticoreBase method)
code (manticore.wasm.structure.FuncInst attribute)
coinbase (manticore.platforms.evm.BlockHeader property)
collect_returns() (manticore.wasm.manticore.ManticoreWASM method)
completed_transactions (manticore.ethereum.ManticoreEVM property)
concrete_emulate() (manticore.native.cpu.abstractcpu.Cpu method)
concretize() (manticore.core.state.StateBase method)
(manticore.platforms.evm.Transaction method)
ConcretizeArgument
ConcretizeCondition
concretized_args() (in module manticore.platforms.evm)
ConcretizeFee
ConcretizeGas
ConcretizeStack
constrain() (manticore.core.state.StateBase method)
(manticore.ethereum.ManticoreEVM method)
constraints (manticore.core.state.StateBase property)
(manticore.platforms.evm.EVM property)
(manticore.platforms.evm.EVMWorld property)
(manticore.platforms.wasm.WASMWorld attribute)
context (manticore.core.manticore.ManticoreBase property)
(manticore.core.state.StateBase property)
contract_accounts (manticore.ethereum.ManticoreEVM property)
(manticore.platforms.evm.EVMWorld property)
convert_instructions() (in module manticore.wasm.types)
count_all_states() (manticore.core.manticore.ManticoreBase method)
count_states() (manticore.core.manticore.ManticoreBase method)
Cpu (class in manticore.native.cpu.abstractcpu)
cpu (manticore.native.state.State property)
create_account() (manticore.ethereum.ManticoreEVM method)
(manticore.platforms.evm.EVMWorld method)
create_contract() (manticore.ethereum.ManticoreEVM method)
(manticore.platforms.evm.EVMWorld method)
created_at (manticore.core.plugin.StateDescriptor attribute)
CurGrowMemImm (class in manticore.wasm.types)
current_human_transaction (manticore.platforms.evm.EVMWorld property)
current_location() (manticore.ethereum.ManticoreEVM method)
current_memory() (manticore.wasm.executor.Executor method)
current_transaction (manticore.platforms.evm.EVMWorld property)
current_vm (manticore.platforms.evm.EVMWorld property)
D
Data (class in manticore.wasm.structure)
data (manticore.platforms.evm.PendingTransaction property)
(manticore.platforms.evm.Transaction attribute)
(manticore.wasm.structure.AtomicStack attribute)
(manticore.wasm.structure.Data attribute)
(manticore.wasm.structure.Module attribute)
(manticore.wasm.structure.Stack attribute)
debug() (in module manticore.wasm.types)
decode_instruction() (manticore.native.cpu.abstractcpu.Cpu method)
default_invoke() (manticore.wasm.manticore.ManticoreWASM method)
default_target (manticore.wasm.types.BranchTableImm attribute)
delete_account() (manticore.platforms.evm.EVMWorld method)
deleted_accounts (manticore.platforms.evm.EVMWorld property)
depth (manticore.platforms.evm.EVMWorld property)
(manticore.platforms.evm.Transaction attribute)
desc (manticore.wasm.structure.Export attribute)
(manticore.wasm.structure.Import attribute)
deserialize() (manticore.ethereum.ABI static method)
did_close_transaction_callback()
built-in function
did_evm_execute_instruction_callback()
built-in function
did_evm_read_code_callback()
built-in function
did_evm_read_memory_callback()
built-in function
did_evm_read_storage_callback()
built-in function
did_evm_write_memory_callback()
built-in function
did_evm_write_storage_callback()
built-in function
did_execute_instruction_callback()
built-in function
did_execute_syscall_callback()
built-in function
did_fork_state_callback()
built-in function
did_load_state_callback()
built-in function
did_map_memory_callback()
built-in function
did_open_transaction_callback()
built-in function
did_protect_memory_callback()
built-in function
did_read_memory_callback()
built-in function
did_read_register_callback()
built-in function
did_run_callback()
built-in function
did_set_descriptor_callback()
built-in function
did_sill_state_callback()
built-in function
did_terminate_state_callback()
built-in function
did_terminate_worker_callback()
built-in function
did_unmap_memory_callback()
built-in function
did_write_memory_callback()
built-in function
did_write_register_callback()
built-in function
difficulty (manticore.platforms.evm.BlockHeader property)
disassemble() (manticore.platforms.evm.EVM method)
dispatch() (manticore.wasm.executor.Executor method)
drop() (manticore.wasm.executor.Executor method)
dump() (manticore.platforms.evm.EVMWorld method)
(manticore.platforms.evm.Transaction method)
(manticore.wasm.structure.MemInst method)
E
Elem (class in manticore.wasm.structure)
elem (manticore.wasm.structure.Module attribute)
(manticore.wasm.structure.TableInst attribute)
elemtype (manticore.wasm.types.TableType attribute)
else_() (manticore.wasm.structure.ModuleInstance method)
empty() (manticore.wasm.structure.AtomicStack method)
(manticore.wasm.structure.Stack method)
emulate() (manticore.native.cpu.abstractcpu.Cpu method)
emulate_until() (manticore.native.cpu.abstractcpu.Cpu method)
end() (manticore.wasm.structure.ModuleInstance method)
end_block() (manticore.ethereum.ManticoreEVM method)
(manticore.platforms.evm.EVMWorld method)
EndTx
enter_block() (manticore.wasm.structure.ModuleInstance method)
EVM (class in manticore.platforms.evm)
EVM.transact (class in manticore.platforms.evm)
EVMException
evmfork (manticore.platforms.evm.EVMWorld property)
EVMLog (class in manticore.platforms.evm)
EVMWorld (class in manticore.platforms.evm)
exec_expression() (manticore.wasm.structure.ModuleInstance method)
exec_for_test() (manticore.platforms.wasm.WASMWorld method)
exec_instruction() (manticore.wasm.structure.ModuleInstance method)
execute() (manticore.core.state.StateBase method)
(manticore.native.cpu.abstractcpu.Cpu method)
(manticore.native.state.State method)
(manticore.platforms.evm.EVM method)
(manticore.platforms.evm.EVMWorld method)
(manticore.platforms.wasm.WASMWorld method)
Executor (class in manticore.wasm.executor)
executor (manticore.wasm.structure.ModuleInstance attribute)
exit_block() (manticore.wasm.structure.ModuleInstance method)
exit_function() (manticore.wasm.structure.ModuleInstance method)
expected_block_depth (manticore.wasm.structure.Activation attribute)
Export (class in manticore.wasm.structure)
export_map (manticore.wasm.structure.ModuleInstance attribute)
exported_functions (manticore.wasm.manticore.ManticoreWASM attribute)
ExportInst (class in manticore.wasm.structure)
exports (manticore.wasm.structure.Module attribute)
(manticore.wasm.structure.ModuleInstance attribute)
EXTCODEHASH() (manticore.platforms.evm.EVM method)
ExternType (in module manticore.wasm.types)
extract_block() (manticore.wasm.structure.ModuleInstance method)
F
F32 (class in manticore.wasm.types)
f32_abs() (manticore.wasm.executor.Executor method)
f32_add() (manticore.wasm.executor.Executor method)
f32_binary() (manticore.wasm.executor.Executor method)
f32_ceil() (manticore.wasm.executor.Executor method)
f32_const() (manticore.wasm.executor.Executor method)
f32_convert_s_i32() (manticore.wasm.executor.Executor method)
f32_convert_s_i64() (manticore.wasm.executor.Executor method)
f32_convert_u_i32() (manticore.wasm.executor.Executor method)
f32_convert_u_i64() (manticore.wasm.executor.Executor method)
f32_copysign() (manticore.wasm.executor.Executor method)
f32_demote_f64() (manticore.wasm.executor.Executor method)
f32_div() (manticore.wasm.executor.Executor method)
f32_eq() (manticore.wasm.executor.Executor method)
f32_floor() (manticore.wasm.executor.Executor method)
f32_ge() (manticore.wasm.executor.Executor method)
f32_gt() (manticore.wasm.executor.Executor method)
f32_le() (manticore.wasm.executor.Executor method)
f32_load() (manticore.wasm.executor.Executor method)
f32_lt() (manticore.wasm.executor.Executor method)
f32_max() (manticore.wasm.executor.Executor method)
f32_min() (manticore.wasm.executor.Executor method)
f32_mul() (manticore.wasm.executor.Executor method)
f32_ne() (manticore.wasm.executor.Executor method)
f32_nearest() (manticore.wasm.executor.Executor method)
f32_neg() (manticore.wasm.executor.Executor method)
f32_reinterpret_i32() (manticore.wasm.executor.Executor method)
f32_sqrt() (manticore.wasm.executor.Executor method)
f32_store() (manticore.wasm.executor.Executor method)
f32_sub() (manticore.wasm.executor.Executor method)
f32_trunc() (manticore.wasm.executor.Executor method)
f32_unary() (manticore.wasm.executor.Executor method)
F32ConstImm (class in manticore.wasm.types)
F64 (class in manticore.wasm.types)
f64_abs() (manticore.wasm.executor.Executor method)
f64_add() (manticore.wasm.executor.Executor method)
f64_binary() (manticore.wasm.executor.Executor method)
f64_ceil() (manticore.wasm.executor.Executor method)
f64_const() (manticore.wasm.executor.Executor method)
f64_convert_s_i32() (manticore.wasm.executor.Executor method)
f64_convert_s_i64() (manticore.wasm.executor.Executor method)
f64_convert_u_i32() (manticore.wasm.executor.Executor method)
f64_convert_u_i64() (manticore.wasm.executor.Executor method)
f64_copysign() (manticore.wasm.executor.Executor method)
f64_div() (manticore.wasm.executor.Executor method)
f64_eq() (manticore.wasm.executor.Executor method)
f64_floor() (manticore.wasm.executor.Executor method)
f64_ge() (manticore.wasm.executor.Executor method)
f64_gt() (manticore.wasm.executor.Executor method)
f64_le() (manticore.wasm.executor.Executor method)
f64_load() (manticore.wasm.executor.Executor method)
f64_lt() (manticore.wasm.executor.Executor method)
f64_max() (manticore.wasm.executor.Executor method)
f64_min() (manticore.wasm.executor.Executor method)
f64_mul() (manticore.wasm.executor.Executor method)
f64_ne() (manticore.wasm.executor.Executor method)
f64_nearest() (manticore.wasm.executor.Executor method)
f64_neg() (manticore.wasm.executor.Executor method)
f64_promote_f32() (manticore.wasm.executor.Executor method)
f64_reinterpret_i64() (manticore.wasm.executor.Executor method)
f64_sqrt() (manticore.wasm.executor.Executor method)
f64_store() (manticore.wasm.executor.Executor method)
f64_sub() (manticore.wasm.executor.Executor method)
f64_trunc() (manticore.wasm.executor.Executor method)
f64_unary() (manticore.wasm.executor.Executor method)
F64ConstImm (class in manticore.wasm.types)
fail_if() (manticore.platforms.evm.EVM method)
failed (manticore.platforms.evm.PendingTransaction property)
field_updated_at (manticore.core.plugin.StateDescriptor attribute)
finalize() (manticore.core.manticore.ManticoreBase method)
(manticore.ethereum.ManticoreEVM method)
(manticore.wasm.manticore.ManticoreWASM method)
find_type() (manticore.wasm.structure.AtomicStack method)
(manticore.wasm.structure.Stack method)
fix_unsound_all() (manticore.ethereum.ManticoreEVM method)
fix_unsound_symbolication() (manticore.ethereum.ManticoreEVM method)
fix_unsound_symbolication_fake() (manticore.ethereum.ManticoreEVM method)
fix_unsound_symbolication_sound() (manticore.ethereum.ManticoreEVM method)
flags (manticore.wasm.types.MemoryImm attribute)
float_load() (manticore.wasm.executor.Executor method)
float_push_compare_return() (manticore.wasm.executor.Executor method)
float_store() (manticore.wasm.executor.Executor method)
Frame (class in manticore.wasm.structure)
frame (manticore.wasm.structure.Activation attribute)
from_saved_state() (manticore.core.manticore.ManticoreBase class method)
FuncAddr (class in manticore.wasm.structure)
funcaddrs (manticore.wasm.structure.ModuleInstance attribute)
FuncIdx (class in manticore.wasm.types)
FuncInst (class in manticore.wasm.structure)
funcs (manticore.wasm.structure.Module attribute)
(manticore.wasm.structure.Store attribute)
Function (class in manticore.wasm.structure)
function_call() (manticore.ethereum.ABI static method)
function_index (manticore.wasm.types.CallImm attribute)
function_names (manticore.wasm.structure.Module attribute)
(manticore.wasm.structure.ModuleInstance attribute)
function_selector() (manticore.ethereum.ABI static method)
FunctionType (class in manticore.wasm.types)
G
gas (manticore.platforms.evm.EVM property)
(manticore.platforms.evm.PendingTransaction property)
(manticore.platforms.evm.Transaction attribute)
gaslimit (manticore.platforms.evm.BlockHeader property)
generate_testcase() (manticore.ethereum.ManticoreEVM method)
(manticore.wasm.manticore.ManticoreWASM method)
get_account() (manticore.ethereum.ManticoreEVM method)
get_balance() (manticore.ethereum.ManticoreEVM method)
(manticore.platforms.evm.EVMWorld method)
get_code() (manticore.ethereum.ManticoreEVM method)
(manticore.platforms.evm.EVMWorld method)
get_export() (manticore.platforms.wasm.WASMWorld method)
(manticore.wasm.structure.ModuleInstance method)
get_export_address() (manticore.wasm.structure.ModuleInstance method)
get_frame() (manticore.wasm.structure.AtomicStack method)
(manticore.wasm.structure.Stack method)
get_funcnames() (manticore.wasm.structure.Module method)
get_global() (manticore.wasm.executor.Executor method)
get_local() (manticore.wasm.executor.Executor method)
get_metadata() (manticore.ethereum.ManticoreEVM method)
get_module_imports() (manticore.platforms.wasm.WASMWorld method)
get_nonce() (manticore.ethereum.ManticoreEVM method)
(manticore.platforms.evm.EVMWorld method)
get_nth() (manticore.wasm.structure.AtomicStack method)
(manticore.wasm.structure.Stack method)
get_storage() (manticore.platforms.evm.EVMWorld method)
get_storage_data() (manticore.ethereum.ManticoreEVM method)
(manticore.platforms.evm.EVMWorld method)
get_storage_items() (manticore.platforms.evm.EVMWorld method)
get_world() (manticore.ethereum.ManticoreEVM method)
Global (class in manticore.wasm.structure)
global_coverage() (manticore.ethereum.ManticoreEVM method)
global_findings (manticore.ethereum.ManticoreEVM property)
global_index (manticore.wasm.types.GlobalVarXsImm attribute)
GlobalAddr (class in manticore.wasm.structure)
globaladdrs (manticore.wasm.structure.ModuleInstance attribute)
globalfakesha3() (in module manticore.platforms.evm)
GlobalIdx (class in manticore.wasm.types)
GlobalInst (class in manticore.wasm.structure)
globals (manticore.wasm.structure.Module attribute)
(manticore.wasm.structure.Store attribute)
globalsha3() (in module manticore.platforms.evm)
GlobalType (class in manticore.wasm.types)
GlobalVarXsImm (class in manticore.wasm.types)
goto_snapshot() (manticore.core.manticore.ManticoreBase method)
grow() (manticore.wasm.structure.MemInst method)
grow_memory() (manticore.wasm.executor.Executor method)
H
has_at_least() (manticore.wasm.structure.AtomicStack method)
(manticore.wasm.structure.Stack method)
has_code() (manticore.platforms.evm.EVMWorld method)
has_storage() (manticore.platforms.evm.EVMWorld method)
has_type_on_top() (manticore.wasm.structure.AtomicStack method)
(manticore.wasm.structure.Stack method)
hostcode (manticore.wasm.structure.HostFunc attribute)
HostFunc (class in manticore.wasm.structure)
human_transactions (manticore.platforms.evm.EVMWorld property)
human_transactions() (manticore.ethereum.ManticoreEVM method)
I
I32 (class in manticore.wasm.types)
i32_add() (manticore.wasm.executor.Executor method)
i32_and() (manticore.wasm.executor.Executor method)
i32_clz() (manticore.wasm.executor.Executor method)
i32_const() (manticore.wasm.executor.Executor method)
i32_ctz() (manticore.wasm.executor.Executor method)
i32_div_s() (manticore.wasm.executor.Executor method)
i32_div_u() (manticore.wasm.executor.Executor method)
i32_eq() (manticore.wasm.executor.Executor method)
i32_eqz() (manticore.wasm.executor.Executor method)
i32_ge_s() (manticore.wasm.executor.Executor method)
i32_ge_u() (manticore.wasm.executor.Executor method)
i32_gt_s() (manticore.wasm.executor.Executor method)
i32_gt_u() (manticore.wasm.executor.Executor method)
i32_le_s() (manticore.wasm.executor.Executor method)
i32_le_u() (manticore.wasm.executor.Executor method)
i32_load() (manticore.wasm.executor.Executor method)
i32_load16_s() (manticore.wasm.executor.Executor method)
i32_load16_u() (manticore.wasm.executor.Executor method)
i32_load8_s() (manticore.wasm.executor.Executor method)
i32_load8_u() (manticore.wasm.executor.Executor method)
i32_lt_s() (manticore.wasm.executor.Executor method)
i32_lt_u() (manticore.wasm.executor.Executor method)
i32_mul() (manticore.wasm.executor.Executor method)
i32_ne() (manticore.wasm.executor.Executor method)
i32_or() (manticore.wasm.executor.Executor method)
i32_popcnt() (manticore.wasm.executor.Executor method)
i32_reinterpret_f32() (manticore.wasm.executor.Executor method)
i32_rem_s() (manticore.wasm.executor.Executor method)
i32_rem_u() (manticore.wasm.executor.Executor method)
i32_rotl() (manticore.wasm.executor.Executor method)
i32_rotr() (manticore.wasm.executor.Executor method)
i32_shl() (manticore.wasm.executor.Executor method)
i32_shr_s() (manticore.wasm.executor.Executor method)
i32_shr_u() (manticore.wasm.executor.Executor method)
i32_store() (manticore.wasm.executor.Executor method)
i32_store16() (manticore.wasm.executor.Executor method)
i32_store8() (manticore.wasm.executor.Executor method)
i32_sub() (manticore.wasm.executor.Executor method)
i32_trunc_s_f32() (manticore.wasm.executor.Executor method)
i32_trunc_s_f64() (manticore.wasm.executor.Executor method)
i32_trunc_u_f32() (manticore.wasm.executor.Executor method)
i32_trunc_u_f64() (manticore.wasm.executor.Executor method)
i32_wrap_i64() (manticore.wasm.executor.Executor method)
i32_xor() (manticore.wasm.executor.Executor method)
I32ConstImm (class in manticore.wasm.types)
I64 (class in manticore.wasm.types)
i64_add() (manticore.wasm.executor.Executor method)
i64_and() (manticore.wasm.executor.Executor method)
i64_clz() (manticore.wasm.executor.Executor method)
i64_const() (manticore.wasm.executor.Executor method)
i64_ctz() (manticore.wasm.executor.Executor method)
i64_div_s() (manticore.wasm.executor.Executor method)
i64_div_u() (manticore.wasm.executor.Executor method)
i64_eq() (manticore.wasm.executor.Executor method)
i64_eqz() (manticore.wasm.executor.Executor method)
i64_extend_s_i32() (manticore.wasm.executor.Executor method)
i64_extend_u_i32() (manticore.wasm.executor.Executor method)
i64_ge_s() (manticore.wasm.executor.Executor method)
i64_ge_u() (manticore.wasm.executor.Executor method)
i64_gt_s() (manticore.wasm.executor.Executor method)
i64_gt_u() (manticore.wasm.executor.Executor method)
i64_le_s() (manticore.wasm.executor.Executor method)
i64_le_u() (manticore.wasm.executor.Executor method)
i64_load() (manticore.wasm.executor.Executor method)
i64_load16_s() (manticore.wasm.executor.Executor method)
i64_load16_u() (manticore.wasm.executor.Executor method)
i64_load32_s() (manticore.wasm.executor.Executor method)
i64_load32_u() (manticore.wasm.executor.Executor method)
i64_load8_s() (manticore.wasm.executor.Executor method)
i64_load8_u() (manticore.wasm.executor.Executor method)
i64_lt_s() (manticore.wasm.executor.Executor method)
i64_lt_u() (manticore.wasm.executor.Executor method)
i64_mul() (manticore.wasm.executor.Executor method)
i64_ne() (manticore.wasm.executor.Executor method)
i64_or() (manticore.wasm.executor.Executor method)
i64_popcnt() (manticore.wasm.executor.Executor method)
i64_reinterpret_f64() (manticore.wasm.executor.Executor method)
i64_rem_s() (manticore.wasm.executor.Executor method)
i64_rem_u() (manticore.wasm.executor.Executor method)
i64_rotl() (manticore.wasm.executor.Executor method)
i64_rotr() (manticore.wasm.executor.Executor method)
i64_shl() (manticore.wasm.executor.Executor method)
i64_shr_s() (manticore.wasm.executor.Executor method)
i64_shr_u() (manticore.wasm.executor.Executor method)
i64_store() (manticore.wasm.executor.Executor method)
i64_store16() (manticore.wasm.executor.Executor method)
i64_store32() (manticore.wasm.executor.Executor method)
i64_store8() (manticore.wasm.executor.Executor method)
i64_sub() (manticore.wasm.executor.Executor method)
i64_trunc_s_f32() (manticore.wasm.executor.Executor method)
i64_trunc_s_f64() (manticore.wasm.executor.Executor method)
i64_trunc_u_f32() (manticore.wasm.executor.Executor method)
i64_trunc_u_f64() (manticore.wasm.executor.Executor method)
i64_xor() (manticore.wasm.executor.Executor method)
I64ConstImm (class in manticore.wasm.types)
icount (manticore.native.cpu.abstractcpu.Cpu property)
id (manticore.core.state.StateBase property)
if_() (manticore.wasm.structure.ModuleInstance method)
imm (manticore.wasm.types.Instruction attribute)
ImmType (in module manticore.wasm.types)
Import (class in manticore.wasm.structure)
import_module() (manticore.platforms.wasm.WASMWorld method)
imports (manticore.wasm.structure.Module attribute)
increase_nonce() (manticore.platforms.evm.EVMWorld method)
init (manticore.wasm.structure.Data attribute)
(manticore.wasm.structure.Elem attribute)
(manticore.wasm.structure.Global attribute)
input_symbols (manticore.core.state.StateBase property)
instance (manticore.platforms.wasm.WASMWorld property)
instantiate() (manticore.platforms.wasm.WASMWorld method)
(manticore.wasm.structure.ModuleInstance method)
instantiated (manticore.platforms.wasm.WASMWorld attribute)
(manticore.wasm.structure.ModuleInstance attribute)
instr (manticore.wasm.structure.Label attribute)
Instruction (class in manticore.wasm.types)
instruction (manticore.native.cpu.abstractcpu.Cpu property)
(manticore.platforms.evm.EVM property)
int_load() (manticore.wasm.executor.Executor method)
int_store() (manticore.wasm.executor.Executor method)
introspect() (manticore.core.manticore.ManticoreBase method)
InvalidConversionTrap
InvalidOpcode
invoke() (manticore.platforms.wasm.WASMWorld method)
(manticore.wasm.manticore.ManticoreWASM method)
(manticore.wasm.structure.ModuleInstance method)
invoke_by_name() (manticore.wasm.structure.ModuleInstance method)
invoke_model() (manticore.native.state.State method)
is_failed() (manticore.platforms.evm.EVM method)
is_feasible() (manticore.core.state.StateBase method)
is_human (manticore.platforms.evm.Transaction property)
is_killed() (manticore.core.manticore.ManticoreBase method)
is_main() (manticore.core.manticore.ManticoreBase method)
is_rollback() (manticore.platforms.evm.EndTx method)
is_running() (manticore.core.manticore.ManticoreBase method)
isvariadic() (in module manticore.native.models)
J
join() (manticore.core.worker.Worker method)
K
kill() (manticore.core.manticore.ManticoreBase method)
kill_state() (manticore.core.manticore.ManticoreBase method)
kill_timeout() (manticore.core.manticore.ManticoreBase method)
L
Label (class in manticore.wasm.structure)
LabelIdx (class in manticore.wasm.types)
last_executed_insn (manticore.native.cpu.abstractcpu.Cpu property)
last_executed_pc (manticore.native.cpu.abstractcpu.Cpu property)
last_human_transaction (manticore.platforms.evm.EVMWorld property)
last_intermittent_update (manticore.core.plugin.StateDescriptor attribute)
last_pc (manticore.core.plugin.StateDescriptor attribute)
last_return() (manticore.ethereum.ManticoreEVM method)
last_transaction (manticore.platforms.evm.EVMWorld property)
last_update (manticore.core.plugin.StateDescriptor attribute)
limits (manticore.wasm.types.TableType attribute)
LimitType (class in manticore.wasm.types)
load() (manticore.wasm.structure.Module class method)
local_index (manticore.wasm.types.LocalVarXsImm attribute)
local_names (manticore.wasm.structure.Module attribute)
(manticore.wasm.structure.ModuleInstance attribute)
LocalIdx (class in manticore.wasm.types)
locals (manticore.wasm.structure.Frame attribute)
(manticore.wasm.structure.Function attribute)
LocalVarXsImm (class in manticore.wasm.types)
locked_context() (manticore.core.manticore.ManticoreBase method)
log() (manticore.platforms.evm.EVMWorld method)
log_storage() (manticore.platforms.evm.EVMWorld method)
logs (manticore.platforms.evm.EVMWorld property)
look_forward() (manticore.wasm.structure.ModuleInstance method)
loop() (manticore.wasm.structure.ModuleInstance method)
M
make_symbolic_address() (manticore.ethereum.ManticoreEVM method)
make_symbolic_arguments() (manticore.ethereum.ManticoreEVM method)
make_symbolic_buffer() (manticore.ethereum.ManticoreEVM method)
make_symbolic_value() (manticore.ethereum.ManticoreEVM method)
manticore.native.models
module
manticore.platforms.evm
module
manticore.platforms.wasm
module
manticore.wasm.executor
module
manticore.wasm.manticore
module
manticore.wasm.structure
module
manticore.wasm.types
module
ManticoreBase (class in manticore.core.manticore)
ManticoreEVM (class in manticore.ethereum)
ManticoreWASM (class in manticore.wasm.manticore)
max (manticore.wasm.structure.MemInst attribute)
(manticore.wasm.structure.TableInst attribute)
(manticore.wasm.types.LimitType attribute)
mem (manticore.native.state.State property)
MemAddr (class in manticore.wasm.structure)
memaddrs (manticore.wasm.structure.ModuleInstance attribute)
MemIdx (class in manticore.wasm.types)
MemInst (class in manticore.wasm.structure)
memlog (manticore.platforms.evm.EVMLog property)
Memory (class in manticore.wasm.structure)
memory (manticore.native.cpu.abstractcpu.Cpu property)
MemoryImm (class in manticore.wasm.types)
MemoryType (in module manticore.wasm.types)
mems (manticore.wasm.structure.Module attribute)
(manticore.wasm.structure.Store attribute)
migrate_expression() (manticore.core.state.StateBase method)
min (manticore.wasm.types.LimitType attribute)
MissingExportException
mnemonic (manticore.wasm.types.Instruction attribute)
module
manticore.native.models
manticore.platforms.evm
manticore.platforms.wasm
manticore.wasm.executor
manticore.wasm.manticore
manticore.wasm.structure
manticore.wasm.types
Module (class in manticore.wasm.structure)
module (manticore.platforms.wasm.WASMWorld property)
(manticore.wasm.structure.Frame attribute)
(manticore.wasm.structure.FuncInst attribute)
(manticore.wasm.structure.Import attribute)
ModuleInstance (class in manticore.wasm.structure)
multi_tx_analysis() (manticore.ethereum.ManticoreEVM method)
munmap() (manticore.native.memory.SMemory method)
must_be_NULL() (in module manticore.native.models)
must_be_true() (manticore.core.state.StateBase method)
mut (manticore.wasm.structure.GlobalInst attribute)
(manticore.wasm.types.GlobalType attribute)
N
Name (class in manticore.wasm.types)
name (manticore.wasm.structure.Export attribute)
(manticore.wasm.structure.ExportInst attribute)
(manticore.wasm.structure.Import attribute)
new_address() (manticore.ethereum.ManticoreEVM method)
(manticore.platforms.evm.EVMWorld method)
new_symbolic_buffer() (manticore.core.state.StateBase method)
new_symbolic_value() (manticore.core.state.StateBase method)
NonExistentFunctionCallTrap
nop() (manticore.wasm.executor.Executor method)
normal_accounts (manticore.ethereum.ManticoreEVM property)
(manticore.platforms.evm.EVMWorld property)
NotEnoughGas
npages (manticore.wasm.structure.MemInst property)
O
offset (manticore.wasm.structure.Data attribute)
(manticore.wasm.structure.Elem attribute)
(manticore.wasm.types.MemoryImm attribute)
on_concreate_sha3_callback()
built-in function
on_symbolic_sha3_callback()
built-in function
only_from_main_script() (manticore.core.manticore.ManticoreBase method)
opcode (manticore.wasm.types.Instruction attribute)
operator_ceil() (in module manticore.wasm.executor)
operator_div() (in module manticore.wasm.executor)
operator_floor() (in module manticore.wasm.executor)
operator_max() (in module manticore.wasm.executor)
operator_min() (in module manticore.wasm.executor)
operator_nearest() (in module manticore.wasm.executor)
operator_trunc() (in module manticore.wasm.executor)
OutOfBoundsMemoryTrap
OverflowDivisionTrap
own_execs (manticore.core.plugin.StateDescriptor attribute)
P
PAGESIZE (in module manticore.wasm.structure)
param_types (manticore.wasm.types.FunctionType attribute)
parent (manticore.core.plugin.StateDescriptor attribute)
pc (manticore.core.plugin.StateDescriptor attribute)
(manticore.platforms.evm.EVM property)
peek() (manticore.wasm.structure.AtomicStack method)
(manticore.wasm.structure.Stack method)
PendingTransaction (class in manticore.platforms.evm)
platform (manticore.core.state.StateBase property)
pop() (manticore.wasm.structure.AtomicStack method)
(manticore.wasm.structure.Stack method)
pop_bytes() (manticore.native.cpu.abstractcpu.Cpu method)
pop_int() (manticore.native.cpu.abstractcpu.Cpu method)
pos() (manticore.platforms.evm.EVM.transact method)
preconstraint_for_call_transaction() (manticore.ethereum.ManticoreEVM method)
pretty_print_states() (manticore.core.manticore.ManticoreBase method)
price (manticore.platforms.evm.PendingTransaction property)
(manticore.platforms.evm.Transaction attribute)
ProtoFuncInst (class in manticore.wasm.structure)
push() (manticore.wasm.structure.AtomicStack method)
(manticore.wasm.structure.Stack method)
push_bytes() (manticore.native.cpu.abstractcpu.Cpu method)
push_instructions() (manticore.wasm.structure.ModuleInstance method)
push_int() (manticore.native.cpu.abstractcpu.Cpu method)
R
read() (manticore.native.memory.SMemory method)
read_buffer() (manticore.platforms.evm.EVM method)
read_bytes() (manticore.native.cpu.abstractcpu.Cpu method)
(manticore.wasm.structure.MemInst method)
read_code() (manticore.platforms.evm.EVM method)
read_int() (manticore.native.cpu.abstractcpu.Cpu method)
(manticore.wasm.structure.MemInst method)
read_register() (manticore.native.cpu.abstractcpu.Cpu method)
read_string() (manticore.native.cpu.abstractcpu.Cpu method)
ready_sound_states (manticore.ethereum.ManticoreEVM property)
regfile (manticore.native.cpu.abstractcpu.Cpu property)
register_daemon() (manticore.core.manticore.ManticoreBase method)
register_detector() (manticore.ethereum.ManticoreEVM method)
register_module() (manticore.platforms.wasm.WASMWorld method)
relative_depth (manticore.wasm.types.BranchImm attribute)
remove_all() (manticore.core.manticore.ManticoreBase method)
remove_hook() (manticore.native.state.State method)
render_instruction() (manticore.native.cpu.abstractcpu.Cpu method)
render_register() (manticore.native.cpu.abstractcpu.Cpu method)
render_registers() (manticore.native.cpu.abstractcpu.Cpu method)
reserved (manticore.wasm.types.CallIndirectImm attribute)
(manticore.wasm.types.CurGrowMemImm attribute)
reset_internal() (manticore.wasm.structure.ModuleInstance method)
result (manticore.platforms.evm.Transaction property)
result_types (manticore.wasm.types.FunctionType attribute)
Return
return_() (manticore.wasm.structure.ModuleInstance method)
return_data (manticore.platforms.evm.Transaction property)
return_value (manticore.platforms.evm.Transaction property)
Revert
rollback() (manticore.wasm.structure.AtomicStack method)
run() (manticore.core.manticore.ManticoreBase method)
(manticore.core.worker.Worker method)
(manticore.ethereum.ManticoreEVM method)
(manticore.wasm.manticore.ManticoreWASM method)
S
safe_add() (manticore.platforms.evm.EVM method)
safe_mul() (manticore.platforms.evm.EVM method)
SAR() (manticore.platforms.evm.EVM method)
save_run_data() (manticore.wasm.manticore.ManticoreWASM method)
select() (manticore.wasm.executor.Executor method)
SELFBALANCE() (manticore.platforms.evm.EVM method)
SelfDestruct
SELFDESTRUCT_gas() (manticore.platforms.evm.EVM method)
send_funds() (manticore.platforms.evm.EVMWorld method)
serialize() (manticore.ethereum.ABI static method)
set_balance() (manticore.platforms.evm.EVMWorld method)
set_code() (manticore.platforms.evm.EVMWorld method)
set_env() (manticore.platforms.wasm.WASMWorld method)
set_global() (manticore.wasm.executor.Executor method)
set_local() (manticore.wasm.executor.Executor method)
set_result() (manticore.platforms.evm.Transaction method)
set_storage_data() (manticore.platforms.evm.EVMWorld method)
set_verbosity() (in module manticore.utils.log)
SHL() (manticore.platforms.evm.EVM method)
SHR() (manticore.platforms.evm.EVM method)
sig (manticore.wasm.types.BlockImm attribute)
SLinux (class in manticore.platforms.linux)
SMemory (class in manticore.native.memory)
solidity_create_contract() (manticore.ethereum.ManticoreEVM method)
solve_buffer() (manticore.core.state.StateBase method)
solve_max() (manticore.core.state.StateBase method)
solve_min() (manticore.core.state.StateBase method)
solve_minmax() (manticore.core.state.StateBase method)
solve_n() (manticore.core.state.StateBase method)
solve_one() (manticore.core.state.StateBase method)
solve_one_n() (manticore.core.state.StateBase method)
solve_one_n_batched() (manticore.core.state.StateBase method)
sort (manticore.platforms.evm.Transaction property)
Stack (class in manticore.wasm.structure)
stack (manticore.platforms.wasm.WASMWorld attribute)
StackOverflow
StackUnderflow
start (manticore.wasm.structure.Module attribute)
start() (manticore.core.worker.Worker method)
start_block() (manticore.ethereum.ManticoreEVM method)
(manticore.platforms.evm.EVMWorld method)
start_transaction() (manticore.platforms.evm.EVMWorld method)
StartTx
State (class in manticore.native.state)
state_id (manticore.core.plugin.StateDescriptor attribute)
state_list (manticore.core.plugin.StateDescriptor attribute)
StateBase (class in manticore.core.state)
StateDescriptor (class in manticore.core.plugin)
status (manticore.core.plugin.StateDescriptor attribute)
Stop
Store (class in manticore.wasm.structure)
store (manticore.platforms.wasm.WASMWorld attribute)
strcmp() (in module manticore.native.models)
strcpy() (in module manticore.native.models)
strip_quotes() (in module manticore.wasm.structure)
strlen_approx() (in module manticore.native.models)
strlen_exact() (in module manticore.native.models)
strncpy() (in module manticore.native.models)
stub() (in module manticore.platforms.wasm)
sub_from_balance() (manticore.platforms.evm.EVMWorld method)
sub_refund() (manticore.platforms.evm.EVMWorld method)
subscribe() (manticore.core.manticore.ManticoreBase method)
symbolic_function() (manticore.platforms.evm.EVMWorld method)
symbolicate_buffer() (manticore.core.state.StateBase method)
sync() (manticore.core.manticore.ManticoreBase method)
T
Table (class in manticore.wasm.structure)
table (manticore.wasm.structure.Elem attribute)
TableAddr (class in manticore.wasm.structure)
tableaddrs (manticore.wasm.structure.ModuleInstance attribute)
TableIdx (class in manticore.wasm.types)
TableInst (class in manticore.wasm.structure)
tables (manticore.wasm.structure.Module attribute)
(manticore.wasm.structure.Store attribute)
TableType (class in manticore.wasm.types)
take_snapshot() (manticore.core.manticore.ManticoreBase method)
target_count (manticore.wasm.types.BranchTableImm attribute)
target_table (manticore.wasm.types.BranchTableImm attribute)
tee_local() (manticore.wasm.executor.Executor method)
termination_msg (manticore.core.plugin.StateDescriptor attribute)
Throw
timestamp (manticore.platforms.evm.BlockHeader property)
to_dict() (manticore.platforms.evm.Transaction method)
to_signed() (in module manticore.platforms.evm)
to_unsigned() (manticore.wasm.types.I32 static method)
(manticore.wasm.types.I64 static method)
topics (manticore.platforms.evm.EVMLog property)
total_execs (manticore.core.plugin.StateDescriptor attribute)
Transaction (class in manticore.platforms.evm)
transaction() (manticore.ethereum.ManticoreEVM method)
(manticore.platforms.evm.EVMWorld method)
transactions (manticore.platforms.evm.EVMWorld property)
transactions() (manticore.ethereum.ManticoreEVM method)
Trap
try_simplify_to_constant() (manticore.platforms.evm.EVMWorld method)
tx_gasprice() (manticore.platforms.evm.EVMWorld method)
tx_origin() (manticore.platforms.evm.EVMWorld method)
TXError
type (manticore.platforms.evm.PendingTransaction property)
(manticore.wasm.structure.Function attribute)
(manticore.wasm.structure.Global attribute)
(manticore.wasm.structure.Memory attribute)
(manticore.wasm.structure.ProtoFuncInst attribute)
(manticore.wasm.structure.Table attribute)
type_index (manticore.wasm.types.CallIndirectImm attribute)
TypeIdx (class in manticore.wasm.types)
TypeMismatchTrap
types (manticore.wasm.structure.Module attribute)
(manticore.wasm.structure.ModuleInstance attribute)
U
U32 (class in manticore.wasm.types)
U64 (class in manticore.wasm.types)
unreachable() (manticore.wasm.executor.Executor method)
UnreachableInstructionTrap
unregister_detector() (manticore.ethereum.ManticoreEVM method)
unregister_plugin() (manticore.core.manticore.ManticoreBase method)
used_gas (manticore.platforms.evm.Transaction property)
V
val (manticore.wasm.structure.AtomicStack.PopItem attribute)
ValType (in module manticore.wasm.types)
Value (in module manticore.wasm.types)
value (manticore.platforms.evm.PendingTransaction property)
(manticore.platforms.evm.Transaction attribute)
(manticore.wasm.structure.ExportInst attribute)
(manticore.wasm.structure.GlobalInst attribute)
(manticore.wasm.types.F32ConstImm attribute)
(manticore.wasm.types.F64ConstImm attribute)
(manticore.wasm.types.GlobalType attribute)
(manticore.wasm.types.I32ConstImm attribute)
(manticore.wasm.types.I64ConstImm attribute)
variadic() (in module manticore.native.models)
verbosity() (manticore.core.manticore.ManticoreBase static method)
W
wait() (manticore.core.manticore.ManticoreBase method)
wait_for_log_purge() (manticore.core.manticore.ManticoreBase method)
WASMWorld (class in manticore.platforms.wasm)
will_close_transaction_callback()
built-in function
will_decode_instruction_callback()
built-in function
,
[1]
will_evm_execute_instruction_callback()
built-in function
will_evm_read_storage_callback()
built-in function
will_evm_write_storage_callback()
built-in function
will_execute_instruction_callback()
built-in function
will_execute_syscall_callback()
built-in function
will_fork_state_callback()
built-in function
will_kill_state_callback()
built-in function
will_load_state_callback()
built-in function
will_map_memory_callback()
built-in function
,
[1]
will_open_transaction_callback()
built-in function
will_protect_memory_callback()
built-in function
will_read_memory_callback()
built-in function
will_read_register_callback()
built-in function
will_run_callback()
built-in function
will_set_descriptor_callback()
built-in function
will_start_worker_callback()
built-in function
will_terminate_state_callback()
built-in function
will_unmap_memory_callback()
built-in function
will_write_memory_callback()
built-in function
will_write_register_callback()
built-in function
Worker (class in manticore.core.worker)
worker (in module manticore.core)
workspace (manticore.ethereum.ManticoreEVM property)
world (manticore.ethereum.ManticoreEVM property)
(manticore.platforms.evm.EVM property)
write() (manticore.native.memory.SMemory method)
write_buffer() (manticore.platforms.evm.EVM method)
write_bytes() (manticore.native.cpu.abstractcpu.Cpu method)
(manticore.wasm.structure.MemInst method)
write_int() (manticore.native.cpu.abstractcpu.Cpu method)
(manticore.wasm.structure.MemInst method)
write_register() (manticore.native.cpu.abstractcpu.Cpu method)
write_string() (manticore.native.cpu.abstractcpu.Cpu method)
Z
ZeroDivisionTrap
Manticore
Navigation
Contents:
Property based symbolic executor: manticore-verifier
Selecting a target contract
User accounts
Stopping condition
ManticoreBase
Workers
States
EVM
Native
Web Assembly
Plugins
Gotchas
Utilities
Related Topics
Documentation overview
Quick search