[Security] Out-of-Bound Memory Read on "op_MemCopy" Function

[mobsceneZ]

Environment

OS               : Linux 5.15.146.1-microsoft-standard-WSL2 #1 SMP Thu Jan 11 04:09:03 UTC 2024 x86_64 x86_64 x86_64 GNU/Linux
Commit           : 139076a98b8321b67f850a844f558b5e91b5ac83
Version          : 0.5.0
Clang Verison    : 13.0.0
Build            : mkdir -p build && cd build && export CC="clang" CXX="clang++" CFLAGS="-fsanitize=address -g" CXXFLAGS="-fsanitize=address -g" && cmake .. && make -j8
Affected Tool    : wasm3
Enabled Features : None
Impact           : Out-of-Bound Memory Read
Command          : wasm3/build/wasm3 --func main poc.wasm
Validation       : Invalid **(therefore possibly related to incomplete validation in wasm3)**

Proof of Concept

wasm3-poc-09.zip

Stack Trace Provide By AddressSanitizer

AddressSanitizer:DEADLYSIGNAL
=================================================================
==24946==ERROR: AddressSanitizer: SEGV on unknown address 0x6310014c6dc0 (pc 0x0000005358b9 bp 0x62d000000418 sp 0x7ffcb1dafac0 T0)
==24946==The signal is caused by a READ memory access.
    #0 0x5358b9 in op_MemCopy /home/lain/wasm3/source/./m3_exec.h
    #1 0x53ed46 in RunCode /home/lain/wasm3/source/./m3_exec_defs.h:71:5
    #2 0x53ed46 in m3_CallArgv /home/lain/wasm3/source/m3_env.c:1013:25
    #3 0x4f947e in repl_call /home/lain/wasm3/platforms/app/main.c:298:14
    #4 0x4fafe3 in main /home/lain/wasm3/platforms/app/main.c
    #5 0x7fd827c7d082 in __libc_start_main /build/glibc-SzIz7B/glibc-2.31/csu/../csu/libc-start.c:308:16
    #6 0x41ea5d in _start (/home/lain/wasm3/build/wasm3+0x41ea5d)

AddressSanitizer can not provide additional info.
SUMMARY: AddressSanitizer: SEGV /home/lain/wasm3/source/./m3_exec.h in op_MemCopy
==24946==ABORTING

[tommie]

wasm2wat:

wasm3-poc-09:0000044: error: type mismatch in f64.sqrt, expected [f64] but got [... i32]
wasm3-poc-09:000004a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, i32]

I'm guessing this is about not validating parameter types.