{
  "schema_version": "1.4.0",
  "id": "GHSA-9x5q-ww2j-jw9x",
  "modified": "2025-04-20T03:50:29Z",
  "published": "2022-05-14T03:32:53Z",
  "aliases": [
    "CVE-2017-17862"
  ],
  "details": "kernel/bpf/verifier.c in the Linux kernel through 4.14.8 ignores unreachable code, even though it would still be processed by JIT compilers. This behavior, also considered an improper branch-pruning logic issue, could possibly be used by local users for denial of service.",
  "severity": [
    {
      "type": "CVSS_V3",
      "score": "CVSS:3.0/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H"
    }
  ],
  "affected": [],
  "references": [
    {
      "type": "ADVISORY",
      "url": "https://nvd.nist.gov/vuln/detail/CVE-2017-17862"
    },
    {
      "type": "WEB",
      "url": "https://github.com/torvalds/linux/commit/c131187db2d3fa2f8bf32fdf4e9a4ef805168467"
    },
    {
      "type": "WEB",
      "url": "https://anonscm.debian.org/cgit/kernel/linux.git/tree/debian/patches/bugfix/all/bpf-fix-branch-pruning-logic.patch?h=stretch-security"
    },
    {
      "type": "WEB",
      "url": "https://usn.ubuntu.com/3619-1"
    },
    {
      "type": "WEB",
      "url": "https://usn.ubuntu.com/3619-2"
    },
    {
      "type": "WEB",
      "url": "https://usn.ubuntu.com/usn/usn-3523-2"
    },
    {
      "type": "WEB",
      "url": "https://www.debian.org/security/2017/dsa-4073"
    },
    {
      "type": "WEB",
      "url": "https://www.spinics.net/lists/stable/msg206984.html"
    },
    {
      "type": "WEB",
      "url": "http://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=c131187db2d3fa2f8bf32fdf4e9a4ef805168467"
    },
    {
      "type": "WEB",
      "url": "http://www.securityfocus.com/bid/102325"
    },
    {
      "type": "WEB",
      "url": "http://www.securitytracker.com/id/1040057"
    }
  ],
  "database_specific": {
    "cwe_ids": [
      "CWE-20"
    ],
    "severity": "MODERATE",
    "github_reviewed": false,
    "github_reviewed_at": null,
    "nvd_published_at": "2017-12-27T17:08:00Z"
  }
}