This is a possible application of Zia besides being an alternative way to program. Zia should be able to use its rule system to check, for example what inputs to the exported functions cause traps.
.wasm files can be converted to a .wat which represents the program as an S-expression which makes it easier for Zia to parse.
To test support for WASM v1, a binary will have to be compiled using the zia crate and configured to parse both .wat and .wasm and used in this test suite https://www.github.com/WebAssembly/spec/tree/main/test%2Fcore
This is a possible application of Zia besides being an alternative way to program. Zia should be able to use its rule system to check, for example what inputs to the exported functions cause traps.
.wasm files can be converted to a .wat which represents the program as an S-expression which makes it easier for Zia to parse.
To test support for WASM v1, a binary will have to be compiled using the
ziacrate and configured to parse both .wat and .wasm and used in this test suite https://www.github.com/WebAssembly/spec/tree/main/test%2Fcore