Projects in Awesome Lists by crytic
A curated list of projects in awesome lists by crytic .
https://github.com/crytic/slither
Static Analyzer for Solidity and Vyper
ethereum solidity static-analysis vyper
Last synced: 17 Jan 2026
https://github.com/crytic/echidna?tab=readme-ov-file
Ethereum smart contract fuzzer
ethereum evm fuzzer security smart-contracts solidity testing
Last synced: 08 Jul 2025
https://github.com/crytic/echidna
Ethereum smart contract fuzzer
ethereum evm fuzzer security smart-contracts solidity testing
Last synced: 13 May 2025
https://github.com/crytic/building-secure-contracts
Guidelines and training material to write secure smart contracts
Last synced: 14 May 2025
https://github.com/crytic/not-so-smart-contracts
Examples of Solidity security issues
ethereum solidity vulnerabilities
Last synced: 30 Sep 2025
https://github.com/crytic/evm-opcodes
Ethereum opcodes and instruction reference
ethereum evm instructions opcodes
Last synced: 15 May 2025
https://github.com/crytic/ethersplay
EVM dissassembler
binary-ninja disassembler ethereum evm
Last synced: 27 Mar 2025
https://github.com/crytic/solc-select
Manage and switch between Solidity compiler versions
Last synced: 14 May 2025
https://github.com/crytic/blockchain-security-contacts
Directory of security contacts for blockchain companies
blockchain directory email ethereum security
Last synced: 15 May 2025
https://github.com/crytic/medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Last synced: 08 Oct 2025
https://github.com/crytic/pyevmasm
Ethereum Virtual Machine (EVM) disassembler and assembler
assembler dissassembler ethereum evm python
Last synced: 05 Apr 2025
https://github.com/crytic/rattle
evm binary static analysis
ethereum evm reverse-engineering
Last synced: 06 Apr 2025
https://github.com/crytic/etheno
Simplify Ethereum security analysis and testing
differential-testing ethereum ganache solidity symbolic-execution truffle
Last synced: 09 Dec 2025
https://github.com/crytic/properties
Pre-built security properties for common Ethereum operations
Last synced: 01 May 2025
https://github.com/crytic/ida-evm
IDA Processor Module for the Ethereum Virtual Machine (EVM)
dissassembler evm ida ida-pro processor-module
Last synced: 06 Apr 2025
https://github.com/crytic/properties?tab=readme-ov-file
Pre-built security properties for common Ethereum operations
Last synced: 26 Oct 2025
https://github.com/crytic/crytic-compile
Abstraction layer for smart contract build systems
Last synced: 15 May 2025
https://github.com/crytic/amarna
Amarna is a static-analyzer and linter for the Cairo programming language.
cairo linter starknet static-analysis
Last synced: 14 Mar 2026
https://github.com/crytic/caracal
Static Analyzer for Starknet smart contracts
Last synced: 27 Jan 2026
https://github.com/crytic/echidna-streaming-series
A 6-part series on how to use Echidna on real-world codebases
Last synced: 01 May 2025
https://github.com/crytic/fuzz-utils
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Last synced: 04 Apr 2025
https://github.com/crytic/optik
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
echidna evm fuzzing maat security-tools smart-contracts symbolic-execution
Last synced: 30 Apr 2025
https://github.com/crytic/diffusc
Experimental tool to ease the review of smart contracts upgrades
Last synced: 01 May 2025
https://github.com/crytic/attacknet
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
Last synced: 23 Apr 2025
https://github.com/crytic/echidna-action
GitHub Action to run Echidna, the Ethereum smart contract fuzzer
Last synced: 01 May 2025
https://github.com/crytic/fluxture
A crawling framework for blockchains and peer-to-peer systems
Last synced: 03 Jul 2025
https://github.com/crytic/echidna-spearbit-demo
Example code for testing using Echidna explained during the Spearbit presentation
Last synced: 01 May 2025
https://github.com/crytic/slither-docs-action
Write documentation for your code in pull requests using Slither and OpenAI.
Last synced: 01 May 2025
https://github.com/crytic/contract-explorer
Visual Studio Code integration for Slither, a Solidity static analysis framework
ethereum solidity static-analysis visual-studio-code vscode-extension
Last synced: 02 Sep 2025
https://github.com/crytic/anchorx-ray
Node module for scanning and visualize Solana accounts
Last synced: 11 Jun 2025
https://github.com/crytic/trailofbits-security
The Trail of Bits Truffle Security Toolbox
Last synced: 01 May 2025
https://github.com/crytic/whipstaff
A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
Last synced: 28 Feb 2025
https://github.com/crytic/cloudexec
A general purpose foundation for cloud-based fuzzing and mutation testing jobs
Last synced: 13 Jul 2025
https://github.com/crytic/medusa-geth
A go-ethereum fork enabling additional testing capabilities for medusa
Last synced: 21 Jul 2025
https://github.com/crytic/slither-docs-demo
A demo on how to use the slither-docs actions (https://github.com/crytic/slither-docs-action)
Last synced: 01 May 2025
https://github.com/crytic/amarna-action
Github action for the Amarna static analyzer
Last synced: 01 May 2025
https://github.com/crytic/addressarrayutils_demo
Demonstration for using echidna to test a Solidity library
Last synced: 28 Feb 2025
https://github.com/crytic/crytic.nix
A flake.nix for easy access to crytic tools
Last synced: 11 Jun 2025