Skip to content
Static analysis framework for EVM bytecode
Branch: master
Clone or download
Pull request Compare This branch is 3 commits behind Practical-Formal-Methods:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
analysis
vm
.gitattributes
.gitignore
COPYING
COPYING.LESSER
README.md
go.mod
go.sum

README.md

Bran

Bran is a static analysis framework for EVM bytecode.

Building Bran

$ go get -t -v ./...
$ go install -v ./...
You can’t perform that action at this time.