IJON: Exploring Deep State Spaces via Fuzzing

Explore advanced fuzzing techniques and their applications in this IEEE conference talk. Delve into modern fuzzers, high-level mutation fuzzing, and their limitations. Learn about improving feedback mechanisms and utilizing annotations for more effective fuzzing. Examine case studies involving implicit state machines, libpng, and high-level mutation fuzzing applied to Super Mario Bros. and dmg2img. Gain insights into IJON, a novel approach for exploring deep state spaces through fuzzing, presented by experts Cornelius Aschermann, Sergej Schumilo, Ali Abbasi, and Thorsten Holz.

Intro
Modern Fuzzers
High-Level Mutation Fuzzing
Limitations
Better Feedback
Annotations while(true)
Implicit State Machine
libpng
High Level Mutation Fuzzing
Super Mario Bros.
dmg2img