Explore @crytic Open Source projects

Crytic (@crytic)

crytic

Stars
19,612
Global Org. Rank 1,085 (Top 0.4 %)
Registered about 5 years ago
Most used languages

Python
37.0 %

Solidity
26.1 %

TypeScript
8.7 %

JavaScript
6.5 %

Go
6.5 %

Shell
6.5 %

Rust
4.3 %

Cairo 2.2 %

TLA 2.2 %
Location 🇺🇸 United States
Country Total Rank 578
Country Ranking

Cairo 1

Solidity
1

TLA 13

Python
156

Rust
996

Shell
1,036

Go
1,165

TypeScript
2,971

slither

Static Analyzer for Solidity and Vyper

echidna

Ethereum smart contract fuzzer

not-so-smart-contracts

Examples of Solidity security issues

building-secure-contracts

Guidelines and training material to write secure smart contracts

evm-opcodes

Ethereum opcodes and instruction reference

awesome-ethereum-security

A curated list of awesome Ethereum security references

ethersplay

EVM dissassembler

solc-select

Manage and switch between Solidity compiler versions

blockchain-security-contacts

Directory of security contacts for blockchain companies

rattle

evm binary static analysis

pyevmasm

Ethereum Virtual Machine (EVM) disassembler and assembler

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

amarna

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

crytic-compile

Abstraction layer for smart contract build systems

caracal

Static Analyzer for Starknet smart contracts

slither-action

evm_cfg_builder

EVM CFG recovery

optik

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

echidna-streaming-series

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

roundme

tayt

StarkNet smart contract fuzzer

fuzz-utils

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

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

fluxture

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

attacknet

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

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.

echidna-parade

solana-lints

Lints based on the Sealevel Attacks

contract-explorer

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

whipstaff

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

trailofbits-security

The Trail of Bits Truffle Security Toolbox

damn-vulnerable-defi-echidna

amarna-action

Github action for the Amarna static analyzer

cloudexec

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

medusa-geth

A go-ethereum fork enabling additional testing capabilities for medusa

slightly-smarter-contracts

slither-docs-demo

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

vscode-starknet-explorer

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

solc

embark-contract-info

embark-contract-info

fuzz-vs-fv

addressarrayutils_demo

Demonstration for using echidna to test a Solidity library

remix-plugin-8000

ethdam

slither-lsp