A symbolic execution engine for EVM smart contract binaries.
Home Page:https://ucsb-seclab.github.io/greed/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool