{
  "finding_id": "DF-3433",
  "title": "if_stf(4) teardown races its in-flight decap consumers (encaptab walk + async rcvif) - use-after-free",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "cc -O2 -pthread -o /tmp/stf_async_race /tmp/stf_async_race.c",
    "run": "sh /tmp/setup_async.sh && /tmp/stf_async_race 120",
    "expected": "Fatal trap 9 (or 12) in the stf0 teardown (nd6_purge observed) on cpuid 0 / Idle within ~2 minutes, with debug.use_weird_array=1 active"
  },
  "kernel_refs": [
    "sys/net/stf/if_stf.c:210",
    "sys/net/stf/if_stf.c:214",
    "sys/net/stf/if_stf.c:222",
    "sys/net/stf/if_stf.c:250",
    "sys/net/stf/if_stf.c:611",
    "sys/net/stf/if_stf.c:626",
    "sys/net/stf/if_stf.c:629",
    "sys/netinet/ip_encap.c:174",
    "sys/netinet/ip_encap.c:180",
    "sys/netinet/ip_encap.c:427"
  ],
  "artifacts": [
    "stf_race.c", "stf_async_race.c", "setup_async.sh", "run_async.sh",
    "build.sh", "run.sh", "build.log", "run.log", "panic.txt", "env.txt",
    "fix.diff", "run.patched.log", "kbuild.tail.log", "manifest.json",
    "verdict.json"
  ]
}