ZDF
Sign inSign up

Vulnerabilities

Vulnerability · CVE-2025-40143

In the Linux kernel, the following vulnerability has been resolved: bpf: dont report verifier bug for missing bpf_scc_visit on speculative path Syzbot generated a program that trig

Published Nov 12, 2025 · catalog updated May 11, 2026 · Linux Linux

Open the advisory

Exploitation likelihood is not on this record for CVE-2025-40143. A missing EPSS score is not a low risk. Compare Linux Linux with the linked advisory before you change production.

Gaps on this record

  • No vendor fix or required action is stored. Compare the linked advisory before you change production.
  • EPSS is missing. A missing score is not a low risk.
Severity
None0.0
Known exploitation
Not in CISA/VulnCheck KEV
EPSS
Not in the current FIRST EPSS dataset
Remediation
Version ranges on file
Affected products
vendor Linux Linux c9e31900b54cadf5398dfb838c0a63effa1defec <a3c73d629ea1373af3c0c954d41fd1af555492e3

In the Linux kernel, the following vulnerability has been resolved: bpf: dont report verifier bug for missing bpf_scc_visit on speculative path Syzbot generated a program that triggers a verifier_bug() call in maybe_exit_scc(). maybe_exit_scc() assumes that, when called for a state with insn_idx in some SCC, there should be an instance of struct bpf_scc_visit allocated for that SCC. Turns out the assumption does not hold for speculative execution paths. See example in the next patch. maybe_scc_exit() is called from update_branch_counts() for states that reach branch count of zero, meaning that

Are you affected?

Enter the version you run. The result uses only the ranges stored on this record.

The check returns affected, not affected, or incomplete. It does not guess a version that is missing from the record.

  • vendor Linux Linux c9e31900b54cadf5398dfb838c0a63effa1defec <a3c73d629ea1373af3c0c954d41fd1af555492e3c9e31900b54cadf5398dfb838c0a63effa1defec <a3c73d629ea1373af3c0c954d41fd1af555492e3

How to fix CVE-2025-40143

  • Recommended remediation

    Affected version ranges suggest a fixed boundary. Verify against the vendor advisory for your release.

  • Official advisories

What to do

Three questions, each answered from this record only. Confirm the vendor advisory before you patch.

Should you patch?

Exploitation likelihood is not on this record for CVE-2025-40143. A missing EPSS score is not a low risk. Compare Linux Linux with the linked advisory before you change production.

Which versions are affected?

Compare what you have installed with Linux Linux c9e31900b54cadf5398dfb838c0a63effa1defec <a3c73d629ea1373af3c0c954d41fd1af555492e3 c9e31900b54cadf5398dfb838c0a63effa1defec <a3c73d629ea1373af3c0c954d41fd1af555492e3. Compare the installed version with the linked vendor advisory before you change production.

What should an analyst verify?

No weakness class is stored. EPSS is absent from the current FIRST dataset. There is no CISA KEV listing. No Exploit-DB or Metasploit reference is linked. Use the source links for the original advisory.

Code

The project this record applies to. Exploit listings stay in References.

Timeline

Detection, updates, and resolution for this record.

  1. Nov 12, 2025 · EUVD

    Detected

    In the Linux kernel, the following vulnerability has been resolved: bpf: dont report verifier bug for missing bpf_scc_visit on speculative path Syzbot generated a program that triggers a verifier_bug() call in maybe_exit_scc(). maybe_exit_scc() assumes that, when called for a state with insn_idx in some SCC, there should be an instance of struct bpf_scc_visit allocated for that SCC. Turns out the

  2. May 11, 2026 · EUVD

    Updated

    In the Linux kernel, the following vulnerability has been resolved: bpf: dont report verifier bug for missing bpf_scc_visit on speculative path Syzbot generated a program that triggers a verifier_bug() call in maybe_exit_scc(). maybe_exit_scc() assumes that, when called for a state with insn_idx in some SCC, there should be an instance of struct bpf_scc_visit allocated for that SCC. Turns out the

Sources

  • EUVDVulnerability recordEUVD-2025-124940

    In the Linux kernel, the following vulnerability has been resolved: bpf: dont report verifier bug for missing bpf_scc_visit on speculative path Syzbot generated a program that triggers a verifier_bug() call in maybe_exit_scc(). maybe_exit_scc() assumes that, when called for a sta

    euvd.enisa.europa.eu

References

Freshness

Last verified in this catalog Oct 23, 2026. Significant claims (KEV, EPSS, CVSS, affected ranges) come from the source rows above — open the original publisher for the authoritative advisory.