DF-0864 / dmesg.txt
hammer2_mount: root devstr="vbd0s1d"
hammer2_mount: device="vbd0s1d" label="ROOT" rdonly=1
hammer2_ondisk: "/dev/vbd0s1d" zone=2 id=0 offset=0x0000000000000000 size=0x000000063f000000
hammer2_mount: hmp=0xfffff8008fae0000 pmp=0xfffff80090280000
DMA space used: 13580k, remaining available: 131072k
Mounting devfs
hammer2_mount: "vbd0s1d": no recovery needed
hammer2: enable read/write
HAMMER2: VOLDATA DUMP
HAMMER2: INITIATE SPANs
swap low/high-water marks set to 41940/62910
=== DF-0864 harness: hpfs_toupper OOB read demo ===
simulated hpm_cpdblk: 1 entries x 136 bytes = 136-byte alloc @ 0xfffff8004f1e8880
IN-BOUNDS cp=0 char=0xFF -> b_upcase[0x7F] = 0xAA (marker=0xAA)
address read: 0xfffff8004f1e8905
OOB cp=255 char=0xFF -> b_upcase[0x7F] = 0x00 (kernel heap byte)
address read: 0xfffff8004f1f107d (= base + 34813 = base + 34677 past end of 136-byte alloc)
RESULT: in_bounds=0xAA oob=0x00 DIFFERENT (proves OOB reads distinct memory)
OOB samples at cp=255: [0xfffff8004f1f107d]=0x00 [0xfffff8004f1f1105]=0x00 [0xfffff8004f1f118d]=0x00 [0xfffff8004f1f1215]=0x00 [0xfffff8004f1f129d]=0x00 [0xfffff8004f1f1325]=0x00 [0xfffff8004f1f13ad]=0x00 [0xfffff8004f1f1435]=0x00
=== DF-0864 harness complete ===