DF-2683 / manifest.json
{ "finding_id": "DF-2683", "title": "fsetown() publishes uninitialized sigio into owner list; exit/pgdelete teardown consumes half-born entry -> kernel panic / machine wedge", "severity": "Medium", "bucket": "base:kern", "verdict": "reproduced", "impact": "panic", "reproduce": { "build": "cc -O2 -o fsetown_race fsetown_race.c", "run": "./fsetown_race 20000", "expected": "guest dies within first few hundred rounds: Fatal trap 12 in funsetown() (fault 0x8) or silent hard wedge" }, "kernel_refs": [ "sys/kern/kern_descrip.c:1351-1366", "sys/kern/kern_exit.c:376", "sys/kern/kern_proc.c:680" ], "artifacts": [ "fsetown_race.c", "build.sh", "run.sh", "run.log", "panic.txt", "panic.dbg.txt", "env.txt", "VERDICT.md", "fix.diff", "verdict.json", "manifest.json" ] } |