crytic / rattle

evm binary static analysis

Home Page:https://www.trailofbits.com/presentations/rattle/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Error conditions that jump to invalid offsets

withzombies opened this issue · comments

We don't handle error conditions that jump to invalid targets.

python3 rattle.py --input inputs/sycep/SYCEarlyPurchase.binaryninja.bytecode

sycep jumps to offset 0x1 in block 0xc94.