Bytecode Alliance wasm-micro-runtime (aka WebAssembly Micro Runtime or WAMR) before 1.3.0 can have an "double free or corruption" error for a valid WebAssembly module because push_pop_frame_ref_offset is mishandled.
https://github.com/bytecodealliance/wasm-micro-runtime/pull/2590
https://github.com/bytecodealliance/wasm-micro-runtime/issues/2586
https://github.com/bytecodealliance/wasm-micro-runtime/compare/WAMR-1.2.3...WAMR-1.3.0