You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi, I found that when I use WasmBinaryReader to parse a type-mismatched wasm file, it would not raise error messages. So I just wonder could I do the type evaluation in Binaryen? i.e., Simulate execution on an abstract stack to determine whether there is a type mismatch. Thank you!
(; example of type-mismatched code ;)global.get0i32.const32i64.sub
The text was updated successfully, but these errors were encountered:
hungryzzz
changed the title
[Question] How to do the type evaluation in Binaryen?
[Question] How to do type evaluation in Binaryen?
Apr 7, 2024
Hi, I found that when I use
WasmBinaryReader
to parse a type-mismatchedwasm
file, it would not raise error messages. So I just wonder could I do the type evaluation in Binaryen? i.e., Simulate execution on an abstract stack to determine whether there is a type mismatch. Thank you!The text was updated successfully, but these errors were encountered: