search

crytic / rattle

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

CFG recovery non-termination #18

Open withzombies opened 5 years ago

withzombies commented 5 years ago

Rattle and ethersplay both fail to recover the control flow graph of the fomo3d contract. Analysis never finishes.