search

crytic / rattle

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

Use-def graphs #6

Closed withzombies closed 6 years ago

withzombies commented 6 years ago

Symbolic variables should keep track of who defined them and where they're used.

withzombies commented 6 years ago

This was added as a part of 9e46eb6