FSE 27 Artifact

FSE Artifact This artifact contains the differential-testing data and GrayFuzz materials used in the paper. Contents Diff/: Specification analysis, PDF test generation and differential-testing code, engine wrappers, and the 228 recorded cross-engine divergences. See Diff/README.md for details. GrayFuzz/: The AFL++ custom mutator, specification-analysis outputs, mutation strategies, PDF seeds, fuzzing scripts, and coverage results. See GrayFuzz/README.md for build and run instructions. Magma/: Archived Magma fuzzing runs for Poppler, organized by configuration, target, and run number. poc_pdf_fuzzing/: Proof-of-concept inputs for reported bugs in PDF engines. Start with the README in Diff/ or GrayFuzz/ for the corresponding part of the artifact.