issues
search
ivicanikolicsg
/
MAIAN
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
MIT License
556
stars
157
forks
source link
Add Dockerfile
#20
Open
lazzarello
opened
6 years ago
lazzarello
commented
6 years ago
This includes
A functional Dockerfile to run Maian in a container
Documentation regarding how
This includes