
slither
Static Analyzer for Solidity and Vyper
code-analysisstatic-analysisvulnerability-analysis

Static Analyzer for Solidity and Vyper

B2R2 is a fully managed binary analysis framework written in F#. It provides a rich set of algorithms, functions, and tools for reverse engineering,…

A reverse engineering framework written in Python.