Compatible with emcc or other compilers?

Question

Compatible with emcc or other compilers?

opened this issue 2 years ago · comments

I was wondering if we were able to use veriwasm with other compilers other than Lucet?

Our goal is to be able to verify wasm binaries compiled by emcc that can run in WAVM or WAMR.

enjhnsn2 · Answer 1 · Thu Nov 03 2022 07:40:46 GMT+0800 (China Standard Time)

We are currently working on VeriWasm support for Wasmtime (currently in the testing phase for this), but currently we have no support for emcc. Out of curiosity, why WAVM or WAMR as opposed to say, Wasmtime?

Deleted user · Answer 2 · Thu Nov 03 2022 07:54:24 GMT+0800 (China Standard Time)

Thanks! We wanted something pthread support and it seems like wasmtime is in the progress of adopting it. Is there a branch I could look at for a "beta" version to use?

enjhnsn2 · Answer 3 · Sat Nov 05 2022 02:48:11 GMT+0800 (China Standard Time)

do you mean the version of veriwasm that (sort of) supports Wasmtime? That's in the main branch. I can't make any guarantees about it working, but I'll be debugging it over the next few weeks

Deleted user · Answer 4 · Wed Nov 09 2022 07:07:53 GMT+0800 (China Standard Time)

I run into this:
unimplemented!("Enable wasmtime feature to use this function");

Then I added the flag to enable it, but it seems like it's still unimplemented. I uncommented the code and it seems I am still missing some things. Will it be able to verify very simple wasmtime binaries or is it still being worked on?