~/talk

Fuzzing the PHP Interpreter via Dataflow Fusion

Talkat USENIX Security '25 · 2025-08-13..08-15· [security, php]
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

FlowFusion is an automatic fuzzer that implements dataflow fusion by merging PHPT seed programs’ definitions and uses to create new, semantically richer tests; it adds recursive fusion plus mutations, interface fuzzing, environment crossover, and uses ASAN/UBSAN for oracles. Running nightly on PHP, it finds 158 unknown bugs (125 fixed, 11 confirmed), modifies >5,000 source lines, and outperforms AFL++ and Polyglot (24% more lines covered after 24 hours); FlowFusion is now integrated into the official PHP toolchain.

AI-written summary · about

  1. 0:00Introduction
  2. 1:19Research question and challenges
  3. 3:04Input fusion for semantics
  4. 4:52Data flow fusion explained
  5. 7:25Flow Fusion setup
  6. 9:53Complementary fuzzing strategies
  7. 10:13Bug findings and impact
  8. 11:21Comparison with existing methods
  9. 12:45ProFusion's impact and integration
  10. 13:50Summary and future work
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.