CVE-2026-45903 (GCVE-0-2026-45903)

Vulnerability from cvelistv5 – Published: 2026-05-27 12:17 – Updated: 2026-05-27 12:17
VLAI
Title
bpf: Fix memory access flags in helper prototypes
Summary
In the Linux kernel, the following vulnerability has been resolved: bpf: Fix memory access flags in helper prototypes After commit 37cce22dbd51 ("bpf: verifier: Refactor helper access type tracking"), the verifier started relying on the access type flags in helper function prototypes to perform memory access optimizations. Currently, several helper functions utilizing ARG_PTR_TO_MEM lack the corresponding MEM_RDONLY or MEM_WRITE flags. This omission causes the verifier to incorrectly assume that the buffer contents are unchanged across the helper call. Consequently, the verifier may optimize away subsequent reads based on this wrong assumption, leading to correctness issues. For bpf_get_stack_proto_raw_tp, the original MEM_RDONLY was incorrect since the helper writes to the buffer. Change it to ARG_PTR_TO_UNINIT_MEM which correctly indicates write access to potentially uninitialized memory. Similar issues were recently addressed for specific helpers in commit ac44dcc788b9 ("bpf: Fix verifier assumptions of bpf_d_path's output buffer") and commit 2eb7648558a7 ("bpf: Specify access type of bpf_sysctl_get_name args"). Fix these prototypes by adding the correct memory access flags.
Severity
No CVSS data available.
Assigner
References
Impacted products
Vendor Product Version
Linux Linux Affected: 37cce22dbd51a3ef7f6c08c3fb5f1c5075a17fbb , < fdfe75161f6e8c41a7d3023fbb815b537107b806 (git)
Affected: 37cce22dbd51a3ef7f6c08c3fb5f1c5075a17fbb , < aa319592892068bd960c1a1c07bd621085b0c63d (git)
Affected: 37cce22dbd51a3ef7f6c08c3fb5f1c5075a17fbb , < 802eef5afb1865bc5536a5302c068ba2215a1f72 (git)
Create a notification for this product.
Linux Linux Affected: 6.14
Unaffected: 0 , < 6.14 (semver)
Unaffected: 6.18.14 , ≤ 6.18.* (semver)
Unaffected: 6.19.4 , ≤ 6.19.* (semver)
Unaffected: 7.0 , ≤ * (original_commit_for_fix)
Create a notification for this product.
Show details on NVD website
To clipboard 

{
  "containers": {
    "cna": {
      "affected": [
        {
          "defaultStatus": "unaffected",
          "product": "Linux",
          "programFiles": [
            "kernel/bpf/helpers.c",
            "kernel/bpf/syscall.c",
            "kernel/trace/bpf_trace.c",
            "net/core/filter.c"
          ],
          "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
          "vendor": "Linux",
          "versions": [
            {
              "lessThan": "fdfe75161f6e8c41a7d3023fbb815b537107b806",
              "status": "affected",
              "version": "37cce22dbd51a3ef7f6c08c3fb5f1c5075a17fbb",
              "versionType": "git"
            },
            {
              "lessThan": "aa319592892068bd960c1a1c07bd621085b0c63d",
              "status": "affected",
              "version": "37cce22dbd51a3ef7f6c08c3fb5f1c5075a17fbb",
              "versionType": "git"
            },
            {
              "lessThan": "802eef5afb1865bc5536a5302c068ba2215a1f72",
              "status": "affected",
              "version": "37cce22dbd51a3ef7f6c08c3fb5f1c5075a17fbb",
              "versionType": "git"
            }
          ]
        },
        {
          "defaultStatus": "affected",
          "product": "Linux",
          "programFiles": [
            "kernel/bpf/helpers.c",
            "kernel/bpf/syscall.c",
            "kernel/trace/bpf_trace.c",
            "net/core/filter.c"
          ],
          "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
          "vendor": "Linux",
          "versions": [
            {
              "status": "affected",
              "version": "6.14"
            },
            {
              "lessThan": "6.14",
              "status": "unaffected",
              "version": "0",
              "versionType": "semver"
            },
            {
              "lessThanOrEqual": "6.18.*",
              "status": "unaffected",
              "version": "6.18.14",
              "versionType": "semver"
            },
            {
              "lessThanOrEqual": "6.19.*",
              "status": "unaffected",
              "version": "6.19.4",
              "versionType": "semver"
            },
            {
              "lessThanOrEqual": "*",
              "status": "unaffected",
              "version": "7.0",
              "versionType": "original_commit_for_fix"
            }
          ]
        }
      ],
      "cpeApplicability": [
        {
          "nodes": [
            {
              "cpeMatch": [
                {
                  "criteria": "cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*",
                  "versionEndExcluding": "6.18.14",
                  "versionStartIncluding": "6.14",
                  "vulnerable": true
                },
                {
                  "criteria": "cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*",
                  "versionEndExcluding": "6.19.4",
                  "versionStartIncluding": "6.14",
                  "vulnerable": true
                },
                {
                  "criteria": "cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*",
                  "versionEndExcluding": "7.0",
                  "versionStartIncluding": "6.14",
                  "vulnerable": true
                }
              ],
              "negate": false,
              "operator": "OR"
            }
          ]
        }
      ],
      "descriptions": [
        {
          "lang": "en",
          "value": "In the Linux kernel, the following vulnerability has been resolved:\n\nbpf: Fix memory access flags in helper prototypes\n\nAfter commit 37cce22dbd51 (\"bpf: verifier: Refactor helper access type tracking\"),\nthe verifier started relying on the access type flags in helper\nfunction prototypes to perform memory access optimizations.\n\nCurrently, several helper functions utilizing ARG_PTR_TO_MEM lack the\ncorresponding MEM_RDONLY or MEM_WRITE flags. This omission causes the\nverifier to incorrectly assume that the buffer contents are unchanged\nacross the helper call. Consequently, the verifier may optimize away\nsubsequent reads based on this wrong assumption, leading to correctness\nissues.\n\nFor bpf_get_stack_proto_raw_tp, the original MEM_RDONLY was incorrect\nsince the helper writes to the buffer. Change it to ARG_PTR_TO_UNINIT_MEM\nwhich correctly indicates write access to potentially uninitialized memory.\n\nSimilar issues were recently addressed for specific helpers in commit\nac44dcc788b9 (\"bpf: Fix verifier assumptions of bpf_d_path\u0027s output buffer\")\nand commit 2eb7648558a7 (\"bpf: Specify access type of bpf_sysctl_get_name args\").\n\nFix these prototypes by adding the correct memory access flags."
        }
      ],
      "providerMetadata": {
        "dateUpdated": "2026-05-27T12:17:11.382Z",
        "orgId": "416baaa9-dc9f-4396-8d5f-8c081fb06d67",
        "shortName": "Linux"
      },
      "references": [
        {
          "url": "https://git.kernel.org/stable/c/fdfe75161f6e8c41a7d3023fbb815b537107b806"
        },
        {
          "url": "https://git.kernel.org/stable/c/aa319592892068bd960c1a1c07bd621085b0c63d"
        },
        {
          "url": "https://git.kernel.org/stable/c/802eef5afb1865bc5536a5302c068ba2215a1f72"
        }
      ],
      "title": "bpf: Fix memory access flags in helper prototypes",
      "x_generator": {
        "engine": "bippy-1.2.0"
      }
    }
  },
  "cveMetadata": {
    "assignerOrgId": "416baaa9-dc9f-4396-8d5f-8c081fb06d67",
    "assignerShortName": "Linux",
    "cveId": "CVE-2026-45903",
    "datePublished": "2026-05-27T12:17:11.382Z",
    "dateReserved": "2026-05-13T15:03:33.084Z",
    "dateUpdated": "2026-05-27T12:17:11.382Z",
    "state": "PUBLISHED"
  },
  "dataType": "CVE_RECORD",
  "dataVersion": "5.2",
  "vulnerability-lookup:meta": {
    "epss": {
      "cve": "CVE-2026-45903",
      "date": "2026-05-29",
      "epss": "0.00017",
      "percentile": "0.04336"
    },
    "nvd": "{\"cve\":{\"id\":\"CVE-2026-45903\",\"sourceIdentifier\":\"416baaa9-dc9f-4396-8d5f-8c081fb06d67\",\"published\":\"2026-05-27T14:17:04.710\",\"lastModified\":\"2026-05-27T14:48:31.480\",\"vulnStatus\":\"Awaiting Analysis\",\"cveTags\":[],\"descriptions\":[{\"lang\":\"en\",\"value\":\"In the Linux kernel, the following vulnerability has been resolved:\\n\\nbpf: Fix memory access flags in helper prototypes\\n\\nAfter commit 37cce22dbd51 (\\\"bpf: verifier: Refactor helper access type tracking\\\"),\\nthe verifier started relying on the access type flags in helper\\nfunction prototypes to perform memory access optimizations.\\n\\nCurrently, several helper functions utilizing ARG_PTR_TO_MEM lack the\\ncorresponding MEM_RDONLY or MEM_WRITE flags. This omission causes the\\nverifier to incorrectly assume that the buffer contents are unchanged\\nacross the helper call. Consequently, the verifier may optimize away\\nsubsequent reads based on this wrong assumption, leading to correctness\\nissues.\\n\\nFor bpf_get_stack_proto_raw_tp, the original MEM_RDONLY was incorrect\\nsince the helper writes to the buffer. Change it to ARG_PTR_TO_UNINIT_MEM\\nwhich correctly indicates write access to potentially uninitialized memory.\\n\\nSimilar issues were recently addressed for specific helpers in commit\\nac44dcc788b9 (\\\"bpf: Fix verifier assumptions of bpf_d_path\u0027s output buffer\\\")\\nand commit 2eb7648558a7 (\\\"bpf: Specify access type of bpf_sysctl_get_name args\\\").\\n\\nFix these prototypes by adding the correct memory access flags.\"}],\"metrics\":{},\"references\":[{\"url\":\"https://git.kernel.org/stable/c/802eef5afb1865bc5536a5302c068ba2215a1f72\",\"source\":\"416baaa9-dc9f-4396-8d5f-8c081fb06d67\"},{\"url\":\"https://git.kernel.org/stable/c/aa319592892068bd960c1a1c07bd621085b0c63d\",\"source\":\"416baaa9-dc9f-4396-8d5f-8c081fb06d67\"},{\"url\":\"https://git.kernel.org/stable/c/fdfe75161f6e8c41a7d3023fbb815b537107b806\",\"source\":\"416baaa9-dc9f-4396-8d5f-8c081fb06d67\"}]}}"
  }
}


Log in or create an account to share your comment.




Tags
Taxonomy of the tags.





Forecast uses a logistic model when the trend is rising, or an exponential decay model when the trend is falling. Fitted via linearized least squares.

Sightings

Author Source Type Date Other

Nomenclature

  • Seen: The vulnerability was mentioned, discussed, or observed by the user.
  • Confirmed: The vulnerability has been validated from an analyst's perspective.
  • Published Proof of Concept: A public proof of concept is available for this vulnerability.
  • Exploited: The vulnerability was observed as exploited by the user who reported the sighting.
  • Patched: The vulnerability was observed as successfully patched by the user who reported the sighting.
  • Not exploited: The vulnerability was not observed as exploited by the user who reported the sighting.
  • Not confirmed: The user expressed doubt about the validity of the vulnerability.
  • Not patched: The vulnerability was not observed as successfully patched by the user who reported the sighting.


Detection rules are retrieved from Rulezet.