{
  "finding_id": "DF-5192",
  "file": "sys/dev/drm/i915/i915_gem_batch_pool.c",
  "pass": 2,
  "verdict": "untested",
  "reproduced": false,
  "impact": "none",
  "severity": "Info",
  "confidence": "likely",
  "title": "Latent negative LRU bucket index (fls(size>>PAGE_SHIFT)-1 unclamped below) walks cache_list[-1] aliasing the engine pointer",
  "reproduce": {
    "build": "n/a — no userspace-reachable code path exists on this tree (proof: VERDICT.md)",
    "run": "n/a",
    "expected": "n/a — hazard is a wild-pointer list walk + write through pool->engine if any future caller passes size < PAGE_SIZE"
  },
  "kernel_refs": [
    "sys/dev/drm/i915/i915_gem_batch_pool.c:95",
    "sys/dev/drm/i915/i915_gem_batch_pool.c:96",
    "sys/dev/drm/i915/i915_gem_batch_pool.c:98",
    "sys/dev/drm/i915/i915_gem_batch_pool.c:100",
    "sys/dev/drm/i915/i915_gem_batch_pool.c:142",
    "sys/dev/drm/i915/i915_gem_batch_pool.h:13",
    "sys/dev/drm/i915/intel_ringbuffer.h:439",
    "sys/dev/drm/i915/i915_gem_execbuffer.c:312",
    "sys/dev/drm/i915/i915_gem_execbuffer.c:1153",
    "sys/dev/drm/i915/i915_gem_execbuffer.c:1939",
    "sys/dev/drm/i915/i915_gem_execbuffer.c:2326",
    "sys/dev/drm/i915/i915_gem_execbuffer.c:2351",
    "sys/cpu/x86_64/include/cpufunc.h:283"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ],
  "fix": {
    "status": "not_testable",
    "diff": "fix.diff",
    "applies_cleanly": true,
    "applied_to_sys": false
  },
  "guest": {
    "used": false,
    "reason": "unreachable path; analysis-only verification by exhaustive call-site proof"
  }
}