🐛 Fuzzing - pulanski · Scour

KernelPhantom-010/DaFuzz-GUI--and-Console-program-Fuzzer: DaFuzz is a GUI and console-based fuzzer written in C# that generates input seeds, manipulates byte streams, and feeds them to target programs via STDIN, helping identify crashes and security flaws. DaFuzz is a fuzzer designed for red teaming and pentesting, enabling vulnerability discovery through targeted input manipulation and crash analysis.

github.com·3h·

Discuss: r/programming

From Pratt parsing to the Dijkstra shunting yard

matklad.github.io·2h·

Discuss: Hacker News

🦀Rust Macros

[ANN] Fuzzing Lua in OSS-Fuzz

groups.google.com·2d·

Discuss: Lobsters, Hacker News

Data-driven Test Generation for Fuzzing AI Compiler

arxiv.org·2d

⚙️JIT Compilation

**Abstract:** This paper proposes a novel framework for achieving Byzantine Fault Tolerance (BFT) in post-quantum cryptographic settings, specifically addres...

freederia.com·3h

🌐Distributed Systems

Solving Fossil's ASCII art CAPTCHA in 171 characters

blog.nns.ee·1h·

Discuss: Hacker News

Strings vs Slices: a Love Triangle with Characters 💔🧵

dev.to·3h·

Discuss: DEV

🎯Escape Analysis

Sharding UUIDv7 (and UUID v3, v4, and v5) values with one function

neosmart.net·19h·

Discuss: r/rust

Training a 67M-parameter transformer on an M4 Mac Mini

geddydukes.com·21h·

Discuss: Hacker News

🏗Computer Architecture

When Zero‑Width Isn’t Zero: How I Found and Fixed a Vulnerability

thedroidsonroids.com·1d·

Discuss: Hacker News

🎯Escape Analysis

AI found 12 of 12 OpenSSL zero-days (while curl cancelled its bug bounty)

lesswrong.com·1d

🎯Escape Analysis

Introduction - PNGme: An Intermediate Rust Project

jrdngr.github.io·44m

🦀Rust Macros

Foundation-sec-8B-Reasoning: The First Open-weight Security Reasoning Model

blogs.cisco.com·1h

🧩Constraint Programming

Emoticons can confuse LLMs, causing 'silent failures' in coding responses

techxplore.com·1d

✓Formal Verification

One-click RCE on Clawd/Moltbot in under 2 hours with an Autonomous Hacking Agent

ethiack.com·4h·

Discuss: Hacker News

Stop Hardcoding Your API Integrations: The Agnostic Way with Megamorph

creator.ianstudios.id·22h·

Discuss: DEV

STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification

arxiv.org·9h

✓Formal Verification

Newlines, Symlinks, and Arbitrary Writes: Dissecting High-Severity Vulnerabilities in Incus

labs.snyk.io·4h·

Discuss: Hacker News

🛡️Memory Safety

Building cryptographic agility into Sigstore

blog.trailofbits.com·2h

The Impostor Rigidity Principle: Structural Constraints on Impersonating Systems

zenodo.org·2d·

Discuss: Hacker News

✓Formal Verification

Loading more...