Practical-Formal-Methods / branLinks

Static analysis framework for EVM bytecode
31Updated 5 years ago

Alternatives and similar repositories for bran

Users that are interested in bran are comparing it to the libraries listed below

Sorting: