⬢ DragonFlyBSD Kernel Audit
DF-3829 / run.log
← back to finding ↓ download raw
[--] nvmm v3: state=1008 comm=4096 maxmach=128 maxvcpus=128 maxram=139637976727552 xcr0_mask=0x3 conf_cpuid_maxops=32
[--] machine 0 created
[--] comm=0x30000000 ram=0x10000000 machid=0

=== TEST A: cpuid/CR0/CR8/IO/MSR happy paths ===
[--] IO exit: out port 0xf8 size 1 str=0 rep=0 seg=0 npc=0x1025 [A]
[--] RDMSR exit: msr=0xdeadbeef npc=0x1049 [A]
[--] HALTED exit [A]
[+] TEST A end reason=HALTED (want HALTED)

=== TEST B: guest CR4 write w/ reserved VMXE bit ===
[--] INVALID exit: hwcode=-1 [B]
[-] TEST B end reason=INVALID (want SHUTDOWN via injected #GP; PASS = no panic)

=== TEST C: guest XSETBV with ECX=1 ===
[--] IO exit: in port 0x2200 size 2 str=0 rep=0 seg=0 npc=0xf003 [C]
[--] SHUTDOWN exit [C]
[+] TEST C end reason=SHUTDOWN (PASS = no panic)

=== TEST D: guest VMXON -> kernel #UD injection ===
[--] IO exit: out port 0x8278 size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x824e size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x828e size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x82be size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x828e size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x8250 size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x8244 size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x828a size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x82f0 size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x825e size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x82f0 size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] IO exit: out port 0x8292 size 2 str=1 rep=0 seg=3 npc=0x6ff0 [D]
[--] SHUTDOWN exit [D]
[+] TEST D end reason=SHUTDOWN (PASS = no panic)

=== TEST E: hostile setstate (PAT/EFER/CR garbage) ===
[--] EPT fault: gpa=0xfffffff0 prot=4 (kernel faults it in) [E]
[--] EPT fault: gpa=0xfffffff0 prot=4 (kernel faults it in) [E]
[--] EPT fault: gpa=0xfffffff0 prot=4 (kernel faults it in) [E]
[--] EPT fault: gpa=0xfffffff0 prot=4 (kernel faults it in) [E]
[--] EPT fault: gpa=0xfffffff0 prot=4 (kernel faults it in) [E]
[--] EPT fault: gpa=0xfffffff0 prot=4 (kernel faults it in) [E]
[--] EPT fault: gpa=0xfffffff0 prot=4 (kernel faults it in) [E]
[--] EPT fault: gpa=0xfffffff0 prot=4 (kernel faults it in) [E]
[+] TEST E end reason=MEMORY(EPT) (PASS = clean VMentry-failure or progress, no panic)

=== TEST F: hostile FPU/MXCSR state ===
[--] IO exit: out port 0xf8 size 1 str=0 rep=0 seg=0 npc=0x1025 [F]
[--] RDMSR exit: msr=0xdeadbeef npc=0x1049 [F]
[--] HALTED exit [F]
[+] TEST F end reason=HALTED (PASS = no panic)

=== TEST G: hostile event injection ===
[ok] INJECT EXCP vec=0xFF: rejected with Invalid argument (as expected) [G1]
[ok] INJECT EXCP vec=13 err=0xFFFFFFFF00000000 accepted (G2)
[--] INVALID exit: hwcode=-1 [G2]
[-] G2 run end reason=INVALID (PASS = no panic)
[ok] INJECT INTR vec=0xFF accepted (G3)
[--] INVALID exit: hwcode=33 [G3]
[-] G3 run end reason=INVALID (PASS = no panic)

=== TEST H: cpuid config (user-driven masks) ===
[ok] CONFIGURE cpuid exit leaf 0x40000000: succeeded [H1]
[--] IO exit: out port 0xf8 size 1 str=0 rep=0 seg=0 npc=0x1025 [H]
[--] RDMSR exit: msr=0xdeadbeef npc=0x1049 [H]
[--] HALTED exit [H]
[-] TEST H end reason=HALTED (want CPUID exit delivered)

=== ALL SEQUENTIAL TESTS COMPLETE, system alive ===