bpf: track changes_pkt_data property for global functions

{
  "id": "a09adaed43995d5a8c49e27e2ba134944bcf72aa448a0d7c3a19c86b17d9eb36",
  "url": "https://osv.dev/vulnerability/CVE-2024-58098",
  "method": "structured",
  "payload": {
    "kind": "advisory",
    "title": "bpf: track changes_pkt_data property for global functions",
    "summary": "In the Linux kernel, the following vulnerability has been resolved: bpf: track changes_pkt_data property for global functions When processing calls to certain helpers, verifier invalidates all packet pointers in a current state. For example, consider the following program: __attribute__((__noinline__)) long skb_pull_data(struct __sk_buff *sk, __u32 len) { return bpf_skb_pull_data(sk, len); } SEC(\"tc\") int test_invalidate_checks(struct __sk_buff *sk) { int *p = (void *)(long)sk->data; if ((void *)(p + 1) > (void *)(long)sk->data_end) return TCX_DROP; skb_pull_data(sk, 0); *p = 42; return TCX_PASS; } After a call to bpf_skb_pull_data() the pointer 'p' can't be used safely. See function filter.c:bpf_helper_changes_pkt_data() for a list of such helpers. At the moment verifier invalidates packet pointers when processing helper function calls, and does not traverse global sub-programs when processing calls to global sub-programs. This means that calls to helpers done from global sub-programs do not invalidate pointers in the caller state. E.g. the program above is unsafe, but is not rejected by verifier. This commit fixes the omission by computing field bpf_subprog_info->changes_pkt_data for each sub-program before main verification pass. changes_pkt_data should be set if: - subprogram calls helper for which bpf_helper_changes_pkt_data returns true; - subprogram calls a global function, for which bpf_subprog_info->changes_pkt_data should be set. The verifier.c:check_cfg() pass is m",
    "evidence": "osv:CVE-2024-58098",
    "products": [
      {
        "name": {
          "value": "Kernel",
          "evidence": "/affected/1/package/name"
        },
        "prerequisites": [],
        "fixed_versions": [
          {
            "value": "6.6.90",
            "evidence": "/affected/1/ranges"
          },
          {
            "value": "6.12.25",
            "evidence": "/affected/1/ranges"
          }
        ],
        "affected_versions": []
      }
    ],
    "severity": "high",
    "structured": {
      "id": "CVE-2024-58098",
      "aliases": [
        "CVE-2024-58098"
      ],
      "metrics": [
        {
          "type": "CVSS_V3",
          "score": "CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H"
        }
      ],
      "affected": [
        {
          "ranges": [
            {
              "repo": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git",
              "type": "GIT",
              "events": [
                {
                  "introduced": "51c39bb1d5d105a02e29aa7960f0a395086e6342"
                },
                {
                  "fixed": "79751e9227a5910c0e5a2c7186877d91821d957d"
                },
                {
                  "fixed": "1d572c60488b52882b719ed273767ee3b280413d"
                },
                {
                  "fixed": "51081a3f25c742da5a659d7fc6fd77ebfdd555be"
                }
              ]
            }
          ],
          "database_specific": {
            "source": "https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2024-58098.json"
          }
        },
        {
          "ranges": [
            {
              "type": "ECOSYSTEM",
              "events": [
                {
                  "introduced": "5.6.0"
                },
                {
                  "fixed": "6.6.90"
                }
              ]
            },
            {
              "type": "ECOSYSTEM",
              "events": [
                {
                  "introduced": "6.7.0"
                },
                {
                  "fixed": "6.12.25"
                }
              ]
            }
          ],
          "package": {
            "name": "Kernel",
            "ecosystem": "Linux"
          },
          "database_specific": {
            "source": "https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2024-58098.json"
          }
        }
      ],
      "modified": "2026-10-28T02:30:51.309424601Z",
      "provider": "osv",
      "references": [
        "https://git.kernel.org/stable/c/1d572c60488b52882b719ed273767ee3b280413d",
        "https://git.kernel.org/stable/c/51081a3f25c742da5a659d7fc6fd77ebfdd555be",
        "https://git.kernel.org/stable/c/79751e9227a5910c0e5a2c7186877d91821d957d",
        "https://github.com/CVEProject/cvelistV5/tree/main/cves/2024/58xxx/CVE-2024-58098.json",
        "https://nvd.nist.gov/vuln/detail/CVE-2024-58098",
        "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git"
      ],
      "provider_metadata": {
        "cna_assigner": "Linux",
        "osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2024/58xxx/CVE-2024-58098.json"
      }
    },
    "related_cves": [
      {
        "value": "CVE-2024-58098",
        "evidence": "/id"
      }
    ],
    "security_relevant": true,
    "severity_evidence": "/severity/0/score"
  },
  "source_id": "core-osv",
  "document_id": 519653,
  "published_at": "2025-05-05T14:53:32.417+00:00"
}