7 projects
crytic-compile
Util to facilitate smart contracts compilation.
slither-analyzer
Slither is a Solidity and Vyper static analysis framework written in Python 3.
fuzz-utils
A tool for automatically generating unit tests from Echidna and Medusa reproducers.
tealer
Teal analyzer.
optik-tools
Symbolic execution toolkit for Ethereum smart-contracts
amarna
Amarna is a static-analyzer for the Cairo programming language.
evm-cfg-builder
EVM cfg builder written in Python 3.
