GitHub repository: trailofbits/rattle
Primary language: Python
Description: evm binary static analysis