6 projects
slither-analyzer
Slither is a Solidity and Vyper static analysis framework written in Python 3.
crytic-compile
Util to facilitate smart contracts compilation.
fuzz-utils
A tool for automatically generating unit tests from Echidna and Medusa reproducers.
tealer
Teal analyzer.
evm-cfg-builder
EVM cfg builder written in Python 3.
pyevmasm
Ethereum Virtual Machine (EVM) assembler and disassembler
