trailofbits/eth-security-toolbox

This is stars and forks stats for /trailofbits/eth-security-toolbox repository. As of 24 Apr, 2024 this repository has 597 stars and 91 forks.

Ethereum Security Toolbox This repository contains scripts to create a Docker container preinstalled and preconfigured with all of Trail of Bits’ Ethereum security tools, including: Echidna property-based fuzz tester Etheno integration tool and differential tester Manticore symbolic analyzer and formal contract verifier Slither static analysis tool Rattle EVM lifter Not So Smart Contracts repository Quickstart Use our prebuilt Docker container to quickly install and run the toolkit: docker pull trailofbits/eth-security-toolbox docker...