# run.log — DF-4526 harness (executed on the audit guest, gcc 8.3)
== build ==
BUILD_OK

== default ==
state: ah_curani=0x0 ah_ani_function=0xffffffff
SIOCGATHDIAG HAL_DIAG_ANI_CMD args{cmd=1(NOISE_IMMUNITY_LEVEL), param=0}
  case NOISE_IMMUNITY_LEVEL: about to load params->maxNoiseImmunityLevel with params=0x0
  KERNEL: read at 0x0 -> page fault -> panic
RESULT: BUGGY
rc=0

== --deref (actually performs the NULL load) ==
state: ah_curani=0x0 ah_ani_function=0xffffffff
SIOCGATHDIAG HAL_DIAG_ANI_CMD args{cmd=1(NOISE_IMMUNITY_LEVEL), param=0}
  case NOISE_IMMUNITY_LEVEL: about to load params->maxNoiseImmunityLevel with params=0x0
RESULT: BUGGY -- SIGSEGV on the NULL params load (kernel: Fatal trap 12 page fault -> panic)
rc=0

== --fixed (proposed guard) ==
state: ah_curani=0x0 ah_ani_function=0xffffffff
SIOCGATHDIAG HAL_DIAG_ANI_CMD args{cmd=1(NOISE_IMMUNITY_LEVEL), param=0}
  FIXED guard: params == NULL -> return AH_FALSE
RESULT: PATCHED
rc=0

# Hardware gate (why not run in-kernel): pciconf -l on the audit guest lists
# only the i440FX/PIIX3 bridges, QEMU VGA, virtio-net and virtio-blk — no
# Atheros NIC (class 0x020000 168c:xxxx absent). QEMU cannot emulate the
# Atheros 802.11 HAL. The in-kernel path cannot be entered in this
# environment; see VERDICT.md.