Ganben / solverify

learn formal method

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

solverify

learn formal method

dependencies

u should have all oyente environments:

  • solc
  • z3
  • evm

objectives

a transparent process, a module based analyze platform, a better visual results

start as a fuzz caller: PYTHONPATH=../FUZZDIR/ python3 embserver.py

About

learn formal method

License:GNU General Public License v3.0


Languages

Language:Python 100.0%