Crytic

Since 2012, Trail of Bits has helped secure some of the world's most targeted organizations and devices.

We combine high-end security research with a real-world attacker mentality to reduce risk and fortify code.

Some of our work:

Pinned Loading

Static Analyzer for Solidity and Vyper

Python 6.3k 1.1k
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

Go 477 88
Ethereum smart contract fuzzer

Haskell 3.2k 433
Guidelines and training material to write secure smart contracts

Solidity 2.5k 386
Manage and switch between Solidity compiler versions

Python 811 110
Pre-built security properties for common Ethereum operations

Solidity 368 58

Showing 10 of 65 repositories

echidna Public
Ethereum smart contract fuzzer

crytic/echidna’s past year of commit activity
crytic-compile Public
Abstraction layer for smart contract build systems

crytic/crytic-compile’s past year of commit activity
slither Public
Static Analyzer for Solidity and Vyper

crytic/slither’s past year of commit activity
fluxture Public
A crawling framework for blockchains and peer-to-peer systems

crytic/fluxture’s past year of commit activity
solc-select Public
Manage and switch between Solidity compiler versions

crytic/solc-select’s past year of commit activity
medusa Public
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

crytic/medusa’s past year of commit activity
crytic.nix Public
A flake.nix for easy access to crytic tools

crytic/crytic.nix’s past year of commit activity

Python
2
0
0 0
Updated Apr 22, 2026
medusa-geth Public
A go-ethereum fork enabling additional testing capabilities for medusa

crytic/medusa-geth’s past year of commit activity

13 2 0 0
Updated Apr 20, 2026
pyevmasm Public
Ethereum Virtual Machine (EVM) disassembler and assembler

crytic/pyevmasm’s past year of commit activity

Python
386
Apache-2.0
53 10 10
Updated Apr 17, 2026
crytic/building-secure-contracts’s past year of commit activity