GitHub repository: tundachef/conkas
Primary language: Python
Description: Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution