⬢ DragonFlyBSD Kernel Audit
DF-5774 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
{
  "finding_id": "DF-5774",
  "verdict": "reproduced (dos; certain)",
  "impact": "dos",
  "reproduce": {
    "build": "(none -- stock kernel.debug)",
    "run": "ktrace -i -f /tmp/vk5774.ktrace ./kernel.debug -m 512m -n : ; kdump -f /tmp/vk5774.ktrace | grep PSIG",
    "expected": "PSIG SIGSEGV SIG_DFL, no boot output; fixed: exit(0x40) + 'Bad -n option'"
  },
  "kernel_refs": ["sys/platform/vkernel64/platform/init.c:394", "sys/platform/vkernel64/platform/init.c:395"],
  "artifacts": ["README.md", "VERDICT.md", "run5774.sh", "baseline_run.log", "baseline.kdump.txt", "fixed_run.log", "fix.diff", "env.txt", "verdict.json", "manifest.json"]
}