Bytecode verifier missing type‑related limit checks

Bytecode verifier missing type‑related limit checks: a task in LegoFlow-SWE (Harbor dataset). The Move bytecode verifier does not enforce several important limits on types, allowing users to publish modules that bypass static safety guarantees. Some of these limits are only checked at runtime (and…

The task

The Move bytecode verifier does not enforce several important limits on types, allowing users to publish modules that bypass static safety guarantees. Some of these limits are only checked at runtime (and only in paranoid mode), while others are not checked at all. This leads to invariant violations or silent…

Part of Lego-X/LegoFlow-SWE.