Ethereum smart contract vulnerability scanner based on symbolic execution

A vulnerability scanner for Ethereum smart contract, implementing with Go and Yices. This project is powered by mythril and manticore

How to use

git clone github.com/Notation/gscanner.git

make gscanner

./bin/gscanner --help

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
cmd		cmd
internal		internal
scripts		scripts
solc_binary		solc_binary
solidity_examples		solidity_examples
testdata		testdata
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
go.mod		go.mod
go.sum		go.sum