Repository navigation

Fuzzing for #493: every target, a FlatBuffer verifier, and the bugs they found - #564

Merged

dfa1 merged 13 commits into

mainfrom

fuzz-scan-493

Oct 18, 2026

Merged

Fuzzing for #493: every target, a FlatBuffer verifier, and the bugs they found#564
dfa1 merged 13 commits into
mainfrom
fuzz-scan-493

Commits on Oct 18, 2026
- test(fuzz): reader and FSST fuzz targets, seeded with one file per encoding
  
  dfa1
  and
  claude
  committed
  905f6b3
- fix(reader): reject a corrupt array FlatBuffer as VortexException
  
  dfa1
  and
  claude
  committed
  cd04d65
- fix(reader): check the dtype before the bitpacked, delta and RLE decoders cast it
  
  dfa1
  and
  claude
  committed
  9d449fb
- fix(reader): validate struct dtypes and struct layouts at open, as Rust does
  
  dfa1
  and
  claude
  committed
  af9a9f1
- feat(core): verify every FlatBuffer before reading it, as Rust does
  
  dfa1
  and
  claude
  committed
  3500150
- fix(reader): reject a zstd_buffers inner encoding id EncodingId.parse refuses
  
  dfa1
  and
  claude
  committed
  3aa8bd9
- fix(reader): refuse a file that does not embed its dtype, as Rust does
  
  dfa1
  and
  claude
  committed
  230619a
- fix(reader): one rule for child segment shape, checked where the data enters
  
  dfa1
  and
  claude
  committed
  637700e
- fix(writer): zero-extend unsigned constants, as Rust reads them
  
  dfa1
  and
  claude
  committed
  a63bc10
- fix(writer): encode a sequence only where Rust's sequence_encode would
  
  dfa1
  and
  claude
  committed
  77d90ed
- test(fuzz): write-read and vortex-jni differential targets; replay in every build; weekly fuzzing
  
  dfa1
  and
  claude
  committed
  9ec8aa3
- fix(writer): refuse a nullable root struct, which Rust cannot read
  
  dfa1
  and
  claude
  committed
  a9124f6
- fix(reader): read an empty run-end array
  
  dfa1
  and
  claude
  committed
  80f67ff

Commits

Commits on Oct 18, 2026