{
  "finding_id": "DF-3452",
  "title": "Uninitialized kernel stack transmitted in ipfw3 sync datagrams (ip_fw3_sync_send_state) - LATENT, subsystem dead",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -o df3452_dead df3452_dead.c",
    "run": "sysctl -w net.filters_default_to_accept=1; kldload ipfw3; kldload ipfw3_basic; ./df3452_dead; dmesg | tail",
    "expected": "SET IP_FW_X/SYNC_SHOW_STATUS: rc=0 errno=0; SET IP_FW_X/SYNC_CENTRE_TEST: rc=0 errno=0; no 'ipfw3sync' kernel messages - silent no-op proves the sync sockopts are dead (ip_fw3_ctl_sync_ptr never assigned)"
  },
  "kernel_refs": [
    "sys/net/ipfw3_basic/ip_fw3_sync.c:448",
    "sys/net/ipfw3_basic/ip_fw3_sync.c:452",
    "sys/net/ipfw3_basic/ip_fw3_sync.c:458",
    "sys/net/ipfw3_basic/ip_fw3_sync.c:474",
    "sys/net/ipfw3/ip_fw3.c:133",
    "sys/net/ipfw3/ip_fw3.c:1125"
  ],
  "artifacts": [
    "df3452_dead.c", "README.md", "VERDICT.md", "manifest.json",
    "verdict.json", "fix.diff"
  ]
}