crytic / rattle

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

Static security checkers #10

Open withzombies opened 6 years ago

withzombies commented 6 years ago

Identify which security checkers apply from slither and port them to rattle