Rust WASM toolchain not installed, please install it!

[rlaferla]

Rust WASM toolchain not installed, please install it!

[hermanventer]

Running cargo mirai is the preferred way. Since you seem to be concerned with verification rather than just bug finding, so probably want to run MIRAI_FLAGS=--diag=verify cargo mirai. Note that this assumes that you are willing and able to add explicit annotations to the source code being analyzed.

MIRAI runs as an add-on to the rust compiler and it depends on the toolchain for the particular version of rustc against which it was built (see rust-toolchain.toml). Normally you don't have to worry about this because you'll have rustup installed and cargo will use rustup to get hold of this toolchain when it runs the MIRAI binary.

Unfortunately, cross compilation complicates matters quite a bit and MIRAI is not configured and not tested for cross compilation scenarios. It is conceivable that if you run rustup +nightly-2023-03-22 target add wasm32-unknown-unknown before running cargo mirai, things will just work. (I tend never to be quite so lucky whenever I try to cross compile anything, but you never know.)

[rlaferla]

It seemed promising but in the end it errored out with "could not compile"

[hermanventer]

I'm afraid that you are in a world of complexity where things just won't work out of the box. It might be more productive to concentrate on a small core library and see if you can verify that with --diag=library.

[hermanventer]

No updates.