bran icon indicating copy to clipboard operation
bran copied to clipboard

verified publisher icon Practical-Formal-Methods
→

Metadata

Static analysis framework for EVM bytecode

Bran

Bran is a static analysis framework for EVM bytecode.

Building Bran

$ go get -t -v ./...
$ go install -v ./...

← Metadata

22
Stars
7
Forks
Watchers

Owner

verified publisher icon Practical-Formal-Methods

Metadata

Static analysis framework for EVM bytecode

Back