Fuzz introspector
For issues and ideas: https://github.com/ossf/fuzz-introspector/issues

Project functions overview

The following table shows data about each function in the project. The functions included in this table correspond to all functions that exist in the executables of the fuzzers. As such, there may be functions that are from third-party libraries.

For further technical details on the meaning of columns in the below table, please see the Glossary .

Func name Functions filename Args Function call depth Reached by Fuzzers Runtime reached by Fuzzers Combined reached by Fuzzers Fuzzers runtime hit Func lines hit % I Count BB Count Cyclomatic complexity Functions reached Reached by functions Accumulated cyclomatic complexity Undiscovered complexity

Fuzzer details

Fuzzer: translate

Call tree

The calltree shows the control flow of the fuzzer. This is overlaid with coverage information to display how much of the potential code a fuzzer can reach is in fact covered at runtime. In the following there is a link to a detailed calltree visualisation as well as a bitmap showing a high-level view of the calltree. For further information about these topics please see the glossary for full calltree and calltree overview

Call tree overview bitmap:

The distribution of callsites in terms of coloring is
Color Runtime hitcount Callsite count Percentage
red 0 515 67.2%
gold [1:9] 0 0.0%
yellow [10:29] 0 0.0%
greenyellow [30:49] 0 0.0%
lawngreen 50+ 251 32.7%
All colors 766 100

Fuzz blockers

The following nodes represent call sites where fuzz blockers occur.

Amount of callsites blocked Calltree index Parent function Callsite Largest blocked function
131 260 FuzzSmithConfig::arbitrary call site: 00260 FuzzInput::arbitrary
38 211 ModuleParser::process_types call site: 00211 FuzzInput::arbitrary
36 128 Module::validate call site: 00128 fuzz_target
21 629 ModuleParser::consume_buffer call site: 00629 impl_try_truncate_into
19 669 ModuleParser::parse_buffered_unchecked call site: 00669 StoreInner::try_resolve_memory
17 39 Config::default_features call site: 00039 impl_try_truncate_into
16 2 FuzzModule::wasm call site: 00002 impl_try_truncate_into
16 565 ModuleParser::process_exports call site: 00565 impl_try_truncate_into
13 653 GuardedEntity::entity_index call site: 00653 Module::validate
12 503 TableType::from_wasmparser call site: 00503
11 435 ModuleParser::process_imports call site: 00435 HeadVec::push
9 61 Engine::new call site: 00061

Runtime coverage analysis

Covered functions
8017
Functions that are reachable but not covered
12
Reachable functions
45
Percentage of reachable functions covered
73.33%
NB: The sum of covered functions and functions that are reachable but not covered need not be equal to Reachable functions . This is because the reachability analysis is an approximation and thus at runtime some functions may be covered that are not included in the reachability analysis. This is a limitation of our static analysis capabilities.
Warning: The number of covered functions are larger than the number of reachable functions. This means that there are more functions covered at runtime than are extracted using static analysis. This is likely a result of the static analysis component failing to extract the right call graph or the coverage runtime being compiled with sanitizers in code that the static analysis has not analysed. This can happen if lto/gold is not used in all places that coverage instrumentation is used.
Function name source code lines source lines hit percentage hit

Files reached

filename functions hit
fuzz/fuzz_targets/translate.rs 11
crates/fuzz/src/module.rs 3
crates/core/src/value.rs 6
crates/c_api/src/global.rs 12
crates/c_api/src/val.rs 6
crates/wasmi/src/engine/config.rs 2
crates/collections/src/string_interner.rs 8
crates/core/src/untyped.rs 1
crates/c_api/src/config.rs 46
crates/cli/src/args.rs 1
crates/core/src/fuel.rs 9
crates/c_api/src/trap.rs 1
crates/wasmi/src/error.rs 1
crates/c_api/src/module.rs 15
crates/c_api/src/engine.rs 2
crates/wasmi/src/module/parser/buffered.rs 36
crates/wasmi/src/engine/translator/func/utils.rs 1
crates/c_api/src/store.rs 2
fuzz/fuzz_targets/execute.rs 29
crates/core/src/table/element.rs 1
crates/c_api/macro/lib.rs 8
crates/collections/src/set.rs 7
crates/core/src/limiter.rs 2
crates/wasmi/src/module/parser/mod.rs 67
fuzz/fuzz_targets/differential.rs 8
crates/core/src/memory/access.rs 5
crates/fuzz/src/value.rs 7
crates/fuzz/src/oracle/wasmi_stack.rs 6
crates/fuzz/src/config.rs 1
crates/c_api/src/func.rs 6
crates/wasmi/src/module/utils.rs 10
crates/wasmi/src/module/builder.rs 12
crates/wasmi/src/engine/mod.rs 3
crates/collections/src/head_vec.rs 2
crates/core/src/table/ty.rs 1
crates/c_api/src/vec.rs 2
crates/c_api/src/memory.rs 3
crates/core/src/memory/mod.rs 3
crates/wasmi/src/func/caller.rs 1
crates/wasmi/src/store/inner.rs 6
crates/collections/src/arena/guarded.rs 2
crates/wasmi/src/store/error.rs 1
crates/ir2/src/span.rs 2
crates/collections/src/hash.rs 1
crates/wasmi/src/engine/code_map.rs 3
crates/core/src/memory/ty.rs 1

Fuzzer: execute

Call tree

The calltree shows the control flow of the fuzzer. This is overlaid with coverage information to display how much of the potential code a fuzzer can reach is in fact covered at runtime. In the following there is a link to a detailed calltree visualisation as well as a bitmap showing a high-level view of the calltree. For further information about these topics please see the glossary for full calltree and calltree overview

Call tree overview bitmap:

The distribution of callsites in terms of coloring is
Color Runtime hitcount Callsite count Percentage
red 0 889 72.6%
gold [1:9] 0 0.0%
yellow [10:29] 0 0.0%
greenyellow [30:49] 0 0.0%
lawngreen 50+ 334 27.3%
All colors 1223 100

Fuzz blockers

The following nodes represent call sites where fuzz blockers occur.

Amount of callsites blocked Calltree index Parent function Callsite Largest blocked function
93 785 Module::func_types_cloned call site: 00785 impl_try_truncate_into
86 887 LinkerError::missing_definition call site: 00887 fuzz_target
64 1041 StoreInner::try_resolve_memory_mut call site: 01041 wasm_val_t::from
52 327 FuzzSmithConfig::arbitrary call site: 00327 FuzzInput::arbitrary
45 1177 ModuleParser::parse_buffered_data call site: 01177 Linker::instantiate_and_start
39 744 ModuleParser::parse_buffered_unchecked call site: 00744 Linker::instantiate_and_start
30 1001 ResourceLimiterRef::as_resource_limiter call site: 01001 SmallByteSlice::as_slice
24 116 StoreLimitsBuilder::new call site: 00116 fuzz_target
21 720 GuardedEntity::entity_index call site: 00720 Module::validate
18 440 FuzzVal::with_type call site: 00440
16 215 ResourceLimiterRef::as_resource_limiter call site: 00215 impl_try_truncate_into
16 632 ModuleParser::process_exports call site: 00632 impl_try_truncate_into

Runtime coverage analysis

Covered functions
10111
Functions that are reachable but not covered
23
Reachable functions
96
Percentage of reachable functions covered
76.04%
NB: The sum of covered functions and functions that are reachable but not covered need not be equal to Reachable functions . This is because the reachability analysis is an approximation and thus at runtime some functions may be covered that are not included in the reachability analysis. This is a limitation of our static analysis capabilities.
Warning: The number of covered functions are larger than the number of reachable functions. This means that there are more functions covered at runtime than are extracted using static analysis. This is likely a result of the static analysis component failing to extract the right call graph or the coverage runtime being compiled with sanitizers in code that the static analysis has not analysed. This can happen if lto/gold is not used in all places that coverage instrumentation is used.
Function name source code lines source lines hit percentage hit

Files reached

filename functions hit
fuzz/fuzz_targets/execute.rs 51
crates/fuzz/src/module.rs 3
crates/core/src/value.rs 6
crates/c_api/src/global.rs 19
crates/c_api/src/val.rs 7
crates/wasmi/src/engine/config.rs 2
crates/collections/src/string_interner.rs 8
crates/core/src/untyped.rs 1
crates/c_api/src/config.rs 84
crates/cli/src/args.rs 1
crates/core/src/fuel.rs 9
crates/c_api/src/trap.rs 1
crates/wasmi/src/error.rs 1
crates/c_api/src/memory.rs 6
crates/c_api/src/store.rs 5
crates/core/src/memory/ty.rs 5
crates/c_api/src/engine.rs 2
crates/core/src/limiter.rs 2
crates/c_api/src/error.rs 3
crates/c_api/src/module.rs 28
crates/wasmi/src/module/parser/buffered.rs 36
crates/wasmi/src/engine/translator/func/utils.rs 1
crates/wasmi/src/engine/code_map.rs 3
crates/core/src/table/element.rs 1
crates/c_api/macro/lib.rs 8
crates/collections/src/set.rs 7
crates/wasmi/src/module/parser/mod.rs 67
fuzz/fuzz_targets/differential.rs 6
crates/core/src/memory/access.rs 5
crates/fuzz/src/value.rs 7
crates/fuzz/src/oracle/wasmi_stack.rs 6
crates/fuzz/src/config.rs 1
crates/c_api/src/func.rs 32
crates/wasmi/src/module/utils.rs 10
crates/wasmi/src/module/builder.rs 12
crates/wasmi/src/engine/mod.rs 3
crates/collections/src/head_vec.rs 2
crates/core/src/table/ty.rs 1
crates/c_api/src/vec.rs 2
crates/core/src/memory/mod.rs 6
crates/wasmi/src/func/caller.rs 2
crates/wasmi/src/store/inner.rs 10
crates/collections/src/arena/guarded.rs 2
crates/wasmi/src/store/error.rs 1
crates/ir2/src/span.rs 2
crates/wasmi/src/linker.rs 27
crates/wasmi/src/module/mod.rs 2
crates/c_api/src/types/global.rs 1
crates/c_api/src/types/table.rs 1
crates/wasmi/tests/integration/resource_limiter.rs 3
crates/c_api/src/instance.rs 9
crates/c_api/src/ref.rs 3
crates/collections/src/map.rs 2
crates/c_api/src/utils.rs 2
crates/collections/src/hash.rs 1

Fuzzer: differential

Call tree

The calltree shows the control flow of the fuzzer. This is overlaid with coverage information to display how much of the potential code a fuzzer can reach is in fact covered at runtime. In the following there is a link to a detailed calltree visualisation as well as a bitmap showing a high-level view of the calltree. For further information about these topics please see the glossary for full calltree and calltree overview

Call tree overview bitmap:

The distribution of callsites in terms of coloring is
Color Runtime hitcount Callsite count Percentage
red 0 821 68.4%
gold [1:9] 0 0.0%
yellow [10:29] 0 0.0%
greenyellow [30:49] 0 0.0%
lawngreen 50+ 378 31.5%
All colors 1199 100

Fuzz blockers

The following nodes represent call sites where fuzz blockers occur.

Amount of callsites blocked Calltree index Parent function Callsite Largest blocked function
90 1043 Module::func_types_cloned call site: 01043 impl_try_truncate_into
61 412 StoreInner::try_resolve_memory_mut call site: 00412 wasm_val_t::from
49 1138 LinkerError::missing_definition call site: 01138 impl_try_truncate_into
40 1001 ModuleParser::parse_buffered_impl call site: 01001 Linker::instantiate_and_start
30 364 ResourceLimiterRef::as_resource_limiter call site: 00364 SmallByteSlice::as_slice
17 155 WasmSource::into_bytes call site: 00155 wasm_global_t::try_from
16 554 FuzzState::run call site: 00554 FuzzState::report_divergent_behavior
16 672 FuzzState::init_params call site: 00672
16 852 ModuleParser::process_exports call site: 00852 impl_try_truncate_into
15 133 FuzzState::run call site: 00133 fuzz_target
15 174 ResourceLimiterRef::as_resource_limiter call site: 00174 impl_try_truncate_into
14 247 FuzzSmithConfig::disable_multi_memory call site: 00247 impl_try_truncate_into

Runtime coverage analysis

Covered functions
11488
Functions that are reachable but not covered
10
Reachable functions
70
Percentage of reachable functions covered
85.71%
NB: The sum of covered functions and functions that are reachable but not covered need not be equal to Reachable functions . This is because the reachability analysis is an approximation and thus at runtime some functions may be covered that are not included in the reachability analysis. This is a limitation of our static analysis capabilities.
Warning: The number of covered functions are larger than the number of reachable functions. This means that there are more functions covered at runtime than are extracted using static analysis. This is likely a result of the static analysis component failing to extract the right call graph or the coverage runtime being compiled with sanitizers in code that the static analysis has not analysed. This can happen if lto/gold is not used in all places that coverage instrumentation is used.
Function name source code lines source lines hit percentage hit

Files reached

filename functions hit
fuzz/fuzz_targets/differential.rs 49
crates/fuzz/src/module.rs 3
crates/core/src/value.rs 7
crates/c_api/src/val.rs 7
crates/wasmi/src/engine/config.rs 6
crates/collections/src/string_interner.rs 8
crates/core/src/untyped.rs 1
crates/c_api/src/config.rs 84
crates/c_api/src/trap.rs 1
crates/wasmi/src/error.rs 1
crates/c_api/src/memory.rs 6
crates/c_api/src/store.rs 3
fuzz/fuzz_targets/execute.rs 21
crates/c_api/src/instance.rs 9
crates/wasmi/src/func/caller.rs 2
crates/cli/src/context.rs 6
crates/c_api/src/vec.rs 2
crates/c_api/macro/lib.rs 8
crates/c_api/src/global.rs 22
crates/collections/src/set.rs 7
crates/core/src/limiter.rs 2
crates/core/src/memory/access.rs 5
crates/fuzz/src/value.rs 7
crates/fuzz/src/oracle/wasmi_stack.rs 12
crates/fuzz/src/config.rs 1
crates/c_api/src/func.rs 32
crates/wasmi/src/engine/code_map.rs 3
crates/c_api/src/ref.rs 3
crates/collections/src/map.rs 2
crates/wasmi/src/module/mod.rs 2
crates/c_api/src/utils.rs 2
crates/core/src/memory/mod.rs 6
crates/wasmi/src/store/inner.rs 10
crates/collections/src/arena/guarded.rs 2
crates/wasmi/src/store/error.rs 1
crates/fuzz/src/oracle/exports.rs 1
crates/core/src/simd.rs 1
crates/core/src/memory/ty.rs 5
crates/c_api/src/engine.rs 2
crates/core/src/table/element.rs 1
crates/wasmi/src/module/parser/buffered.rs 36
crates/wasmi/src/engine/translator/func/utils.rs 1
crates/wasmi/src/module/parser/mod.rs 67
crates/wasmi/src/module/utils.rs 10
crates/wasmi/src/module/builder.rs 12
crates/wasmi/src/engine/mod.rs 3
crates/collections/src/head_vec.rs 2
crates/core/src/table/ty.rs 1
crates/collections/src/hash.rs 1
crates/wasmi/src/linker.rs 27
crates/c_api/src/module.rs 13
crates/c_api/src/types/global.rs 1
crates/c_api/src/types/table.rs 1
crates/wasmi/tests/integration/resource_limiter.rs 3

Fuzz engine guidance

This sections provides heuristics that can be used as input to a fuzz engine when running a given fuzz target. The current focus is on providing input that is usable by libFuzzer.

fuzz/fuzz_targets/translate.rs

Dictionary

Use this with the libFuzzer -dict=DICT.file flag


Fuzzer function priority

Use one of these functions as input to libfuzzer with flag: -focus_function name

-focus_function=['FuzzSmithConfig::arbitrary', 'ModuleParser::process_types', 'Module::validate', 'ModuleParser::consume_buffer', 'ModuleParser::parse_buffered_unchecked', 'Config::default_features', 'FuzzModule::wasm', 'ModuleParser::process_exports', 'GuardedEntity::entity_index', 'TableType::from_wasmparser']

fuzz/fuzz_targets/execute.rs

Dictionary

Use this with the libFuzzer -dict=DICT.file flag


Fuzzer function priority

Use one of these functions as input to libfuzzer with flag: -focus_function name

-focus_function=['Module::func_types_cloned', 'LinkerError::missing_definition', 'StoreInner::try_resolve_memory_mut', 'FuzzSmithConfig::arbitrary', 'ModuleParser::parse_buffered_data', 'ModuleParser::parse_buffered_unchecked', 'ResourceLimiterRef::as_resource_limiter', 'StoreLimitsBuilder::new', 'GuardedEntity::entity_index', 'FuzzVal::with_type']

fuzz/fuzz_targets/differential.rs

Dictionary

Use this with the libFuzzer -dict=DICT.file flag


Fuzzer function priority

Use one of these functions as input to libfuzzer with flag: -focus_function name

-focus_function=['Module::func_types_cloned', 'StoreInner::try_resolve_memory_mut', 'LinkerError::missing_definition', 'ModuleParser::parse_buffered_impl', 'ResourceLimiterRef::as_resource_limiter', 'WasmSource::into_bytes', 'FuzzState::run', 'FuzzState::init_params', 'ModuleParser::process_exports']

Runtime coverage analysis

This section shows analysis of runtime coverage data.

For futher technical details on how this section is generated, please see the Glossary .

Complex functions with low coverage

Func name Function total lines Lines covered at runtime percentage covered Reached by fuzzers
wasmi::linker::Linkerwasmi::limits::StoreLimits::process_import::&mut &mut wasmi::store::Storewasmi::limits::StoreLimits 40 12 30.0%
wasmi::module::Module::extract_imports::alloc::vec::Vecwasmi::instance::exports::Extern, &&mut wasmi::store::Storewasmi::limits::StoreLimits 62 15 24.19%
differential::FuzzState::assert_memories_match 32 7 21.87%
cranelift_assembler_x64::inst::Instcranelift_codegen::isa::x64::inst::external::CraneliftRegisters::visit::cranelift_codegen::isa::x64::inst::external::RegallocVisitorcranelift_codegen::machinst::reg::OperandCollectorcranelift_codegen::machinst::vcode::VCodeBuildercranelift_codegen::isa::x64::lower::isle::generated_code::MInst::collect_operands::{closure:#0} 1074 312 29.05%
cranelift_assembler_x64::inst::Instcranelift_codegen::isa::x64::inst::external::CraneliftRegisters::visit::cranelift_codegen::isa::x64::inst::external::RegallocVisitorcranelift_codegen::machinst::vcode::VCodecranelift_codegen::isa::x64::lower::isle::generated_code::MInst::emit::{closure:#2} 1074 312 29.05%
cranelift_assembler_x64::inst::Instcranelift_codegen::isa::x64::inst::external::CraneliftRegisters::encode::cranelift_codegen::isa::x64::inst::external::AsmCodeSink 1074 357 33.24%
cranelift_assembler_x64::inst::Instcranelift_codegen::isa::x64::inst::external::CraneliftRegisters::features 1074 346 32.21%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_cmove::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 155 47 30.32%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_lower::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 8080 4257 52.68%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_x64_sar::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 57 28 49.12%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_x64_shl::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 57 26 45.61%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_x64_shr::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 57 28 49.12%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_x64_load::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 48 22 45.83%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_x64_rotl::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 59 24 40.67%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_x64_rotr::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 57 22 38.59%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_emit_fcmp::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 180 76 42.22%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_x64_round::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 95 28 29.47%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_with_flags::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 82 31 37.80%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_x64_pcmpgt::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 48 18 37.5%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_x64_sub_mem::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 101 15 14.85%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_x64_xor_mem::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 109 55 50.45%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_lower_branch::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 119 50 42.01%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_val_minus_one::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 47 25 53.19%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_is_nonzero_band::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 82 27 32.92%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_f32x4_insertlane::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 33 13 39.39%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_all_ones_or_all_zeros::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 69 27 39.13%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_with_flags_side_effect::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 51 15 29.41%
cranelift_codegen::isa::x64::lower::isle::generated_code::constructor_consumes_flags_return_last::cranelift_codegen::machinst::isle::IsleContextcranelift_codegen::isa::x64::lower::isle::generated_code::MInst, cranelift_codegen::isa::x64::X64Backend 38 19 50.0%

Files and Directories in report

This section shows which files and directories are considered in this report. The main reason for showing this is fuzz introspector may include more code in the reasoning than is desired. This section helps identify if too many files/directories are included, e.g. third party code, which may be irrelevant for the threat model. In the event too much is included, fuzz introspector supports a configuration file that can exclude data from the report. See the following link for more information on how to create a config file: link

Files in report

Source file Reached by Covered by
/src/wasmi/crates/core/src/table/element.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/benches/bench/mod.rs [] []
/src/wasmi/crates/wasi/src/sync/snapshots/preview_1.rs [] []
/src/wasmi/crates/core/src/memory/error.rs [] []
/src/wasmi/crates/wasmi/src/func/mod.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/comparator.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/instrs/wide_arithmetic.rs [] []
/src/wasmi/crates/c_api/src/types/func.rs [] []
/src/wasmi/fuzz/fuzz_targets/differential.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/store/typeid.rs [] []
/src/wasmi/crates/wasmi/src/module/instantiate/mod.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/instrs/utils.rs [] []
/src/wasmi/crates/wasmi/benches/benches.rs [] []
/src/wasmi/crates/wasmi/src/instance/builder.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/stack/values.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/cache.rs [] []
/src/wasmi/crates/collections/src/arena/mod.rs [] []
/src/wasmi/crates/c_api/src/global.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/engine/executor/instrs/store.rs [] []
/src/wasmi/crates/core/src/table/mod.rs [] []
/src/wasmi/crates/wasmi/src/limits.rs [] []
/src/wasmi/crates/wasi/src/guest_memory.rs [] []
/src/wasmi/crates/wasmi/tests/integration/call_hook.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/instrs.rs [] []
/src/wasmi/crates/wasmi/src/module/builder.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/module/parser/mod.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/ir2/src/primitive.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/instrs/comparison.rs [] []
/src/wasmi/crates/fuzz/src/oracle/wasmi_stack.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/func/typed_func.rs [] []
/src/wasmi/crates/wasmi/src/store/pruned.rs [] []
/src/wasmi/crates/collections/src/map.rs ['execute', 'differential'] ['execute', 'differential']
/src/wasmi/crates/wasmi/src/engine/executor/instrs/load.rs [] []
/src/wasmi/crates/collections/src/hash.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/ir2/src/op.rs [] []
/src/wasmi/crates/core/src/global.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/locals.rs [] []
/src/wasmi/crates/c_api/src/config.rs ['translate', 'execute', 'differential'] []
/src/wasmi/crates/wasmi/src/engine/executor/instrs/table.rs [] []
/src/wasmi/crates/wasmi/src/module/export.rs [] []
/src/wasmi/crates/wasmi/src/func/func_inout.rs [] []
/src/wasmi/crates/c_api/src/utils.rs ['execute', 'differential'] ['execute', 'differential']
/src/wasmi/crates/wasmi/src/engine/translator/func/simd/visit.rs [] []
/src/wasmi/crates/wasi/tests/wasi_wat.rs [] []
/src/wasmi/crates/wasmi/src/store/inner.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/instance/exports.rs [] []
/src/wasmi/crates/wasmi/tests/integration/host_calls_wasm.rs [] []
/src/wasmi/crates/fuzz/src/value.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/engine/executor/instrs/select.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/op.rs [] []
/src/wasmi/crates/wasmi/src/memory/mod.rs [] []
/src/wasmi/crates/c_api/src/types/val.rs [] []
/src/wasmi/crates/c_api/src/types/import.rs [] []
/src/wasmi/crates/fuzz/src/config.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/c_api/src/val.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/core/src/wasm.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/simd/mod.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/instrs/conversion.rs [] []
/src/wasmi/crates/wasmi/src/table/ty.rs [] []
/src/wasmi/crates/ir2/src/opcode.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/layout/mod.rs [] []
/src/wasmi/crates/wasmi/src/store/error.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/c_api/src/foreign.rs [] []
/src/wasmi/crates/wasmi/src/linker.rs ['execute', 'differential'] ['execute', 'differential']
/src/wasmi/crates/c_api/src/types/table.rs ['execute', 'differential'] ['execute', 'differential']
/src/wasmi/crates/ir/src/for_each_op.rs [] []
/src/wasmi/crates/wasmi/src/engine/traits.rs [] []
/src/wasmi/crates/collections/src/string_interner.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/module/element.rs [] []
/src/wasmi/crates/collections/src/arena/guarded.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/engine/config.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/collections/src/set.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/c_api/src/vec.rs ['translate', 'execute', 'differential'] []
/src/wasmi/crates/fuzz/src/oracle/wasmi_v049.rs [] []
/src/wasmi/crates/wasmi/src/instance/tests.rs [] []
/src/wasmi/crates/wast/src/lib.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/mod.rs [] []
/src/wasmi/crates/wasmi/src/func/caller.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/c_api/src/error.rs ['execute'] ['execute']
/src/wasmi/crates/cli/tests/run.rs [] []
/src/wasmi/crates/c_api/src/types/extern.rs [] []
/src/wasmi/crates/wasmi/src/foreach_tuple.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/stack/operands.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/utils.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/fuzz/src/error.rs [] []
/src/wasmi/crates/ir2/src/index.rs [] []
/src/wasmi/crates/ir2/src/span.rs ['translate', 'execute'] ['translate', 'execute']
/src/wasmi/crates/wasmi/src/engine/executor/instrs.rs [] []
/src/wasmi/crates/wasmi/src/engine/limits/stack.rs [] []
/src/wasmi/crates/wasmi/src/instance/mod.rs [] []
/src/wasmi/crates/ir/src/tests.rs [] []
/src/wasmi/crates/c_api/src/engine.rs ['translate', 'execute', 'differential'] []
/src/wasmi/crates/wasmi/src/engine/executor/stack/mod.rs [] []
/src/wasmi/crates/ir2/src/encode.rs [] []
/src/wasmi/crates/core/src/memory/ty.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/ir/src/visit_results.rs [] []
/src/wasmi/crates/ir/src/index.rs [] []
/src/wasmi/crates/wasmi/src/reftype.rs [] []
/src/wasmi/crates/wasmi/src/engine/limits/tests.rs [] []
/src/wasmi/crates/core/src/memory/tests.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/stack/mod.rs [] []
/src/wasmi/fuzz/fuzz_targets/translate.rs ['translate'] []
/src/wasmi/crates/collections/src/arena/component_vec.rs [] []
/src/wasmi/crates/cli/src/context.rs ['differential'] ['differential']
/src/wasmi/crates/c_api/src/extern.rs [] []
/src/wasmi/crates/c_api/src/func.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/tests/integration/resumable_call.rs [] []
/src/wasmi/crates/ir/src/span.rs [] []
/src/wasmi/crates/c_api/src/trap.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/core/src/float.rs [] []
/src/wasmi/crates/c_api/src/frame.rs [] []
/src/wasmi/crates/wasmi/src/value.rs [] []
/src/wasmi/crates/wasmi/src/func/into_func.rs [] []
/src/wasmi/crates/wasmi/src/engine/block_type.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/mod.rs [] []
/src/wasmi/crates/c_api/src/ref.rs ['execute', 'differential'] ['execute', 'differential']
/src/wasmi/crates/wasmi/tests/integration/fuel_consumption.rs [] []
/src/wasmi/crates/wasmi/src/func/ty.rs [] []
/src/wasmi/crates/wasmi/src/engine/mod.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/module/parser/buffered.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/engine/translator/utils.rs [] []
/src/wasmi/crates/c_api/src/module.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/engine/executor/instrs/branch.rs [] []
/src/wasmi/crates/core/src/memory/mod.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/c_api/src/types/memory.rs [] []
/src/wasmi/crates/core/src/table/ty.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/core/src/memory/access.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/collections/src/arena/dedup.rs [] []
/src/wasmi/crates/c_api/src/types/export.rs [] []
/src/wasmi/crates/core/src/typed.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/labels.rs [] []
/src/wasmi/crates/wasmi/src/module/custom_section.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/instr_ptr.rs [] []
/src/wasmi/crates/wasmi/src/error.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/tests/integration/func.rs [] []
/src/wasmi/crates/wasmi/tests/integration/call_host_via_engine.rs [] []
/src/wasmi/crates/core/src/memory/buffer.rs [] []
/src/wasmi/crates/wasmi/src/table/mod.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/layout/consts.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/simd/op.rs [] []
/src/wasmi/crates/wasmi/src/module/global.rs [] []
/src/wasmi/crates/collections/src/string_interner/detail.rs [] []
/src/wasmi/crates/wasmi/tests/integration/host_call_instantiation.rs [] []
/src/wasmi/crates/c_api/src/store.rs ['translate', 'execute', 'differential'] ['execute', 'differential']
/src/wasmi/crates/core/src/fuel.rs ['translate', 'execute'] ['translate', 'execute']
/src/wasmi/crates/cli/src/display.rs [] []
/src/wasmi/crates/c_api/macro/lib.rs ['translate', 'execute', 'differential'] []
/src/wasmi/crates/wasmi/src/store/mod.rs [] []
/src/wasmi/crates/core/src/table/tests.rs [] []
/src/wasmi/crates/wast/tests/mod.rs [] []
/src/wasmi/crates/ir2/src/decode/mod.rs [] []
/src/wasmi/crates/wasmi/tests/integration/resource_limiter.rs ['execute', 'differential'] ['execute', 'differential']
/src/wasmi/crates/wasmi/src/engine/executor/instrs/simd.rs [] []
/src/wasmi/crates/cli/src/args.rs ['translate', 'execute'] ['translate', 'execute']
/src/wasmi/crates/cli/src/tests.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/instrs/call.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/instrs/binary.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/instrs/global.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/stack/locals.rs [] []
/src/wasmi/crates/cli/src/main.rs [] []
/src/wasmi/crates/wasmi/src/global.rs [] []
/src/wasmi/crates/c_api/src/instance.rs ['execute', 'differential'] ['execute', 'differential']
/src/wasmi/crates/core/src/host_error.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/error.rs [] []
/src/wasmi/crates/wasmi/src/store/context.rs [] []
/src/wasmi/crates/wasmi/src/module/import.rs [] []
/src/wasmi/crates/wasmi/src/engine/limits/engine.rs [] []
/src/wasmi/crates/wasmi/src/engine/resumable.rs [] []
/src/wasmi/crates/wasmi/src/module/read.rs [] []
/src/wasmi/crates/core/src/func_type.rs [] []
/src/wasmi/crates/wasmi/src/memory/data.rs [] []
/src/wasmi/crates/wasmi/src/module/utils.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/ir2/build.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/mod.rs [] []
/src/wasmi/crates/wasmi/src/table/element.rs [] []
/src/wasmi/crates/fuzz/src/crash_inputs.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/driver.rs [] []
/src/wasmi/crates/wasmi/src/module/instantiate/error.rs [] []
/src/wasmi/crates/ir/src/primitive.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/instrs/return_.rs [] []
/src/wasmi/crates/wasmi/src/module/data.rs [] []
/src/wasmi/crates/collections/src/head_vec.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/engine/executor/instrs/memory.rs [] []
/src/wasmi/crates/fuzz/src/oracle/exports.rs ['differential'] ['differential']
/src/wasmi/crates/wasmi/src/engine/translator/relink_result.rs [] []
/src/wasmi/crates/c_api/src/types/mod.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/stack/operand.rs [] []
/src/wasmi/crates/wasmi/src/module/instantiate/tests.rs [] []
/src/wasmi/crates/c_api/src/table.rs [] []
/src/wasmi/crates/ir/src/immeditate.rs [] []
/src/wasmi/crates/fuzz/src/oracle/wasmtime.rs [] []
/src/wasmi/crates/core/src/trap.rs [] []
/src/wasmi/crates/core/src/untyped.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/engine/translator/func/stack/control.rs [] []
/src/wasmi/crates/wasmi/src/module/init_expr.rs [] []
/src/wasmi/crates/wasmi/src/engine/code_map.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/tests.rs [] []
/src/wasmi/crates/fuzz/src/module.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/fuzz/src/oracle/mod.rs [] []
/src/wasmi/crates/ir/src/enum.rs [] []
/src/wasmi/crates/core/src/hint.rs [] []
/src/wasmi/crates/core/src/limiter.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/core/src/table/error.rs [] []
/src/wasmi/crates/cli/src/utils.rs [] []
/src/wasmi/crates/core/src/simd.rs ['differential'] ['differential']
/src/wasmi/crates/wasmi/tests/integration/instantitation.rs [] []
/src/wasmi/crates/wasmi/src/engine/func_types.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/instrs/copy.rs [] []
/src/wasmi/crates/wasmi/src/engine/executor/stack/calls.rs [] []
/src/wasmi/crates/fuzz/src/oracle/wasmi.rs [] []
/src/wasmi/crates/wasmi/src/memory/ty.rs [] []
/src/wasmi/crates/core/src/value.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/wasmi/src/func/error.rs [] []
/src/wasmi/crates/wasmi/src/engine/utils.rs [] []
/src/wasmi/crates/wasmi/src/module/mod.rs ['execute', 'differential'] ['execute', 'differential']
/src/wasmi/crates/wasmi/tests/integration/fuel_metering.rs [] []
/src/wasmi/fuzz/fuzz_targets/execute.rs ['translate', 'execute', 'differential'] ['execute']
/src/wasmi/crates/c_api/src/memory.rs ['translate', 'execute', 'differential'] ['translate', 'execute', 'differential']
/src/wasmi/crates/core/src/index_ty.rs [] []
/src/wasmi/crates/wasmi/tests/integration/host_call_compilation.rs [] []
/src/wasmi/crates/wasmi/src/engine/translator/func/visit.rs [] []
/src/wasmi/crates/ir2/src/decode/op.rs [] []
/src/wasmi/crates/c_api/src/types/global.rs ['execute', 'differential'] ['execute', 'differential']
/src/wasmi/crates/collections/src/tests.rs [] []

Directories in report

Directory
/src/wasmi/crates/wasmi/src/engine/translator/func/stack/
/src/wasmi/crates/wasi/src/sync/snapshots/
/src/wasmi/crates/wasmi/src/module/
/src/wasmi/crates/ir2/src/decode/
/src/wasmi/crates/wasmi/src/instance/
/src/wasmi/crates/wasmi/src/engine/executor/instrs/
/src/wasmi/crates/wasmi/src/engine/executor/
/src/wasmi/crates/ir2/src/
/src/wasmi/crates/c_api/macro/
/src/wasmi/crates/wasmi/src/func/
/src/wasmi/crates/wasmi/benches/bench/
/src/wasmi/crates/collections/src/
/src/wasmi/crates/collections/src/string_interner/
/src/wasmi/crates/cli/tests/
/src/wasmi/crates/core/src/
/src/wasmi/crates/wasmi/benches/
/src/wasmi/crates/wasmi/src/module/parser/
/src/wasmi/crates/fuzz/src/
/src/wasmi/fuzz/fuzz_targets/
/src/wasmi/crates/wasmi/src/engine/translator/func/simd/
/src/wasmi/crates/wasmi/src/engine/
/src/wasmi/crates/wasmi/src/store/
/src/wasmi/crates/core/src/table/
/src/wasmi/crates/wast/src/
/src/wasmi/crates/core/src/memory/
/src/wasmi/crates/wasmi/src/table/
/src/wasmi/crates/wasmi/src/engine/translator/func/layout/
/src/wasmi/crates/wast/tests/
/src/wasmi/crates/wasmi/tests/integration/
/src/wasmi/crates/wasmi/src/engine/translator/
/src/wasmi/crates/wasmi/src/engine/translator/func/
/src/wasmi/crates/wasmi/src/memory/
/src/wasmi/crates/cli/src/
/src/wasmi/crates/wasi/src/
/src/wasmi/crates/c_api/src/
/src/wasmi/crates/wasmi/src/module/instantiate/
/src/wasmi/crates/wasmi/src/
/src/wasmi/crates/ir/src/
/src/wasmi/crates/collections/src/arena/
/src/wasmi/crates/wasmi/src/engine/limits/
/src/wasmi/crates/ir2/
/src/wasmi/crates/wasi/tests/
/src/wasmi/crates/c_api/src/types/
/src/wasmi/crates/fuzz/src/oracle/
/src/wasmi/crates/wasmi/src/engine/executor/stack/