Pinned Repositories
awesome-ethereum-security
A curated list of awesome Ethereum security references
building-secure-contracts
Guidelines and training material to write secure smart contracts
echidna
Ethereum smart contract fuzzer
ethersplay
EVM dissassembler
evm-opcodes
Ethereum opcodes and instruction reference
medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
not-so-smart-contracts
Examples of Solidity security issues
properties
Pre-built security properties for common Ethereum operations
slither
Static Analyzer for Solidity and Vyper
solc-select
Manage and switch between Solidity compiler versions
Crytic's Repositories
crytic/slither
Static Analyzer for Solidity and Vyper
crytic/echidna
Ethereum smart contract fuzzer
crytic/building-secure-contracts
Guidelines and training material to write secure smart contracts
crytic/awesome-ethereum-security
A curated list of awesome Ethereum security references
crytic/evm-opcodes
Ethereum opcodes and instruction reference
crytic/solc-select
Manage and switch between Solidity compiler versions
crytic/medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
crytic/blockchain-security-contacts
Directory of security contacts for blockchain companies
crytic/pyevmasm
Ethereum Virtual Machine (EVM) disassembler and assembler
crytic/properties
Pre-built security properties for common Ethereum operations
crytic/etheno
Simplify Ethereum security analysis and testing
crytic/crytic-compile
Abstraction layer for smart contract build systems
crytic/amarna
Amarna is a static-analyzer and linter for the Cairo programming language.
crytic/slither-action
crytic/fuzz-utils
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
crytic/optik
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
crytic/roundme
crytic/attacknet
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
crytic/solana-lints
Lints based on the Sealevel Attacks
crytic/anchorx-ray
Node module for scanning and visualize Solana accounts
crytic/contract-explorer
Visual Studio Code integration for Slither, a Solidity static analysis framework
crytic/cloudexec
A general purpose foundation for cloud-based fuzzing and mutation testing jobs
crytic/medusa-geth
A go-ethereum fork enabling additional testing capabilities for medusa
crytic/ethdam
crytic/slither-lsp
crytic/slither-workshop
Slither workshop (secureum)
crytic/.github
crytic/crytic.nix
A flake.nix for easy access to crytic tools
crytic/ethereum-package
A Kurtosis package that deploys a private, portable, and modular Ethereum devnet
crytic/smart-contract-data
smart contract data