⬢ DragonFlyBSD Kernel Audit
DF-5141 / guest_raw_logs.txt
← back to finding ↓ download raw
1
===== /tmp/build.log
Warning: Object directory not changed from original /tmp/df5141
dragonfly -> /usr/src/sys
machine_base -> /usr/src/sys/platform/pc64
machine -> /usr/src/sys/platform/pc64/include
cpu_base -> /usr/src/sys/cpu/x86_64
cpu -> /usr/src/sys/cpu/x86_64/include
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/alignbytes.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/asm.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/asm_mjgmacros.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/asmacros.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/atomic.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/bus_dma.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/cpu.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/cpufunc.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/cpumask.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/cputypes.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/db_machdep.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/elf.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/endian.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/exec.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/frame.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/ieeefp.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/int_const.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/int_limits.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/inttypes.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/limits.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/lwbuf.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/npx.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/param.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/pat.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/pmap.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/profile.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/psl.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/reg.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/reloc.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/segments.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/setjmp.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/sigframe.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/signal.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/specialreg.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/stdarg.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/stdint.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/sysarch.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/tls.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/trap.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/tss.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/types.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/ucontext.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/vframe.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/wchar.h
creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/wchar_limits.h
creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/aio.h
creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/errno.h
creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/fcntl.h
creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/linker_set.h
creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/poll.h
creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/syslog.h
creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/ucontext.h
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/device_if.m
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/bus_if.m
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/bus/pci/pci_if.m
cc  -O2 -pipe   -D_KERNEL -Wall -Wredundant-decls -Wnested-externs -Wstrict-prototypes  -Wmissing-prototypes -Wpointer-arith -Wcast-qual  -Wold-style-definition -Wmissing-include-dirs  -Wno-pointer-sign -Winit-self -Wundef -Wno-unused-but-set-variable -std=gnu11 -Werror -DKLD_MODULE -nostdinc  -I. -Idragonfly -I/tmp/df5141/forwarder_x86_64/include -Idragonfly/../include -I/usr/include  -Wold-style-declaration -fno-common -ffreestanding -fno-stack-protector -fno-strict-aliasing -fno-strict-overflow -fno-asynchronous-unwind-tables -fno-omit-frame-pointer -mcmodel=kernel -mno-red-zone -mno-mmx -mno-sse -msoft-float -mno-fp-ret-in-387 -mindirect-branch=thunk-inline   -c df5141.c
cc -Wl,--build-id=sha1 -nostdlib -Wl,--hash-style=sysv   -r -Wl,-d -o df5141.ko df5141.o
===== /tmp/fix_poc_build.log
Warning: Object directory not changed from original /tmp/df5141f
dragonfly -> /usr/src/sys
machine_base -> /usr/src/sys/platform/pc64
machine -> /usr/src/sys/platform/pc64/include
cpu_base -> /usr/src/sys/cpu/x86_64
cpu -> /usr/src/sys/cpu/x86_64/include
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/alignbytes.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/asm.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/asm_mjgmacros.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/asmacros.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/atomic.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/bus_dma.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/cpu.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/cpufunc.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/cpumask.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/cputypes.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/db_machdep.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/elf.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/endian.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/exec.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/frame.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/ieeefp.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/int_const.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/int_limits.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/inttypes.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/limits.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/lwbuf.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/npx.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/param.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/pat.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/pmap.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/profile.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/psl.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/reg.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/reloc.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/segments.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/setjmp.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/sigframe.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/signal.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/specialreg.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/stdarg.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/stdint.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/sysarch.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/tls.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/trap.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/tss.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/types.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/ucontext.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/vframe.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/wchar.h
creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/wchar_limits.h
creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/aio.h
creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/errno.h
creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/fcntl.h
creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/linker_set.h
creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/poll.h
creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/syslog.h
creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/ucontext.h
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/device_if.m
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/bus_if.m
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/bus/pci/pci_if.m
cc  -O2 -pipe   -D_KERNEL -Wall -Wredundant-decls -Wnested-externs -Wstrict-prototypes  -Wmissing-prototypes -Wpointer-arith -Wcast-qual  -Wold-style-definition -Wmissing-include-dirs  -Wno-pointer-sign -Winit-self -Wundef -Wno-unused-but-set-variable -std=gnu11 -Werror -DKLD_MODULE -nostdinc  -I. -Idragonfly -I/tmp/df5141f/forwarder_x86_64/include -Idragonfly/../include -I/usr/include  -Wold-style-declaration -fno-common -ffreestanding -fno-stack-protector -fno-strict-aliasing -fno-strict-overflow -fno-asynchronous-unwind-tables -fno-omit-frame-pointer -mcmodel=kernel -mno-red-zone -mno-mmx -mno-sse -msoft-float -mno-fp-ret-in-387 -mindirect-branch=thunk-inline   -c df5141_fixed.c
cc -Wl,--build-id=sha1 -nostdlib -Wl,--hash-style=sysv   -r -Wl,-d -o df5141f.ko df5141_fixed.o
===== /tmp/env.txt
DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #1: Wed Sep 30 07:26:18 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
7
===== dmesg DF5141F
DF5141F: softc=0xfffff8008dd19700 enq2=0xfffff800897a5000 (sz=128) dmat=0xfffff8008bbd64a0
DF5141F: mlx_free #1 (only) (mlx.c:453 path) ...
DF5141F: mlx_free #1 (only) returned (clean teardown, as designed)
DF5141F: v1=0xfffff800897a5000 owns the freed block: YES
DF5141F: (fixed caller) second mlx_free SKIPPED
DF5141F: v2=0xfffff800897a5080 v3=0xfffff800897a5100
DF5141F: RESULT=CLEAN M-bM^@M^T no double free, no aliasing: patched error path is safe
DF5141F: unload (test objects intentionally leaked)