Crytic

All

65 repositories

medusa
Public
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Go
•
GNU Affero General Public License v3.0
•76•431•58•21•Updated Dec 7, 2025Dec 7, 2025
slither
Public
Static Analyzer for Solidity and Vyper
static-analysis ethereum solidity vyper
Python
•
GNU Affero General Public License v3.0
•1.1k•6k•410•74•Updated Dec 5, 2025Dec 5, 2025
solc-select
Public
Manage and switch between Solidity compiler versions
ethereum solidity
Python
•
GNU Affero General Public License v3.0
•112•795•14•3•Updated Dec 4, 2025Dec 4, 2025
echidna
Public
Ethereum smart contract fuzzer
testing security ethereum smart-contracts solidity fuzzer evm
Haskell
•
GNU Affero General Public License v3.0
•414•3k•80•28•Updated Dec 2, 2025Dec 2, 2025
properties
Public
Pre-built security properties for common Ethereum operations
Solidity
•
GNU Affero General Public License v3.0
•55•349•18•15•Updated Dec 1, 2025Dec 1, 2025
solana-lints
Public
Lints based on the Sealevel Attacks
Rust
•9•44•3•11•Updated Nov 27, 2025Nov 27, 2025
building-secure-contracts
Public
Guidelines and training material to write secure smart contracts
Solidity
•
GNU Affero General Public License v3.0
•374•2.4k•40•21•Updated Nov 26, 2025Nov 26, 2025
roundme
Public
Rust
•
GNU Affero General Public License v3.0
•9•102•3•3•Updated Nov 25, 2025Nov 25, 2025
crytic-compile
Public
Abstraction layer for smart contract build systems
Python
•
GNU Affero General Public License v3.0
•89•188•105•13•Updated Nov 24, 2025Nov 24, 2025
pyevmasm
Public
Ethereum Virtual Machine (EVM) disassembler and assembler
python ethereum assembler evm dissassembler
Python
•
Apache License 2.0
•50•383•10•6•Updated Nov 21, 2025Nov 21, 2025
crytic.nix
Public
A flake.nix for easy access to crytic tools
Nix
•0•1•0•0•Updated Nov 10, 2025Nov 10, 2025
fuzz-utils
Public
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Solidity
•
GNU Affero General Public License v3.0
•4•112•17•2•Updated Aug 25, 2025Aug 25, 2025
contract-explorer
Public
Visual Studio Code integration for Slither, a Solidity static analysis framework
static-analysis ethereum visual-studio-code solidity vscode-extension
TypeScript
•
GNU Affero General Public License v3.0
•9•36•21•3•Updated Aug 8, 2025Aug 8, 2025
attacknet
Public
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
Go
•
GNU Affero General Public License v3.0
•14•75•7•2•Updated Jul 9, 2025Jul 9, 2025
medusa-geth
Public
A go-ethereum fork enabling additional testing capabilities for medusa
0•12•0•0•Updated Apr 23, 2025Apr 23, 2025
slither-action
Public
Shell
•
GNU Affero General Public License v3.0
•22•143•7•3•Updated Mar 21, 2025Mar 21, 2025
anchorx-ray
Public
Node module for scanning and visualize Solana accounts
HTML
•
GNU Affero General Public License v3.0
•1•37•3•0•Updated Mar 3, 2025Mar 3, 2025
amarna
Public archive
Amarna is a static-analyzer and linter for the Cairo programming language.
linter static-analysis cairo starknet
Python
•
GNU Affero General Public License v3.0
•7•148•11•3•Updated Feb 14, 2025Feb 14, 2025
etheno
Public archive
Simplify Ethereum security analysis and testing
ethereum truffle symbolic-execution solidity differential-testing ganache
Python
•
GNU Affero General Public License v3.0
•30•339•30•7•Updated Feb 14, 2025Feb 14, 2025
blockchain-security-contacts
Public
Directory of security contacts for blockchain companies
security email directory ethereum blockchain
Creative Commons Attribution 4.0 International
•187•404•4•1•Updated Feb 7, 2025Feb 7, 2025
optik
Public
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
smart-contracts symbolic-execution fuzzing evm security-tools echidna maat
Python
•
Other
•10•99•22•6•Updated Sep 3, 2024Sep 3, 2024
.github
Public
GNU Affero General Public License v3.0
•8•1•0•0•Updated Aug 27, 2024Aug 27, 2024
awesome-ethereum-security
Public
A curated list of awesome Ethereum security references
security ethereum solidity evm
Creative Commons Attribution 4.0 International
•202•1.4k•4•20•Updated Aug 20, 2024Aug 20, 2024
evm-opcodes
Public
Ethereum opcodes and instruction reference
ethereum instructions opcodes evm
Apache License 2.0
•220•1.4k•8•2•Updated Aug 19, 2024Aug 19, 2024
smart-contract-data
Public archive
smart contract data
0•0•0•0•Updated Aug 15, 2024Aug 15, 2024
slither-lsp
Public
Python
•
GNU Affero General Public License v3.0
•0•2•0•0•Updated Jul 28, 2024Jul 28, 2024
cloudexec
Public
A general purpose foundation for cloud-based fuzzing and mutation testing jobs
Go
•
GNU Affero General Public License v3.0
•1•21•19•2•Updated Jul 26, 2024Jul 26, 2024
ethereum-package
Public
A Kurtosis package that deploys a private, portable, and modular Ethereum devnet
Starlark
•
MIT License
•303•0•0•1•Updated Jul 11, 2024Jul 11, 2024
slither-workshop
Public archive
Slither workshop (secureum)
Python
•4•2•0•0•Updated Jun 17, 2024Jun 17, 2024
ethdam
Public archive
1•2•0•0•Updated Apr 12, 2024Apr 12, 2024