GitHub repository: nveloso/conkas
Primary language: Python
Created: 2021-03-18T21:36:58Z
Description: Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution