fuzzing

Awesome-Hacking

+545

A collection of various awesome lists for hackers, pentesters and security researchers

oss-verify-proofs

+47

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

foundry

+52

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

oss-fuzz

+51

OSS-Fuzz - continuous fuzzing for open source software.

schemathesis

+31

Catch API bugs before your users do

dirsearch

+23

Web path scanner

syzkaller

+12

syzkaller is an unsupervised coverage-guided kernel fuzzer

AFLplusplus

+13

AFL++ is a state-of-the-art fuzzer, and #1 in benchmarks. It was originally based on AFL. Today it comes with qemu 5.1, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

fast-check

+8

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript