Skip to content

bug: faild to detect and terminiate an ill-formatted test case #3480

@erxiaozhou

Description

@erxiaozhou

Summary

The test case is invalid since it contains an invalid function type, while WasmEdge fails to terminate the execution or raise an exception.

Current State

No exception

Expected State

An exception like "Invalid input WebAssembly code at offset 4711: invalid function type"

Reproduction steps

  1. Build with command: cmake -DCMAKE_INSTALL_PREFIX="$install_dir" -DCMAKE_PREFIX_PATH="/usr/lib/llvm-12" -DCMAKE_BUILD_TYPE=Release -DWASMEDGE_BUILD_AOT_RUNTIME=OFF ..
  2. Execute with command: wasmedge run --reactor <test_case> "to_test"

i64.extend_i32_u_5HLPPPBPSBPSSBBBBBBB_383_17181739069556932.zip

Screenshots

DESCRIPTION

Any logs you want to share for showing the specific issue

No response

Components

CLI

WasmEdge Version or Commit you used

813c200

Operating system information

Ubuntu 20.04

Hardware Architecture

x86_64

Compiler flags and options

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingfuzz-different-behaviorSomeone runs fuzzing with randomly generated wasm. The behavior is not the same as other runtimes.help wantedExtra attention is needed

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions