⬢ DragonFlyBSD Kernel Audit
DF-5478 / run.log
← back to finding ↓ download raw 
VM_MAX_USER_ADDRESS model = 0x7fffffffe000

sane 256 pages @16MB         md_phys=0x0000000001000000 md_pages=0x0000000000000100
                               product=0x0000000000100000  end=0x0000000001100000  guard: PASS  (BUG: loop runs)
                               -> fill-loop iterations=256 (256), kmalloc(M_WAITOK) bytes > 2.1e-05 GiB

wrap: md_pages = 2^52        md_phys=0x0000000001000000 md_pages=0x0010000000000000
                               product=000000000000000000  end=0x0000000001000000  guard: PASS  (BUG: loop runs)
                               -> fill-loop iterations=4503599627370496 (4.5e+15), kmalloc(M_WAITOK) bytes > 3.69e+08 GiB

wrap: md_pages = 2^52+1      md_phys=0x0000000001000000 md_pages=0x0010000000000001
                               product=0x0000000000001000  end=0x0000000001001000  guard: PASS  (BUG: loop runs)
                               -> fill-loop iterations=4503599627370497 (4.5e+15), kmalloc(M_WAITOK) bytes > 3.69e+08 GiB

wrap: product == 2^64        md_phys=0x00000000f0000000 md_pages=0x000ffffffff10000
                               product=0xffffffff10000000  end=000000000000000000  guard: REJECT (correct)

no-wrap 2^40 pages           md_phys=0x0000000001000000 md_pages=0x0000010000000000
                               product=0x0010000000000000  end=0x0010000001000000  guard: REJECT (correct)

=== under FIXED guard (fix.diff) ===

sane 256 pages @16MB         md_phys=0x0000000001000000 md_pages=0x0000000000000100 -> fixed guard: accept (loop runs)
wrap: md_pages = 2^52        md_phys=0x0000000001000000 md_pages=0x0010000000000000 -> fixed guard: REJECT (loop never starts)
wrap: md_pages = 2^52+1      md_phys=0x0000000001000000 md_pages=0x0010000000000001 -> fixed guard: REJECT (loop never starts)
no-wrap 2^40 pages           md_phys=0x0000000001000000 md_pages=0x0000010000000000 -> fixed guard: REJECT (loop never starts)