⬢ DragonFlyBSD Kernel Audit
DF-3828 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-3828",
  "verdict": "not_reproduced",
  "impact": "none",
  "reproduce": {
    "build": "cc -O2 -Wall -o /tmp/wm_div0 /tmp/wm_div0.c",
    "run": "/tmp/wm_div0; echo exit=$?",
    "expected": "healthy clocks: watermark math returns 2297 (no trap); affected clocks (current_mclk=0, current_sclk=0): ... Floating point exception (core dumped), exit=136 (SIGFPE/#DE)"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/amdgpu/dce_v11_0.c:908",
    "sys/dev/drm/amd/amdgpu/dce_v11_0.c:909",
    "sys/dev/drm/amd/amdgpu/dce_v11_0.c:910",
    "sys/dev/drm/amd/amdgpu/dce_v11_0.c:918",
    "sys/dev/drm/amd/amdgpu/dce_v11_0.c:1051",
    "sys/dev/drm/amd/amdgpu/dce_v11_0.c:1064",
    "sys/dev/drm/amd/amdgpu/dce_v11_0.c:2106",
    "sys/dev/drm/amd/amdgpu/amdgpu_atombios.c:677",
    "sys/dev/drm/amd/amdgpu/amdgpu_atombios.c:718"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "wm_div0.c", "build.sh", "run.sh",
    "build.log", "run.log", "run.2.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}