MatthieuDartiailh/bytecode

Stack size computation issue

Closed this issue · 2 comments

Z-Shang commented

For example:
image

This will cause a stack underflow, but no error was given until the segfault.
Expecting something like:
image

MatthieuDartiailh commented

bytecode does not currently perform this kind of validation (which would require to know more about each bytecode than is currently known). I am not sure I would want such validation ran by default but it could be interesting. Feel free to put together a PR, I will be happy to review it.

  • 👍1
Z-Shang commented

PR created: #69 :)