[Security] Out-of-Bound Memory Read on "op_Select_f32_rsr" 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-18.zip

Stack Trace Provide By AddressSanitizer

AddressSanitizer:DEADLYSIGNAL
=================================================================
==4932==ERROR: AddressSanitizer: SEGV on unknown address 0x63100146d448 (pc 0x0000005330a8 bp 0x626000000100 sp 0x7ffdc5ff4a60 T0)
==4932==The signal is caused by a READ memory access.
    #0 0x5330a8 in op_Select_f32_rsr /home/lain/wasm3/source/./m3_exec.h:1141:1
    #1 0x50d3b3 in Call /home/lain/wasm3/source/./m3_exec.h:120:5
    #2 0x50d3b3 in op_Call /home/lain/wasm3/source/./m3_exec.h:553:17
    #3 0x53ed46 in RunCode /home/lain/wasm3/source/./m3_exec_defs.h:71:5
    #4 0x53ed46 in m3_CallArgv /home/lain/wasm3/source/m3_env.c:1013:25
    #5 0x4f947e in repl_call /home/lain/wasm3/platforms/app/main.c:298:14
    #6 0x4fafe3 in main /home/lain/wasm3/platforms/app/main.c
    #7 0x7fdadaa67082 in __libc_start_main /build/glibc-SzIz7B/glibc-2.31/csu/../csu/libc-start.c:308:16
    #8 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:1141:1 in op_Select_f32_rsr
==4932==ABORTING