{
  "verdict": "reproduced",
  "impact": "leak",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -o /tmp/uuidleak uuidleak.c   (guest)",
    "run": "/tmp/uuidleak   as an unprivileged user; (root) cd /tmp/uuidoffmod && make && kldload ./uuidoff.ko && dmesg | tail",
    "expected": "uuidgen(2) returns v1 UUIDs whose node field is 01:00:00:00:00:00 (6 bytes at first-ether_softc+928, multicast bit ORed), NOT the real MAC 52:54:00:12:34:56; decoded v1 timestamp equals the host wall clock; module prints sizeof(ifnet)=928=offsetof(arpcom,ac_enaddr), sizeof(vtnet_softc)=1040, and for a conforming tap0 the bytes at sc+928 equal its exact MAC"
  },
  "kernel_refs": [
    "sys/kern/kern_uuid.c:88",
    "sys/kern/kern_uuid.c:90",
    "sys/net/if.c:3033",
    "sys/net/if_arp.h:117",
    "sys/net/if_var.h:153",
    "sys/dev/virtual/virtio/net/if_vtnetvar.h:57",
    "sys/dev/virtual/amazon/ena/ena.h:315",
    "sys/dev/netif/oce/oce_if.h:797"
  ],
  "artifacts": [
    "uuidleak.c", "uuidoff.c", "Makefile", "build.sh", "run.sh",
    "build.log", "run.first.log", "run.determinism.log", "run.vlan.log",
    "module.log", "module.tap.log", "env.txt", "VERDICT.md", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}