
clr
Checker for Lifetimes and other Refinement types

Checker for Lifetimes and other Refinement types

Cross-platform network packet generator with full layer spoofing, pattern-based address randomization, and flood detection evasion for stress-testing…

Coverage-based fuzzer for python applications

Fuzzing IoT Devices Using the Router TL-WR902AC as Example

This is the community edition of GitLab's protocol fuzzing framework. This framework is based on Peach Fuzzer Professional with some features removed.

[CVE-2017-10235] Description and PoC of VirtualBox E1000 device Buffer Overflow

This tool calculates tricky canonical huffman histogram for CVE-2023-4863.

Exploit tool for CVE-2016-1287 that tests Cisco ASA devices by sending crafted IKEv2 fragments with invalid lengths to trigger denial of service.

Test cases for broken MIME and tools to generate and process these

Integer overflow in Oniguruma

sample exploit of buffer overflow in libpng

Proof of concept for CVE-2022-36234

Proof-of-concept for CVE-2026-29628, a stack-based buffer overflow in tinyobjloader's experimental parser, with ASan/UBSan reproduction and fix…

Docker images of Xpdf 4.04, vulnerable to CVE-2022-30524

Proof-of-concept exploit for CVE-2025-11579, a denial-of-service vulnerability in rardecode that triggers an out-of-memory crash via a crafted RAR…

Generate mutations over a wordlist

An integer overflow in the search_in_range function in regexec.c in Oniguruma 6.x before 6.9.4_rc2 leads to an out-of-bounds read