{
  "finding_id": "DF-2244",
  "verdict": "reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "cp arc4x.c /usr/src/sys/kern/ && echo kern/arc4x.c standard >> /usr/src/sys/conf/files && cd /usr/src && make -j6 nativekernel KERNCONF=X86_64_GENERIC && make installkernel KERNCONF=X86_64_GENERIC",
    "run": "reboot; dmesg | grep arc4runs:  (baseline); apply fix.diff, rebuild, reboot, re-run (fixed)",
    "expected": "stock: phaseA one spike at 16375; after 5x1MiB karc4random_buf phaseC has 0 spikes in first 100 calls and single spike at 12755 (1 MiB per key, one run charged per call). fixed: phaseC spikes at 0 and 16385, first-100 spikes = 1 (immediate reseed), phaseA unchanged"
  },
  "kernel_refs": [
    "sys/libkern/arc4random.c:21",
    "sys/libkern/arc4random.c:141",
    "sys/libkern/arc4random.c:152",
    "sys/libkern/arc4random.c:156",
    "sys/net/pf/pf.c:3664",
    "sys/net/wg/wg_cookie.c:231",
    "sys/net/wg/wg_cookie.c:416",
    "sys/net/wg/wg_cookie.c:440",
    "sys/net/wg/wg_cookie.c:453",
    "sys/net/wg/wg_noise.c:304",
    "sys/dev/virtual/virtio/net/if_vtnet.c:885",
    "sys/dev/netif/re/re.c:3524",
    "sys/crypto/cryptoapi/cryptoapi.c:1084"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "arc4x.c", "arc4runs.c", "build.sh",
    "run.sh", "build.log", "build.fix.log", "run.log", "run.fix1.log",
    "run.fix2.log", "fix.diff", "env.txt", "manifest.json", "verdict.json"
  ]
}