{
  "affected": [
    {
      "ecosystem_specific": {
        "urgency": "not yet assigned"
      },
      "package": {
        "ecosystem": "Debian:14",
        "name": "linux"
      },
      "ranges": [
        {
          "events": [
            {
              "introduced": "0"
            },
            {
              "fixed": "6.19.11-1"
            }
          ],
          "type": "ECOSYSTEM"
        }
      ]
    }
  ],
  "details": "In the Linux kernel, the following vulnerability has been resolved:  bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_OR  maybe_fork_scalars() is called for both BPF_AND and BPF_OR when the source operand is a constant.  When dst has signed range [-1, 0], it forks the verifier state: the pushed path gets dst = 0, the current path gets dst = -1.  For BPF_AND this is correct: 0 \u0026 K == 0. For BPF_OR this is wrong:    0 | K == K, not 0.  The pushed path therefore tracks dst as 0 when the runtime value is K, producing an exploitable verifier/runtime divergence that allows out-of-bounds map access.  Fix this by passing env-\u003einsn_idx (instead of env-\u003einsn_idx + 1) to push_stack(), so the pushed path re-executes the ALU instruction with dst = 0 and naturally computes the correct result for any opcode.",
  "id": "DEBIAN-CVE-2026-31413",
  "modified": "2026-09-14T16:47:36.584890958Z",
  "published": "2026-04-12T06:16:20.050Z",
  "references": [
    {
      "type": "ADVISORY",
      "url": "https://security-tracker.debian.org/tracker/CVE-2026-31413"
    }
  ],
  "severity": [
    {
      "score": "CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H",
      "type": "CVSS_V3"
    }
  ],
  "upstream": [
    "CVE-2026-31413"
  ]
}