halmos icon indicating copy to clipboard operation
halmos copied to clipboard

[WIP] Validate jumpdests

Open 0xkarmacoma opened this issue 1 year ago • 1 comments

Validate the legality of jump destination targets

Previously, you could jump anywhere in bytecode (inluding non-jumpdests or the middle of a PUSH), we did not validate that the bytecode jumped on a valid jumpdest

See #251

TODO:

  • [X] test_illegal_jump
  • [X] implement jumpdest validation for JUMP
  • [ ] test_illegal_jumpi
  • [ ] implement jumpdest validation for JUMPI

0xkarmacoma avatar Jan 26 '24 23:01 0xkarmacoma