Research Category

Research

Paper notes and theoretical study

Paper Notes: REDQUEEN — Fuzzing with Input-to-State Correspondence

00 — About Authors: Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik, and Thorsten Holz. 01 — Why Fuzz-based automated software testing has resurged in recent years. Feedback-driven fuzzing, in particular, efficiently performs randomized testing from a small input corpus…

Paper Notes: CollAFL — Path-Sensitive Fuzzing

0x01 Why Popular fuzzers such as AFL use relatively simple coverage information. Its inaccuracy and incompleteness impose serious limitations: path collisions hide paths that might expose new crashes and distort optimal fuzzing decisions. Most academic work studies coverage-guided fuzzing, but comparatively little focuses on coverage itself…