aviggiano

redis-roaring

Roaring Bitmaps for Redis

theauditorbook

The Auditor Book

solidity-audit-report-generator

Solidity Audit Report Generator

security

Security Reviews and Audit Checklists

fuzzer-evaluation

Evaluating fuzzer effectiveness

guitar-pro-6

Unofficial Guitar Pro 6 docker image for linux

coypu

Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst all members that contribute to the project.

property-based-testing-benchmark

Property-based testing benchmark

fuzzy-fyi

We help protocols improve their invariant tests

openzeppelin-contracts-upgradeable-v5-footguns

OpenZeppelin Contracts 5.0 Footguns

properties

Pre-built security properties for common Ethereum operations

ethereum-node-cloud

Terraform scripts to run an Ethereum node on the cloud

aave-v3-core

This repository contains the core smart contracts of the Aave V3 protocol.

abi-decode

abracadabra-money-contracts

app.js

GitHub Apps toolset for Node.js

chimera-poc

Chimera POC

DeFiHackLabs

Reproduce DeFi hacked incidents using Foundry.

forge-crytic-properties-poc

fuzzlib

Solidity Fuzzing Library

ghostly

Solidity Ghost Variables Library

halmos

A symbolic testing tool for EVM smart contracts

hevm

symbolic EVM evaluator

ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

medusa

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

medusa-crash

medusa-libraries

onchain-fuzzing-benchmark

Onchain fuzzing benchmark: running echidna on mainnet

shrinking-mwe

solplot

A Foundry plugin that enables you to plot charts within solidity.