DF-2937 / manifest.json
{ "finding_id": "DF-2937", "verdict": "reproduced", "impact": "none", "confidence": "certain", "reproduce": { "build": "cc -o /root/sched_probe /root/sched_probe.c (on guest; or ./build.sh from repo root)", "run": "/tmp/sched_probe (once as unpriv user, once as root; or ./run.sh)", "expected": "root, unpatched: sched_setscheduler(0, {0,4711,-1,INT_MAX}, {0}) all rc=0 (silent no-op success). unpriv: every pid-taking sched(2) call EPERM (root gate), nonexistent/negative pid ESRCH. patched root: bogus policies -> EINVAL." }, "kernel_refs": [ "sys/kern/kern_p1003_1b.c:250-276", "sys/kern/kern_p1003_1b.c:265-267", "sys/kern/kern_sched.c:160-198", "sys/kern/kern_sched.c:166-195", "sys/kern/kern_p1003_1b.c:80", "sys/kern/kern_p1003_1b.c:136-167" ], "artifacts": [ "sched_probe.c", "build.sh", "run.sh", "build.log", "run.unpriv.log", "run.root.log", "run.patched.log", "build.tail.log", "env.txt", "fix.diff", "README.md", "VERDICT.md", "manifest.json", "verdict.json" ] } |