{
  "finding_id": "DF-2693",
  "verdict": "reproduced",
  "impact": "panic (INVARIANTS kernels)",
  "reproduce": {
    "build": "cc -O2 -Wall -pthread -o postsig_race postsig_race.c",
    "run": "su -l t1 -c /tmp/t1home/postsig_race 150",
    "expected": "panic: postsig action; stack postsig+0x3ae <- userret <- syscall2 (kern_sig.c:2309 KASSERT)"
  },
  "kernel_refs": [
    "sys/kern/kern_sig.c:2281",
    "sys/kern/kern_sig.c:2309-2310",
    "sys/kern/kern_sig.c:281-375",
    "sys/platform/pc64/x86_64/trap.c:278-281"
  ],
  "artifacts": [
    "postsig_race.c",
    "build.sh",
    "run.sh",
    "run.log",
    "panic.txt",
    "README.md",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}