TOPLLab / WARDuino

📟 A dynamic WebAssembly VM for embedded systems
https://topllab.github.io/WARDuino/
Mozilla Public License 2.0
72 stars 7 forks source link

🐛 Updating stack values breaks Wasm type safety #202

Open tolauwae opened 10 months ago

tolauwae commented 10 months ago

There are a lot of possible issues with the stack value update debug message. There is no type checking that is done when the value is updated. So I think we should disable this debug instruction until we have addressed these issue.

The debug message should not be able to break a valid module.

Originally posted by @tolauwae in https://github.com/TOPLLab/Meta/discussions/2#discussioncomment-5987367