Discover crytic/fuzz-vs-fv Open Source project by Crytic (@crytic)

Stars
4
Rank 3,304,323 (Top 66 %)
Language
TypeScript
Created over 1 year ago
Updated 10 months ago

crytic

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

slither

Static Analyzer for Solidity and Vyper

Python

5,270

echidna

Ethereum smart contract fuzzer

Haskell

2,714

building-secure-contracts

Guidelines and training material to write secure smart contracts

Solidity

2,208

not-so-smart-contracts

Examples of Solidity security issues

Solidity

2,150

awesome-ethereum-security

A curated list of awesome Ethereum security references

1,318

evm-opcodes

Ethereum opcodes and instruction reference

ethersplay

solc-select

Manage and switch between Solidity compiler versions

Python

747

blockchain-security-contacts

Directory of security contacts for blockchain companies

400

pyevmasm

Ethereum Virtual Machine (EVM) disassembler and assembler

Python

353

rattle

evm binary static analysis

Python

349

etheno

Simplify Ethereum security analysis and testing

Python

330

ida-evm

IDA Processor Module for the Ethereum Virtual Machine (EVM)

Python

307

medusa

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

292

properties

Pre-built security properties for common Ethereum operations

Solidity

281

crytic-compile

Abstraction layer for smart contract build systems

Python

150

amarna

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

Python

148

caracal

Static Analyzer for Starknet smart contracts

slither-action

evm_cfg_builder

echidna-streaming-series

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

Solidity

optik

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

Python

fuzz-utils

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

Solidity

roundme

Rust

tayt

StarkNet smart contract fuzzer

Python

diffusc

Experimental tool to ease the review of smart contracts upgrades

Solidity

tealer

Static Analyzer for Teal

Python

echidna-action

GitHub Action to run Echidna, the Ethereum smart contract fuzzer

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

Python

secureum-medusa

Solidity

echidna-spearbit-demo

Example code for testing using Echidna explained during the Spearbit presentation

Solidity

slither-docs-action

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

TypeScript

solana-lints

Lints based on the Sealevel Attacks

Rust

contract-explorer

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

TypeScript

echidna-parade

Python

trailofbits-security

The Trail of Bits Truffle Security Toolbox

JavaScript

whipstaff

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

TLA

cloudexec

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

damn-vulnerable-defi-echidna

Solidity

slither-docs-demo

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

Solidity

medusa-geth

A go-ethereum fork enabling additional testing capabilities for medusa

amarna-action

Github action for the Amarna static analyzer

Shell

slightly-smarter-contracts

Python

vscode-starknet-explorer

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

TypeScript

solc

embark-contract-info

JavaScript

addressarrayutils_demo

Demonstration for using echidna to test a Solidity library

Solidity

remix-plugin-8000

JavaScript

ethdam

slither-workshop

Slither workshop (secureum)

Python

slither-lsp

Python

crytic/fuzz-vs-fv

crytic

Reviews

Repository Details

More Repositories