Discover crytic/cloudexec Open Source project by Crytic (@crytic)

Ethereum smart contract fuzzer

5,270

echidna

Haskell

2,714

building-secure-contracts

Guidelines and training material to write secure smart contracts

Examples of Solidity security issues

2,208

not-so-smart-contracts

A curated list of awesome Ethereum security references

2,150

awesome-ethereum-security

1,318

evm-opcodes

Ethereum opcodes and instruction reference

ethersplay

solc-select

Manage and switch between Solidity compiler versions

Directory of security contacts for blockchain companies

747

blockchain-security-contacts

400

pyevmasm

Ethereum Virtual Machine (EVM) disassembler and assembler

evm binary static analysis

353

rattle

Simplify Ethereum security analysis and testing

349

etheno

IDA Processor Module for the Ethereum Virtual Machine (EVM)

330

ida-evm

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

307

medusa

292

properties

Pre-built security properties for common Ethereum operations

Abstraction layer for smart contract build systems

281

crytic-compile

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

150

amarna

Static Analyzer for Starknet smart contracts

148

caracal

slither-action

evm_cfg_builder

echidna-streaming-series

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

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

optik

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

fuzz-utils

StarkNet smart contract fuzzer

roundme

Rust

tayt

Experimental tool to ease the review of smart contracts upgrades

diffusc

tealer

Static Analyzer for Teal

GitHub Action to run Echidna, the Ethereum smart contract fuzzer

echidna-action

Shell

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

Example code for testing using Echidna explained during the Spearbit presentation

echidna-spearbit-demo

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

slither-docs-action

Lints based on the Sealevel Attacks

solana-lints

Rust

contract-explorer

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

echidna-parade

The Trail of Bits Truffle Security Toolbox

trailofbits-security

JavaScript

whipstaff

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

TLA

damn-vulnerable-defi-echidna

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

slither-docs-demo

A go-ethereum fork enabling additional testing capabilities for medusa

medusa-geth

amarna-action

Github action for the Amarna static analyzer

Shell

slightly-smarter-contracts

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

vscode-starknet-explorer

solc

fuzz-vs-fv

Demonstration for using echidna to test a Solidity library

embark-contract-info

JavaScript

addressarrayutils_demo

Slither workshop (secureum)

remix-plugin-8000

JavaScript

ethdam

slither-workshop

slither-lsp