search

crytic / rattle

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

Basic CFG Recovery misses some blocks #1

Closed withzombies closed 6 years ago

withzombies commented 6 years ago

SSA lifting identifies them, but basic recovery misses them. 

python3 rattle.py --input inputs/inline_calls/C.bin.bytecode

Misses a block starting at 0x2e.