DragonFlyBSD Kernel Audit
DF-0864 / dmesg.txt
← back to finding ↓ download raw
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 ===