DF-5557 / manifest.json
{ "finding_id": "DF-5557", "title": "vkernel npxprobemask() lacks the mxcsr_mask==0 fallback guard (DF-5526 twin)", "verdict": "untested", "impact": "none", "reproduce": { "build": "n/a", "run": "n/a", "expected": "requires hardware whose FXSAVE reports MXCSR_MASK==0 — absent on the audit rig" }, "kernel_refs": [ "sys/platform/vkernel64/x86_64/npx.c:120", "sys/platform/vkernel64/x86_64/npx.c:341", "sys/platform/vkernel64/x86_64/npx.c:218", "sys/platform/pc64/x86_64/npx.c:126" ], "artifacts": ["README.md", "verdict.json", "manifest.json"] } |