{
  "finding_id": "DF-5692",
  "file": "sys/libkern/fnmatch.c",
  "verdict": "reproduced",
  "impact": "none",
  "confidence": "certain",
  "verdict_summary": "Four machine-demonstrated semantic divergences of kernel kfnmatch() vs DragonFly libc fnmatch(3); memory-safe; unreachable by unprivileged users; no kernel consumer can express any divergence class today.",
  "reproduce": {
    "build": "sh build.sh (DragonFly guest with /usr/src)",
    "run": "sh run.sh",
    "expected": "difftest2.log: 67195/32303668 divergences (66505 trailing-backslash, 690 other), maxnest first divergence at 20 stars, [signed] kernel!=libc; guardfuzz.log: 0 overreads in 32445104 cases; difftest_fixed.log: other-class 690->39 after fix.diff"
  },
  "kernel_refs": [
    "sys/libkern/fnmatch.c:51",
    "sys/libkern/fnmatch.c:62-63",
    "sys/libkern/fnmatch.c:112",
    "sys/libkern/fnmatch.c:140-146",
    "sys/libkern/fnmatch.c:170",
    "sys/libkern/fnmatch.c:198-199",
    "sys/libkern/fnmatch.c:215",
    "sys/net/ipfw/ip_fw2.c:1355",
    "sys/net/ipfw3_basic/ip_fw3_basic.c:137",
    "sys/net/ip6fw/ip6_fw.c:326",
    "sys/netinet/raw_ip.c:473",
    "sys/netinet6/raw_ip6.c:530",
    "sys/net/if_var.h:326"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "verdict.json", "manifest.json",
    "shim.h", "fnmatch_k.c", "fnmatch_k_fixed.c", "difftest.c", "guardfuzz.c",
    "build.sh", "run.sh", "fix.diff",
    "build.log.difftest.log", "difftest2.log", "difftest_fixed.log",
    "guardfuzz.log", "guardfuzz_fixed.log",
    "fix_build.log", "fix_run.log", "fix_guard_run.log", "env.txt"
  ]
}