DragonFlyBSD Kernel Audit
DF-2937 / manifest.json
← back to finding ↓ download raw
{
  "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"
  ]
}