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
caracal
Static Analyzer for Starknet smart contracts
echidna
Ethereum smart contract fuzzer
ethersplay
EVM dissassembler
evm-opcodes
Ethereum opcodes and instruction reference
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/solc-select
Manage and switch between Solidity compiler versions
crytic/blockchain-security-contacts
Directory of security contacts for blockchain companies
crytic/pyevmasm
Ethereum Virtual Machine (EVM) disassembler and assembler
crytic/ida-evm
IDA Processor Module for the Ethereum Virtual Machine (EVM)
crytic/medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
crytic/properties
Pre-built security properties for common Ethereum operations
crytic/amarna
Amarna is a static-analyzer and linter for the Cairo programming language.
crytic/crytic-compile
Abstraction layer for smart contract build systems
crytic/caracal
Static Analyzer for Starknet smart contracts
crytic/slither-action
crytic/roundme
crytic/fuzz-utils
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
crytic/diffusc
Experimental tool to ease the review of smart contracts upgrades
crytic/tealer
Static Analyzer for Teal
crytic/echidna-action
GitHub Action to run Echidna, the Ethereum smart contract fuzzer
crytic/attacknet
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
crytic/slither-docs-action
Write documentation for your code in pull requests using Slither and OpenAI.
crytic/contract-explorer
Visual Studio Code integration for Slither, a Solidity static analysis framework
crytic/solana-lints
Lints based on the Sealevel Attacks
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/fuzz-vs-fv
crytic/ethdam
crytic/slither-lsp
crytic/ardc_proposal
crytic/ethereum-package
A Kurtosis package that deploys a private, portable, and modular Ethereum devnet