🐛 Fuzzing

Property-Based Testing, Input Generation, Crash Discovery, Security Testing

Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·1d·
Discuss: r/programming
✅Format Verification
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·5h
🦀Rust Verification
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·20h·
Discuss: Hacker News
🛡️Preservation Proofs
AI Test User
incoherency.co.uk·7h
⚡Proof Automation
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Android Malware Konfety evolves with ZIP manipulation and dynamic loading
securityaffairs.com·2h
🏺ZIP Archaeology
Building Readable AI Agents: From Spaghetti Code to Human-Friendly Logic
dev.to·20h·
Discuss: DEV
🌳Incremental Parsing
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·4h·
Discuss: Hacker News, r/programming
🔒Type Safety
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·1d
🔐Cryptographic Archaeology
AWS Lambda Silent Crash
jmason.ie·1d
🛡️Error Boundaries
The Inner JSON Effect - The Daily WTF
thedailywtf.com·2d
🚀Indie Hacking
When Tests Become the Bottleneck
blog.testthetest.com·6h·
Discuss: Hacker News
🔍Concolic Testing
sca-fuzzer: Revizor - a fuzzer to search for microarchitectural leaks in CPUs
github.com·2d·
Discuss: Lobsters, Hacker News
🎮Switch Archaeology
A code quality battle between 6 AI agents
sourcery.ai·10h·
Discuss: Hacker News
📏Code Metrics
Pre-Auth SQLi to RCE – Fortinet FortiWeb Fabric Connector (CVE-2025-25257)
labs.watchtowr.com·12h·
Discuss: Hacker News
🛡️CBOR Security
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·1d
🌐DNS Security
Interacting with an unreliable process
mbork.pl·1d
🐚Bash FP
Repeater Strike: manual testing, amplified
portswigger.net·5h
🧪Protocol Fuzzing
Functional Abstract Interpretation
simon.peytonjones.org·19h·
Discuss: Hacker News
🔗Functional Compilers