unordered-set / conkas Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nveloso/conkas
Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
License: GNU Affero General Public License v3.0