⬢ DragonFlyBSD Kernel Audit
DF-5837 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-5837",
  "impact": "none (latent hardening)",
  "confidence": "certain (code facts) / speculative (exploitability)",
  "kernel_refs": [
    "sys/kern/vfs_cluster.c:1691",
    "sys/kern/vfs_cluster.c:1694",
    "sys/kern/vfs_cluster.c:1606",
    "sys/kern/vfs_cluster.c:1636",
    "sys/kern/vfs_cluster.c:1670",
    "sys/kern/vfs_cluster.c:940",
    "sys/kern/vfs_cluster.c:1551",
    "sys/kern/vfs_cluster.c:1094",
    "sys/kern/vfs_cluster.c:1098",
    "sys/vm/vm_pager.c:239",
    "sys/vm/vm_pager.c:299",
    "sys/vm/vm_pager.c:382",
    "sys/kern/vfs_bio.c:2810",
    "sys/kern/vfs_bio.c:2974",
    "sys/kern/vfs_bio.c:3216",
    "sys/kern/vfs_bio.c:3838",
    "sys/kern/vfs_bio.c:3994",
    "sys/kern/vfs_subr.c:1519",
    "sys/platform/pc64/x86_64/pmap.c:2164",
    "sys/sys/xio.h:66"
  ],
  "reproduce": {
    "build": "n/a - no trigger exists on a default-config kernel (requires a second, unknown accounting bug to violate the invariant)",
    "run": "n/a",
    "expected": "n/a"
  },
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}