crytic

Crytic Joined Mar 2019 View on GitHub

Stars
23,541
across 57 public repos
Rank
#1,570
of 94,827 organizations, top 2%

Repositories with 50+ stars

crytic's repositories with their overall rank
RankRepositoryLanguageStars
9,732

Static Analyzer for Solidity and Vyper

Python 6,412
21,053

Ethereum smart contract fuzzer

Haskell 3,193
27,340

Guidelines and training material to write secure smart contracts

Solidity 2,483
30,536

Examples of Solidity security issues

Solidity 2,225
46,167

A curated list of awesome Ethereum security references

1,484
50,633

Ethereum opcodes and instruction reference

1,350
76,661

EVM dissassembler

Python 854
80,039

Manage and switch between Solidity compiler versions

Python 816
125,452

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

Go 500
152,767

Directory of security contacts for blockchain companies

400
157,187

Ethereum Virtual Machine (EVM) disassembler and assembler

Python 387
162,792

Pre-built security properties for common Ethereum operations

Solidity 372
164,772

evm binary static analysis

Python 367
178,116

Simplify Ethereum security analysis and testing

Python 336
180,929

IDA Processor Module for the Ethereum Virtual Machine (EVM)

Python 330
277,183

Abstraction layer for smart contract build systems

Python 199
354,240

Static Analyzer for Starknet smart contracts

Cairo 148
358,173

Amarna is a static-analyzer and linter for the Cairo programming language.

Python 146
364,277 Shell 143
400,896

EVM CFG recovery

Python 127
433,704

A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties

Solidity 115
446,205

A 6-part series on how to use Echidna on real-world codebases

Solidity 111
469,574 Rust 104
488,391

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

Python 99
577,175

StarkNet smart contract fuzzer

Python 80
583,124

Experimental tool to ease the review of smart contracts upgrades

Solidity 79
600,843

Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks

Go 76
696,099

Static Analyzer for Teal

Python 63
704,714

GitHub Action to run Echidna, the Ethereum smart contract fuzzer

Shell 62

Among 94,827 organizations

16k–25k stars: 923 organizations, including crytic

Stars along the bottom, and organizations in each band on a log scale

When they were made

29 repos with 50+ stars, made between 2017 and 2024

Quick stats

Next rank
+5 stars to reach #1,569
Next milestone
+11,453 stars to reach the top 1%
Public repos
57, 29 with 50+ stars
Popular repos
23 over 100 stars, 6 over 1k stars
Top repo
slither, #9,732 of all repos, 27% of stars
Smaller repos
480 stars from repos under 50

Stars counted Recounted daily Next count around