search

crytic / rattle

evm binary static analysis
https://www.trailofbits.com/presentations/rattle/
344 stars 41 forks source link

Error conditions that jump to invalid offsets #2

Closed withzombies closed 6 years ago

withzombies commented 6 years ago

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.