Explore @crytic Open Source projects

Crytic (@crytic)

crytic

Stars
20,611
Global Org. Rank 1,070 (Top 0.4 %)
Registered over 5 years ago
Most used languages

Python
38.3 %

Solidity
23.4 %

TypeScript
8.5 %

JavaScript
6.4 %

Shell
6.4 %

Go
6.4 %

Rust
4.3 %

TLA 2.1 %

Cairo 2.1 %

Haskell
2.1 %
Location 🇺🇸 United States
Country Total Rank 578
Country Ranking

Cairo 1

Solidity
1

Haskell
8

TLA 13

Python
156

Shell
1,024

Rust
1,058

Go
1,087

TypeScript
3,046

slither

Static Analyzer for Solidity and Vyper

echidna

Ethereum smart contract fuzzer

building-secure-contracts

Guidelines and training material to write secure smart contracts

not-so-smart-contracts

Examples of Solidity security issues

awesome-ethereum-security

A curated list of awesome Ethereum security references

evm-opcodes

Ethereum opcodes and instruction reference

ethersplay

EVM dissassembler

solc-select

Manage and switch between Solidity compiler versions

blockchain-security-contacts

Directory of security contacts for blockchain companies

pyevmasm

Ethereum Virtual Machine (EVM) disassembler and assembler

rattle

evm binary static analysis

etheno

Simplify Ethereum security analysis and testing

ida-evm

IDA Processor Module for the Ethereum Virtual Machine (EVM)

medusa

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

properties

Pre-built security properties for common Ethereum operations

crytic-compile

Abstraction layer for smart contract build systems

amarna

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

caracal

Static Analyzer for Starknet smart contracts

slither-action

evm_cfg_builder

EVM CFG recovery

echidna-streaming-series

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

optik

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

fuzz-utils

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

roundme

tayt

StarkNet smart contract fuzzer

diffusc

Experimental tool to ease the review of smart contracts upgrades

tealer

Static Analyzer for Teal

echidna-action

GitHub Action to run Echidna, the Ethereum smart contract fuzzer

attacknet

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

fluxture

A crawling framework for blockchains and peer-to-peer systems

secureum-medusa

echidna-spearbit-demo

Example code for testing using Echidna explained during the Spearbit presentation

slither-docs-action

Write documentation for your code in pull requests using Slither and OpenAI.

solana-lints

Lints based on the Sealevel Attacks

contract-explorer

Visual Studio Code integration for Slither, a Solidity static analysis framework

echidna-parade

trailofbits-security

The Trail of Bits Truffle Security Toolbox

whipstaff

A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)

cloudexec

A general purpose foundation for cloud-based fuzzing and mutation testing jobs

damn-vulnerable-defi-echidna

slither-docs-demo

A demo on how to use the slither-docs actions (https://github.com/crytic/slither-docs-action)

medusa-geth

A go-ethereum fork enabling additional testing capabilities for medusa

amarna-action

Github action for the Amarna static analyzer

slightly-smarter-contracts

vscode-starknet-explorer

StarkNet support extension for VSCode. Visualize StarkNet contracts: view storage variables, external and view functions, and events.

solc

fuzz-vs-fv

embark-contract-info

embark-contract-info

addressarrayutils_demo

Demonstration for using echidna to test a Solidity library

remix-plugin-8000

ethdam

slither-workshop

Slither workshop (secureum)

slither-lsp