learn formal method
u should have all oyente environments:
- solc
- z3
- evm
a transparent process, a module based analyze platform, a better visual results
start as a fuzz caller: PYTHONPATH=../FUZZDIR/ python3 embserver.py
learn formal method
learn formal method
u should have all oyente environments:
a transparent process, a module based analyze platform, a better visual results
start as a fuzz caller: PYTHONPATH=../FUZZDIR/ python3 embserver.py
learn formal method
GNU General Public License v3.0