GCVE Workshop - 22 September 2026 (14:00-18:00), Luxembourg Before The Vulnopticon Conference - Registration

CVE-2024-58100 (GCVE-0-2024-58100)

Vulnerability from cvelistv5 – Published: 2025-05-05 14:53 – Updated: 2026-08-05 11:47
VLAI
Title
bpf: check changes_pkt_data property for extension programs
Summary
In the Linux kernel, the following vulnerability has been resolved: bpf: check changes_pkt_data property for extension programs When processing calls to global sub-programs, verifier decides whether to invalidate all packet pointers in current state depending on the changes_pkt_data property of the global sub-program. Because of this, an extension program replacing a global sub-program must be compatible with changes_pkt_data property of the sub-program being replaced. This commit: - adds changes_pkt_data flag to struct bpf_prog_aux: - this flag is set in check_cfg() for main sub-program; - in jit_subprogs() for other sub-programs; - modifies bpf_check_attach_btf_id() to check changes_pkt_data flag; - moves call to check_attach_btf_id() after the call to check_cfg(), because it needs changes_pkt_data flag to be set: bpf_check: ... ... - check_attach_btf_id resolve_pseudo_ldimm64 resolve_pseudo_ldimm64 --> bpf_prog_is_offloaded bpf_prog_is_offloaded check_cfg check_cfg + check_attach_btf_id ... ... The following fields are set by check_attach_btf_id(): - env->ops - prog->aux->attach_btf_trace - prog->aux->attach_func_name - prog->aux->attach_func_proto - prog->aux->dst_trampoline - prog->aux->mod - prog->aux->saved_dst_attach_type - prog->aux->saved_dst_prog_type - prog->expected_attach_type Neither of these fields are used by resolve_pseudo_ldimm64() or bpf_prog_offload_verifier_prep() (for netronome and netdevsim drivers), so the reordering is safe.
Severity
7.8 (High)
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H
Assigner
References
Impacted products
Vendor Product Version CPE status
Linux Linux Affected: be8704ff07d2374bcc5c675526f95e70c6459683 , < 7197fc4acdf238ec8ad06de5a8235df0c1f9c7d7 (git)
Affected: be8704ff07d2374bcc5c675526f95e70c6459683 , < 3846e2bea565ee1c5195dcc625fda9868fb0e3b3 (git)
Affected: be8704ff07d2374bcc5c675526f95e70c6459683 , < 81f6d0530ba031b5f038a091619bf2ff29568852 (git)
guessed Create a notification for this product.
Linux Linux Affected: 5.6
Unaffected: 0 , < 5.6 (semver)
Unaffected: 6.6.90 , ≤ 6.6.* (semver)
Unaffected: 6.12.25 , ≤ 6.12.* (semver)
Unaffected: 6.13 , ≤ * (original_commit_for_fix)
guessed Create a notification for this product.
Show details on NVD website
To clipboard 

{
  "containers": {
    "cna": {
      "affected": [
        {
          "defaultStatus": "unaffected",
          "product": "Linux",
          "programFiles": [
            "include/linux/bpf.h",
            "kernel/bpf/verifier.c"
          ],
          "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
          "vendor": "Linux",
          "versions": [
            {
              "lessThan": "7197fc4acdf238ec8ad06de5a8235df0c1f9c7d7",
              "status": "affected",
              "version": "be8704ff07d2374bcc5c675526f95e70c6459683",
              "versionType": "git"
            },
            {
              "lessThan": "3846e2bea565ee1c5195dcc625fda9868fb0e3b3",
              "status": "affected",
              "version": "be8704ff07d2374bcc5c675526f95e70c6459683",
              "versionType": "git"
            },
            {
              "lessThan": "81f6d0530ba031b5f038a091619bf2ff29568852",
              "status": "affected",
              "version": "be8704ff07d2374bcc5c675526f95e70c6459683",
              "versionType": "git"
            }
          ]
        },
        {
          "defaultStatus": "affected",
          "product": "Linux",
          "programFiles": [
            "include/linux/bpf.h",
            "kernel/bpf/verifier.c"
          ],
          "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
          "vendor": "Linux",
          "versions": [
            {
              "status": "affected",
              "version": "5.6"
            },
            {
              "lessThan": "5.6",
              "status": "unaffected",
              "version": "0",
              "versionType": "semver"
            },
            {
              "lessThanOrEqual": "6.6.*",
              "status": "unaffected",
              "version": "6.6.90",
              "versionType": "semver"
            },
            {
              "lessThanOrEqual": "6.12.*",
              "status": "unaffected",
              "version": "6.12.25",
              "versionType": "semver"
            },
            {
              "lessThanOrEqual": "*",
              "status": "unaffected",
              "version": "6.13",
              "versionType": "original_commit_for_fix"
            }
          ]
        }
      ],
      "cpeApplicability": [
        {
          "nodes": [
            {
              "cpeMatch": [
                {
                  "criteria": "cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*",
                  "versionEndExcluding": "6.6.90",
                  "versionStartIncluding": "5.6",
                  "vulnerable": true
                },
                {
                  "criteria": "cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*",
                  "versionEndExcluding": "6.12.25",
                  "versionStartIncluding": "5.6",
                  "vulnerable": true
                },
                {
                  "criteria": "cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*",
                  "versionEndExcluding": "6.13",
                  "versionStartIncluding": "5.6",
                  "vulnerable": true
                }
              ],
              "negate": false,
              "operator": "OR"
            }
          ]
        }
      ],
      "descriptions": [
        {
          "lang": "en",
          "value": "In the Linux kernel, the following vulnerability has been resolved:\n\nbpf: check changes_pkt_data property for extension programs\n\nWhen processing calls to global sub-programs, verifier decides whether\nto invalidate all packet pointers in current state depending on the\nchanges_pkt_data property of the global sub-program.\n\nBecause of this, an extension program replacing a global sub-program\nmust be compatible with changes_pkt_data property of the sub-program\nbeing replaced.\n\nThis commit:\n- adds changes_pkt_data flag to struct bpf_prog_aux:\n  - this flag is set in check_cfg() for main sub-program;\n  - in jit_subprogs() for other sub-programs;\n- modifies bpf_check_attach_btf_id() to check changes_pkt_data flag;\n- moves call to check_attach_btf_id() after the call to check_cfg(),\n  because it needs changes_pkt_data flag to be set:\n\n    bpf_check:\n      ...                             ...\n    - check_attach_btf_id             resolve_pseudo_ldimm64\n      resolve_pseudo_ldimm64   --\u003e    bpf_prog_is_offloaded\n      bpf_prog_is_offloaded           check_cfg\n      check_cfg                     + check_attach_btf_id\n      ...                             ...\n\nThe following fields are set by check_attach_btf_id():\n- env-\u003eops\n- prog-\u003eaux-\u003eattach_btf_trace\n- prog-\u003eaux-\u003eattach_func_name\n- prog-\u003eaux-\u003eattach_func_proto\n- prog-\u003eaux-\u003edst_trampoline\n- prog-\u003eaux-\u003emod\n- prog-\u003eaux-\u003esaved_dst_attach_type\n- prog-\u003eaux-\u003esaved_dst_prog_type\n- prog-\u003eexpected_attach_type\n\nNeither of these fields are used by resolve_pseudo_ldimm64() or\nbpf_prog_offload_verifier_prep() (for netronome and netdevsim\ndrivers), so the reordering is safe."
        }
      ],
      "metrics": [
        {
          "cvssV3_1": {
            "baseScore": 7.8,
            "baseSeverity": "HIGH",
            "vectorString": "CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H",
            "version": "3.1"
          },
          "scenarios": [
            {
              "lang": "en",
              "value": "AV:L - The attack requires loading a tc/XDP program and an freplace extension program through the local bpf() syscall; a remote peer cannot supply BPF bytecode. Although the corrupting store fires when a packet traverses the tc/XDP hook, the vulnerable path is entered locally.\nAC:L - Exploitation is fully deterministic \u2014 load a global subprog that does not touch packet data, replace it via freplace with one calling bpf_skb_pull_data(), and the caller\u0027s stale packet pointer is used unconditionally on the next packet. No race and no uncontrolled memory-layout condition is involved.\nPR:L - BPF_PROG_TYPE_EXT is a net-admin prog type requiring CAP_BPF+CAP_NET_ADMIN, but these are routinely delegated into user namespaces via BPF tokens (BPF_F_TOKEN_FD) and are held by ordinary eBPF-based container networking workloads, so the attacker need not be root on the host.\nUI:N - The attacker loads and attaches both programs and can generate the triggering packet themselves (e.g. over loopback). No victim action is required.\nS:U - The corrupted memory is kernel heap belonging to the same kernel security authority; this is a standard local privilege escalation, not a VM/IOMMU boundary crossing.\nC:H - The stale packet pointer reads freed/reallocated slab memory beyond the packet, and the BPF program can copy that data into a map readable from userspace, giving an arbitrary kernel-heap disclosure primitive.\nI:H - Direct packet stores through the stale pointer become use-after-free (or out-of-bounds, with skb_change_tail/xdp_adjust_tail) writes at an attacker-chosen offset with an attacker-chosen value \u2014 an arbitrary kernel write suitable for control-flow hijacking and privilege escalation.\nA:H - Writing into a freed skb head corrupts slab metadata and neighbouring objects, reliably producing kernel oops/panic even when full exploitation is not achieved."
            }
          ]
        }
      ],
      "providerMetadata": {
        "dateUpdated": "2026-08-05T11:47:45.942Z",
        "orgId": "416baaa9-dc9f-4396-8d5f-8c081fb06d67",
        "shortName": "Linux"
      },
      "references": [
        {
          "url": "https://git.kernel.org/stable/c/7197fc4acdf238ec8ad06de5a8235df0c1f9c7d7"
        },
        {
          "url": "https://git.kernel.org/stable/c/3846e2bea565ee1c5195dcc625fda9868fb0e3b3"
        },
        {
          "url": "https://git.kernel.org/stable/c/81f6d0530ba031b5f038a091619bf2ff29568852"
        }
      ],
      "title": "bpf: check changes_pkt_data property for extension programs",
      "x_generator": {
        "engine": "bippy-1.2.0"
      }
    }
  },
  "cveMetadata": {
    "assignerOrgId": "416baaa9-dc9f-4396-8d5f-8c081fb06d67",
    "assignerShortName": "Linux",
    "cveId": "CVE-2024-58100",
    "datePublished": "2025-05-05T14:53:33.445Z",
    "dateReserved": "2025-03-06T15:52:09.189Z",
    "dateUpdated": "2026-08-05T11:47:45.942Z",
    "state": "PUBLISHED"
  },
  "dataType": "CVE_RECORD",
  "dataVersion": "5.2",
  "vulnerability-lookup:meta": {
    "epss": {
      "cve": "CVE-2024-58100",
      "date": "2026-09-17",
      "epss": "0.00188",
      "percentile": "0.08684"
    },
    "microsoft_vex": {
      "current_release_date": "2026-09-09T01:46:25.000Z",
      "cve": "CVE-2024-58100",
      "id": "msrc_CVE-2024-58100",
      "initial_release_date": "2025-07-11T00:00:00.000Z",
      "product_status:fixed": "2",
      "product_status:known_affected": "7",
      "source": "Microsoft CSAF VEX",
      "status": "final",
      "title": "bpf: check changes_pkt_data property for extension programs",
      "url": "https://msrc.microsoft.com/csaf/vex/2025/msrc_cve-2024-58100.json",
      "version": "6"
    },
    "nvd": "{\"cve\":{\"id\":\"CVE-2024-58100\",\"sourceIdentifier\":\"416baaa9-dc9f-4396-8d5f-8c081fb06d67\",\"published\":\"2025-05-05T15:15:53.913\",\"lastModified\":\"2026-08-04T11:22:40.233\",\"vulnStatus\":\"Modified\",\"cveTags\":[],\"descriptions\":[{\"lang\":\"en\",\"value\":\"In the Linux kernel, the following vulnerability has been resolved:\\n\\nbpf: check changes_pkt_data property for extension programs\\n\\nWhen processing calls to global sub-programs, verifier decides whether\\nto invalidate all packet pointers in current state depending on the\\nchanges_pkt_data property of the global sub-program.\\n\\nBecause of this, an extension program replacing a global sub-program\\nmust be compatible with changes_pkt_data property of the sub-program\\nbeing replaced.\\n\\nThis commit:\\n- adds changes_pkt_data flag to struct bpf_prog_aux:\\n  - this flag is set in check_cfg() for main sub-program;\\n  - in jit_subprogs() for other sub-programs;\\n- modifies bpf_check_attach_btf_id() to check changes_pkt_data flag;\\n- moves call to check_attach_btf_id() after the call to check_cfg(),\\n  because it needs changes_pkt_data flag to be set:\\n\\n    bpf_check:\\n      ...                             ...\\n    - check_attach_btf_id             resolve_pseudo_ldimm64\\n      resolve_pseudo_ldimm64   --\u003e    bpf_prog_is_offloaded\\n      bpf_prog_is_offloaded           check_cfg\\n      check_cfg                     + check_attach_btf_id\\n      ...                             ...\\n\\nThe following fields are set by check_attach_btf_id():\\n- env-\u003eops\\n- prog-\u003eaux-\u003eattach_btf_trace\\n- prog-\u003eaux-\u003eattach_func_name\\n- prog-\u003eaux-\u003eattach_func_proto\\n- prog-\u003eaux-\u003edst_trampoline\\n- prog-\u003eaux-\u003emod\\n- prog-\u003eaux-\u003esaved_dst_attach_type\\n- prog-\u003eaux-\u003esaved_dst_prog_type\\n- prog-\u003eexpected_attach_type\\n\\nNeither of these fields are used by resolve_pseudo_ldimm64() or\\nbpf_prog_offload_verifier_prep() (for netronome and netdevsim\\ndrivers), so the reordering is safe.\"},{\"lang\":\"es\",\"value\":\"En el kernel de Linux, se ha resuelto la siguiente vulnerabilidad: bpf: comprobar la propiedad changes_pkt_data para programas de extensi\u00f3n Al procesar llamadas a subprogramas globales, el verificador decide si invalidar todos los punteros de paquete en el estado actual dependiendo de la propiedad changes_pkt_data del subprograma global. Debido a esto, un programa de extensi\u00f3n que reemplaza un subprograma global debe ser compatible con la propiedad changes_pkt_data del subprograma que se est\u00e1 reemplazando. Esta confirmaci\u00f3n: - a\u00f1ade el indicador changes_pkt_data a struct bpf_prog_aux: - este indicador se establece en check_cfg() para el subprograma principal; - en jit_subprogs() para otros subprogramas; - modifica bpf_check_attach_btf_id() para comprobar el indicador changes_pkt_data; - mueve la llamada a check_attach_btf_id() despu\u00e9s de la llamada a check_cfg(), porque necesita que se configure el indicador changes_pkt_data: bpf_check: ... ... - check_attach_btf_id resolve_pseudo_ldimm64 resolve_pseudo_ldimm64 --\u0026gt; bpf_prog_is_offloaded bpf_prog_is_offloaded check_cfg check_cfg + check_attach_btf_id ... ... Los siguientes campos se configuran mediante check_attach_btf_id(): - env-\u0026gt;ops - prog-\u0026gt;aux-\u0026gt;attach_btf_trace - prog-\u0026gt;aux-\u0026gt;attach_func_name - prog-\u0026gt;aux-\u0026gt;attach_func_proto - prog-\u0026gt;aux-\u0026gt;dst_trampoline - prog-\u0026gt;aux-\u0026gt;mod - prog-\u0026gt;aux-\u0026gt;saved_dst_attach_type - prog-\u0026gt;aux-\u0026gt;saved_dst_prog_type - prog-\u0026gt;expected_attach_type Ninguno de estos campos es utilizado por resolve_pseudo_ldimm64() o bpf_prog_offload_verifier_prep() (para los controladores netronome y netdevsim), por lo que el reordenamiento es seguro.\"}],\"affected\":[{\"source\":\"416baaa9-dc9f-4396-8d5f-8c081fb06d67\",\"affectedData\":[{\"vendor\":\"Linux\",\"product\":\"Linux\",\"defaultStatus\":\"unaffected\",\"programFiles\":[\"include/linux/bpf.h\",\"kernel/bpf/verifier.c\"],\"repo\":\"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git\",\"versions\":[{\"version\":\"be8704ff07d2374bcc5c675526f95e70c6459683\",\"lessThan\":\"7197fc4acdf238ec8ad06de5a8235df0c1f9c7d7\",\"versionType\":\"git\",\"status\":\"affected\"},{\"version\":\"be8704ff07d2374bcc5c675526f95e70c6459683\",\"lessThan\":\"3846e2bea565ee1c5195dcc625fda9868fb0e3b3\",\"versionType\":\"git\",\"status\":\"affected\"},{\"version\":\"be8704ff07d2374bcc5c675526f95e70c6459683\",\"lessThan\":\"81f6d0530ba031b5f038a091619bf2ff29568852\",\"versionType\":\"git\",\"status\":\"affected\"}]},{\"vendor\":\"Linux\",\"product\":\"Linux\",\"defaultStatus\":\"affected\",\"programFiles\":[\"include/linux/bpf.h\",\"kernel/bpf/verifier.c\"],\"repo\":\"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git\",\"versions\":[{\"version\":\"5.6\",\"status\":\"affected\"},{\"version\":\"0\",\"lessThan\":\"5.6\",\"versionType\":\"semver\",\"status\":\"unaffected\"},{\"version\":\"6.6.90\",\"lessThanOrEqual\":\"6.6.*\",\"versionType\":\"semver\",\"status\":\"unaffected\"},{\"version\":\"6.12.25\",\"lessThanOrEqual\":\"6.12.*\",\"versionType\":\"semver\",\"status\":\"unaffected\"},{\"version\":\"6.13\",\"lessThanOrEqual\":\"*\",\"versionType\":\"original_commit_for_fix\",\"status\":\"unaffected\"}]}]}],\"metrics\":{\"cvssMetricV31\":[{\"source\":\"416baaa9-dc9f-4396-8d5f-8c081fb06d67\",\"type\":\"Secondary\",\"cvssData\":{\"version\":\"3.1\",\"vectorString\":\"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H\",\"baseScore\":7.8,\"baseSeverity\":\"HIGH\",\"attackVector\":\"LOCAL\",\"attackComplexity\":\"LOW\",\"privilegesRequired\":\"LOW\",\"userInteraction\":\"NONE\",\"scope\":\"UNCHANGED\",\"confidentialityImpact\":\"HIGH\",\"integrityImpact\":\"HIGH\",\"availabilityImpact\":\"HIGH\"},\"exploitabilityScore\":1.8,\"impactScore\":5.9},{\"source\":\"nvd@nist.gov\",\"type\":\"Primary\",\"cvssData\":{\"version\":\"3.1\",\"vectorString\":\"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H\",\"baseScore\":5.5,\"baseSeverity\":\"MEDIUM\",\"attackVector\":\"LOCAL\",\"attackComplexity\":\"LOW\",\"privilegesRequired\":\"LOW\",\"userInteraction\":\"NONE\",\"scope\":\"UNCHANGED\",\"confidentialityImpact\":\"NONE\",\"integrityImpact\":\"NONE\",\"availabilityImpact\":\"HIGH\"},\"exploitabilityScore\":1.8,\"impactScore\":3.6}]},\"weaknesses\":[{\"source\":\"nvd@nist.gov\",\"type\":\"Primary\",\"description\":[{\"lang\":\"en\",\"value\":\"NVD-CWE-noinfo\"}]}],\"configurations\":[{\"nodes\":[{\"operator\":\"OR\",\"negate\":false,\"cpeMatch\":[{\"vulnerable\":true,\"criteria\":\"cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*\",\"versionStartIncluding\":\"5.6\",\"versionEndExcluding\":\"6.6.90\",\"matchCriteriaId\":\"639CB8B7-A013-410F-ACC9-35ADBDE2AC4C\"},{\"vulnerable\":true,\"criteria\":\"cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*\",\"versionStartIncluding\":\"6.7\",\"versionEndExcluding\":\"6.12.25\",\"matchCriteriaId\":\"8E59EE65-FA6B-4AE4-8125-26135E28BF35\"},{\"vulnerable\":true,\"criteria\":\"cpe:2.3:o:linux:linux_kernel:6.13:rc1:*:*:*:*:*:*\",\"matchCriteriaId\":\"62567B3C-6CEE-46D0-BC2E-B3717FBF7D13\"},{\"vulnerable\":true,\"criteria\":\"cpe:2.3:o:linux:linux_kernel:6.13:rc2:*:*:*:*:*:*\",\"matchCriteriaId\":\"5A073481-106D-4B15-B4C7-FB0213B8E1D4\"}]}]}],\"references\":[{\"url\":\"https://git.kernel.org/stable/c/3846e2bea565ee1c5195dcc625fda9868fb0e3b3\",\"source\":\"416baaa9-dc9f-4396-8d5f-8c081fb06d67\",\"tags\":[\"Patch\"]},{\"url\":\"https://git.kernel.org/stable/c/7197fc4acdf238ec8ad06de5a8235df0c1f9c7d7\",\"source\":\"416baaa9-dc9f-4396-8d5f-8c081fb06d67\",\"tags\":[\"Patch\"]},{\"url\":\"https://git.kernel.org/stable/c/81f6d0530ba031b5f038a091619bf2ff29568852\",\"source\":\"416baaa9-dc9f-4396-8d5f-8c081fb06d67\",\"tags\":[\"Patch\"]}]}}",
    "redhat_vex": {
      "aggregate_severity": "Moderate",
      "current_release_date": "2026-08-04T14:02:35+00:00",
      "cve": "CVE-2024-58100",
      "id": "CVE-2024-58100",
      "initial_release_date": "2024-01-01T00:00:00+00:00",
      "product_status:known_affected": "260",
      "product_status:known_not_affected": "14",
      "source": "Red Hat CSAF VEX",
      "status": "final",
      "title": "kernel: bpf: check changes_pkt_data property for extension programs",
      "url": "https://security.access.redhat.com/data/csaf/v2/vex/2024/cve-2024-58100.json",
      "version": "3"
    }
  }
}



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.


Related by attack behaviour

Vulnerabilities whose description is nearest to this one in the vector space of the CIRCL/vulnerability-attack-technique-biencoder model. This is a similarity search over the bi-encoder space (plain cosine), not a classification, and it has no measured accuracy.