{
  "finding_id": "DF-4432",
  "manifest_version": 1,
  "verdict": "reproduced",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "scp pack files to guest /tmp/df4432; sh /tmp/df4432/build.sh  (in-tree module: cd /usr/src/sys/modules/dfrnull && make SYSDIR=/usr/src/sys)",
    "run": "kldload /usr/src/sys/modules/dfrnull/dfrnull.ko",
    "expected": "kprintf 'DF-4432 replica: ...' then 'panic: ether_input: invalid mbuf or no mbuf packet header!' with ether_input+0x197 backtrace on the serial console; ssh session never returns"
  },
  "kernel_refs": [
    "sys/dev/netif/sln/if_sln.c:949",
    "sys/dev/netif/sln/if_sln.c:913",
    "sys/dev/netif/sln/if_sln.c:926",
    "sys/dev/netif/sln/if_sln.c:915",
    "sys/dev/netif/sln/if_sln.c:928",
    "sys/kern/uipc_mbuf.c:2247",
    "sys/net/if_ethersubr.c:1494",
    "sys/net/if_ethersubr.c:1502",
    "sys/net/if_ethersubr.c:642",
    "sys/dev/netif/rl/if_rl.c:1095"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "dfrnull.c",
    "Makefile",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "panic.txt",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}