⬢ DragonFlyBSD Kernel Audit
DF-5031 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
{
  "finding_id": "DF-5031",
  "verdict": "untested",
  "impact": "none",
  "severity": "Info",
  "confidence": "certain",
  "title": "it.c: it_generic_stemp missing (int8_t) sign conversion for IT87xx temperature registers; wrong unit comment",
  "reproduce": {
    "build": "n/a — driver not in default kernel; requires 'device it' + ISA hint + IT87xx silicon",
    "run": "dfbsd-qemu/vm.sh run_root 'sh reachability.sh' (read-only driver-absence proof)",
    "expected": "device-it-in-config: 0; it.ko NONE; it-loaded: 0"
  },
  "kernel_refs": [
    "sys/dev/powermng/it/it.c:259",
    "sys/dev/powermng/it/it.c:261",
    "sys/dev/powermng/it/it.c:192",
    "sys/conf/files:2601"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "reachability.sh",
    "reachability.log",
    "fix.diff",
    "manifest.json",
    "verdict.json",
    "env.txt"
  ]
}