CVE-2026-72844 (GCVE-0-2026-72844)

Vulnerability from cvelistv5 – Published: 2026-08-20 17:19 – Updated: 2026-08-21 21:46
VLAI
Title
Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections
Summary
The Lean 4 kernel does not verify that the structure named in a projection expression matches the type of the value being projected, and environment::add_inductive in src/kernel/inductive.cpp did not type check the nested inductive applications that are replaced by auxiliary types, so their parametric arguments escaped checking. A metaprogram running in the Lean process can register an ill-typed nested inductive whose constructor applies a .proj C 0 projection to a value of the unrelated type W, and the kernel admits the declaration through the ordinary checked addDecl path at maximum kernel checking, without sorry, unsafeCast, debug.skipKernelTC, addDeclWithoutChecking, FFI, or a modified .olean file. The result is a type confusion yielding a proof of False that carries no axioms, from which any proposition can be derived. The published proof of concept additionally pads two expressions until their hashes and approximate depths collide, which defeats kernel caching; that is the technique used to reach the flaw, not its cause. Exploitation requires running a metaprogram in-process, for example by building a project or importing a malicious Lake dependency.
Severity
6.3 (Medium)
CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:C/C:N/I:H/A:N
6.8 (Medium)
CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N
SSVC
Exploitation: poc Automatable: no Technical Impact: partial
CISA Coordinator · CISA-ADP (v2.0.3)
Decision recorded 2026-08-21 21:13 UTC
CWE
  • CWE-843 - Access of Resource Using Incompatible Type ('Type Confusion')
Assigner
References
Impacted products
Vendor Product Version CPE status
leanprover lean4 Affected: 0 , < 4.32.2 (semver)
Unaffected: 4.32.2 (semver)
Affected: 4.33.0-rc1 (semver)
guessed Create a notification for this product.
Date Public
2026-07-28 00:00
Credits
kiranandcode Ramana Kumar (@xrchz) Leonardo de Moura Jonathan Brossard (MOABI)
Show details on NVD website
To clipboard 

{
  "containers": {
    "adp": [
      {
        "metrics": [
          {
            "other": {
              "content": {
                "id": "CVE-2026-72844",
                "options": [
                  {
                    "Exploitation": "poc"
                  },
                  {
                    "Automatable": "no"
                  },
                  {
                    "Technical Impact": "partial"
                  }
                ],
                "role": "CISA Coordinator",
                "timestamp": "2026-08-21T21:13:48.944575Z",
                "version": "2.0.3"
              },
              "type": "ssvc"
            }
          }
        ],
        "providerMetadata": {
          "dateUpdated": "2026-08-21T21:46:54.936Z",
          "orgId": "134c704f-9b21-4f2e-91b3-4a467353bcc0",
          "shortName": "CISA-ADP"
        },
        "title": "CISA ADP Vulnrichment"
      }
    ],
    "cna": {
      "affected": [
        {
          "defaultStatus": "unaffected",
          "product": "lean4",
          "repo": "https://github.com/leanprover/lean4",
          "vendor": "leanprover",
          "versions": [
            {
              "lessThan": "4.32.2",
              "status": "affected",
              "version": "0",
              "versionType": "semver"
            },
            {
              "status": "unaffected",
              "version": "4.32.2",
              "versionType": "semver"
            },
            {
              "status": "affected",
              "version": "4.33.0-rc1",
              "versionType": "semver"
            }
          ]
        }
      ],
      "credits": [
        {
          "lang": "en",
          "type": "finder",
          "value": "kiranandcode"
        },
        {
          "lang": "en",
          "type": "other",
          "value": "Ramana Kumar (@xrchz)"
        },
        {
          "lang": "en",
          "type": "remediation developer",
          "value": "Leonardo de Moura"
        },
        {
          "lang": "en",
          "type": "other",
          "value": "Jonathan Brossard (MOABI)"
        }
      ],
      "datePublic": "2026-07-28T00:00:00.000Z",
      "descriptions": [
        {
          "lang": "en",
          "value": "The Lean 4 kernel does not verify that the structure named in a projection expression matches the type of the value being projected, and environment::add_inductive in src/kernel/inductive.cpp did not type check the nested inductive applications that are replaced by auxiliary types, so their parametric arguments escaped checking. A metaprogram running in the Lean process can register an ill-typed nested inductive whose constructor applies a .proj C 0 projection to a value of the unrelated type W, and the kernel admits the declaration through the ordinary checked addDecl path at maximum kernel checking, without sorry, unsafeCast, debug.skipKernelTC, addDeclWithoutChecking, FFI, or a modified .olean file. The result is a type confusion yielding a proof of False that carries no axioms, from which any proposition can be derived. The published proof of concept additionally pads two expressions until their hashes and approximate depths collide, which defeats kernel caching; that is the technique used to reach the flaw, not its cause. Exploitation requires running a metaprogram in-process, for example by building a project or importing a malicious Lake dependency."
        }
      ],
      "metrics": [
        {
          "cvssV3_1": {
            "attackComplexity": "LOW",
            "attackVector": "LOCAL",
            "availabilityImpact": "NONE",
            "baseScore": 6.3,
            "baseSeverity": "MEDIUM",
            "confidentialityImpact": "NONE",
            "integrityImpact": "HIGH",
            "privilegesRequired": "NONE",
            "scope": "CHANGED",
            "userInteraction": "REQUIRED",
            "vectorString": "CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:C/C:N/I:H/A:N",
            "version": "3.1"
          },
          "format": "CVSS"
        },
        {
          "cvssV4_0": {
            "attackComplexity": "LOW",
            "attackRequirements": "NONE",
            "attackVector": "LOCAL",
            "baseScore": 6.8,
            "baseSeverity": "MEDIUM",
            "privilegesRequired": "NONE",
            "subAvailabilityImpact": "NONE",
            "subConfidentialityImpact": "NONE",
            "subIntegrityImpact": "NONE",
            "userInteraction": "PASSIVE",
            "vectorString": "CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N",
            "version": "4.0",
            "vulnAvailabilityImpact": "NONE",
            "vulnConfidentialityImpact": "NONE",
            "vulnIntegrityImpact": "HIGH"
          },
          "format": "CVSS"
        }
      ],
      "problemTypes": [
        {
          "descriptions": [
            {
              "cweId": "CWE-843",
              "description": "Access of Resource Using Incompatible Type (\u0027Type Confusion\u0027)",
              "lang": "en",
              "type": "CWE"
            }
          ]
        }
      ],
      "providerMetadata": {
        "dateUpdated": "2026-08-21T11:20:58.955Z",
        "orgId": "83251b91-4cc7-4094-a5c7-464a1b83ea10",
        "shortName": "VulnCheck"
      },
      "references": [
        {
          "name": "GitHub Issue #14576",
          "tags": [
            "issue-tracking"
          ],
          "url": "https://github.com/leanprover/lean4/issues/14576"
        },
        {
          "name": "fix: missing check at kernel inductive declaration",
          "tags": [
            "patch"
          ],
          "url": "https://github.com/leanprover/lean4/commit/a39eab69e1eee9ad38f4efe507907b1026a77808"
        },
        {
          "name": "GitHub Pull Request #14577",
          "tags": [
            "issue-tracking"
          ],
          "url": "https://github.com/leanprover/lean4/pull/14577"
        },
        {
          "name": "lean-cve-poc",
          "tags": [
            "exploit"
          ],
          "url": "https://github.com/endrazine/lean-cve-poc"
        },
        {
          "name": "CollatzLean",
          "tags": [
            "exploit"
          ],
          "url": "https://github.com/xrchz/CollatzLean"
        },
        {
          "name": "oss-security: Lean 4 kernel soundness bug",
          "tags": [
            "third-party-advisory"
          ],
          "url": "https://www.openwall.com/lists/oss-security/2026/08/02/1"
        },
        {
          "tags": [
            "product"
          ],
          "url": "https://github.com/leanprover/lean4"
        },
        {
          "name": "VulnCheck Advisory: Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections",
          "tags": [
            "third-party-advisory"
          ],
          "url": "https://www.vulncheck.com/advisories/lean-4-kernel-type-checking-bypass-via-mismatched-structure-projections"
        }
      ],
      "timeline": [
        {
          "lang": "en",
          "time": "2026-07-25T00:00:00.000Z",
          "value": "CollatzLean repository published, exploiting the bug"
        },
        {
          "lang": "en",
          "time": "2026-07-28T00:00:00.000Z",
          "value": "Bug identified and reported in issue #14576"
        },
        {
          "lang": "en",
          "time": "2026-07-28T00:00:00.000Z",
          "value": "Fix submitted in pull request #14577"
        },
        {
          "lang": "en",
          "time": "2026-07-29T00:00:00.000Z",
          "value": "Fix available in nightly builds"
        },
        {
          "lang": "en",
          "time": "2026-08-02T00:00:00.000Z",
          "value": "Public advisory on oss-security"
        }
      ],
      "title": "Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections",
      "x_generator": {
        "engine": "vulncheck-endgame"
      }
    }
  },
  "cveMetadata": {
    "assignerOrgId": "83251b91-4cc7-4094-a5c7-464a1b83ea10",
    "assignerShortName": "VulnCheck",
    "cveId": "CVE-2026-72844",
    "datePublished": "2026-08-20T17:19:34.054Z",
    "dateReserved": "2026-08-10T15:14:51.467Z",
    "dateUpdated": "2026-08-21T21:46:54.936Z",
    "state": "PUBLISHED"
  },
  "dataType": "CVE_RECORD",
  "dataVersion": "5.2",
  "vulnerability-lookup:meta": {
    "epss": {
      "cve": "CVE-2026-72844",
      "date": "2026-08-22",
      "epss": "0.0012",
      "percentile": "0.02188"
    },
    "nvd": "{\"cve\":{\"id\":\"CVE-2026-72844\",\"sourceIdentifier\":\"disclosure@vulncheck.com\",\"published\":\"2026-08-20T18:16:45.290\",\"lastModified\":\"2026-08-21T22:16:44.447\",\"vulnStatus\":\"Received\",\"cveTags\":[],\"descriptions\":[{\"lang\":\"en\",\"value\":\"The Lean 4 kernel does not verify that the structure named in a projection expression matches the type of the value being projected, and environment::add_inductive in src/kernel/inductive.cpp did not type check the nested inductive applications that are replaced by auxiliary types, so their parametric arguments escaped checking. A metaprogram running in the Lean process can register an ill-typed nested inductive whose constructor applies a .proj C 0 projection to a value of the unrelated type W, and the kernel admits the declaration through the ordinary checked addDecl path at maximum kernel checking, without sorry, unsafeCast, debug.skipKernelTC, addDeclWithoutChecking, FFI, or a modified .olean file. The result is a type confusion yielding a proof of False that carries no axioms, from which any proposition can be derived. The published proof of concept additionally pads two expressions until their hashes and approximate depths collide, which defeats kernel caching; that is the technique used to reach the flaw, not its cause. Exploitation requires running a metaprogram in-process, for example by building a project or importing a malicious Lake dependency.\"}],\"affected\":[{\"source\":\"disclosure@vulncheck.com\",\"affectedData\":[{\"vendor\":\"leanprover\",\"product\":\"lean4\",\"defaultStatus\":\"unaffected\",\"repo\":\"https://github.com/leanprover/lean4\",\"versions\":[{\"version\":\"0\",\"lessThan\":\"4.32.2\",\"versionType\":\"semver\",\"status\":\"affected\"},{\"version\":\"4.32.2\",\"versionType\":\"semver\",\"status\":\"unaffected\"},{\"version\":\"4.33.0-rc1\",\"versionType\":\"semver\",\"status\":\"affected\"}]}]}],\"metrics\":{\"cvssMetricV40\":[{\"source\":\"disclosure@vulncheck.com\",\"type\":\"Secondary\",\"cvssData\":{\"version\":\"4.0\",\"vectorString\":\"CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X\",\"baseScore\":6.8,\"baseSeverity\":\"MEDIUM\",\"attackVector\":\"LOCAL\",\"attackComplexity\":\"LOW\",\"attackRequirements\":\"NONE\",\"privilegesRequired\":\"NONE\",\"userInteraction\":\"PASSIVE\",\"vulnConfidentialityImpact\":\"NONE\",\"vulnIntegrityImpact\":\"HIGH\",\"vulnAvailabilityImpact\":\"NONE\",\"subConfidentialityImpact\":\"NONE\",\"subIntegrityImpact\":\"NONE\",\"subAvailabilityImpact\":\"NONE\",\"exploitMaturity\":\"NOT_DEFINED\",\"confidentialityRequirement\":\"NOT_DEFINED\",\"integrityRequirement\":\"NOT_DEFINED\",\"availabilityRequirement\":\"NOT_DEFINED\",\"modifiedAttackVector\":\"NOT_DEFINED\",\"modifiedAttackComplexity\":\"NOT_DEFINED\",\"modifiedAttackRequirements\":\"NOT_DEFINED\",\"modifiedPrivilegesRequired\":\"NOT_DEFINED\",\"modifiedUserInteraction\":\"NOT_DEFINED\",\"modifiedVulnConfidentialityImpact\":\"NOT_DEFINED\",\"modifiedVulnIntegrityImpact\":\"NOT_DEFINED\",\"modifiedVulnAvailabilityImpact\":\"NOT_DEFINED\",\"modifiedSubConfidentialityImpact\":\"NOT_DEFINED\",\"modifiedSubIntegrityImpact\":\"NOT_DEFINED\",\"modifiedSubAvailabilityImpact\":\"NOT_DEFINED\",\"Safety\":\"NOT_DEFINED\",\"Automatable\":\"NOT_DEFINED\",\"Recovery\":\"NOT_DEFINED\",\"valueDensity\":\"NOT_DEFINED\",\"vulnerabilityResponseEffort\":\"NOT_DEFINED\",\"providerUrgency\":\"NOT_DEFINED\"}}],\"cvssMetricV31\":[{\"source\":\"disclosure@vulncheck.com\",\"type\":\"Secondary\",\"cvssData\":{\"version\":\"3.1\",\"vectorString\":\"CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:C/C:N/I:H/A:N\",\"baseScore\":6.3,\"baseSeverity\":\"MEDIUM\",\"attackVector\":\"LOCAL\",\"attackComplexity\":\"LOW\",\"privilegesRequired\":\"NONE\",\"userInteraction\":\"REQUIRED\",\"scope\":\"CHANGED\",\"confidentialityImpact\":\"NONE\",\"integrityImpact\":\"HIGH\",\"availabilityImpact\":\"NONE\"},\"exploitabilityScore\":1.8,\"impactScore\":4.0}],\"ssvcV203\":[{\"source\":\"134c704f-9b21-4f2e-91b3-4a467353bcc0\",\"ssvcData\":{\"timestamp\":\"2026-08-21T21:13:48.944575Z\",\"id\":\"CVE-2026-72844\",\"options\":[{\"exploitation\":\"poc\"},{\"automatable\":\"no\"},{\"technicalImpact\":\"partial\"}],\"role\":\"CISA Coordinator\",\"version\":\"2.0.3\"}}]},\"weaknesses\":[{\"source\":\"disclosure@vulncheck.com\",\"type\":\"Secondary\",\"description\":[{\"lang\":\"en\",\"value\":\"CWE-843\"}]}],\"references\":[{\"url\":\"https://github.com/endrazine/lean-cve-poc\",\"source\":\"disclosure@vulncheck.com\"},{\"url\":\"https://github.com/leanprover/lean4\",\"source\":\"disclosure@vulncheck.com\"},{\"url\":\"https://github.com/leanprover/lean4/commit/a39eab69e1eee9ad38f4efe507907b1026a77808\",\"source\":\"disclosure@vulncheck.com\"},{\"url\":\"https://github.com/leanprover/lean4/issues/14576\",\"source\":\"disclosure@vulncheck.com\"},{\"url\":\"https://github.com/leanprover/lean4/pull/14577\",\"source\":\"disclosure@vulncheck.com\"},{\"url\":\"https://github.com/xrchz/CollatzLean\",\"source\":\"disclosure@vulncheck.com\"},{\"url\":\"https://www.openwall.com/lists/oss-security/2026/08/02/1\",\"source\":\"disclosure@vulncheck.com\"},{\"url\":\"https://www.vulncheck.com/advisories/lean-4-kernel-type-checking-bypass-via-mismatched-structure-projections\",\"source\":\"disclosure@vulncheck.com\"}]}}",
    "vulnrichment": {
      "containers": "{\"adp\": [{\"title\": \"CISA ADP Vulnrichment\", \"metrics\": [{\"other\": {\"type\": \"ssvc\", \"content\": {\"id\": \"CVE-2026-72844\", \"role\": \"CISA Coordinator\", \"options\": [{\"Exploitation\": \"poc\"}, {\"Automatable\": \"no\"}, {\"Technical Impact\": \"partial\"}], \"version\": \"2.0.3\", \"timestamp\": \"2026-08-21T21:13:48.944575Z\"}}}], \"providerMetadata\": {\"orgId\": \"134c704f-9b21-4f2e-91b3-4a467353bcc0\", \"shortName\": \"CISA-ADP\", \"dateUpdated\": \"2026-08-21T21:13:57.269Z\"}}], \"cna\": {\"title\": \"Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections\", \"credits\": [{\"lang\": \"en\", \"type\": \"finder\", \"value\": \"kiranandcode\"}, {\"lang\": \"en\", \"type\": \"other\", \"value\": \"Ramana Kumar (@xrchz)\"}, {\"lang\": \"en\", \"type\": \"remediation developer\", \"value\": \"Leonardo de Moura\"}, {\"lang\": \"en\", \"type\": \"other\", \"value\": \"Jonathan Brossard (MOABI)\"}], \"metrics\": [{\"format\": \"CVSS\", \"cvssV3_1\": {\"scope\": \"CHANGED\", \"version\": \"3.1\", \"baseScore\": 6.3, \"attackVector\": \"LOCAL\", \"baseSeverity\": \"MEDIUM\", \"vectorString\": \"CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:C/C:N/I:H/A:N\", \"integrityImpact\": \"HIGH\", \"userInteraction\": \"REQUIRED\", \"attackComplexity\": \"LOW\", \"availabilityImpact\": \"NONE\", \"privilegesRequired\": \"NONE\", \"confidentialityImpact\": \"NONE\"}}, {\"format\": \"CVSS\", \"cvssV4_0\": {\"version\": \"4.0\", \"baseScore\": 6.8, \"attackVector\": \"LOCAL\", \"baseSeverity\": \"MEDIUM\", \"vectorString\": \"CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N\", \"userInteraction\": \"PASSIVE\", \"attackComplexity\": \"LOW\", \"attackRequirements\": \"NONE\", \"privilegesRequired\": \"NONE\", \"subIntegrityImpact\": \"NONE\", \"vulnIntegrityImpact\": \"HIGH\", \"subAvailabilityImpact\": \"NONE\", \"vulnAvailabilityImpact\": \"NONE\", \"subConfidentialityImpact\": \"NONE\", \"vulnConfidentialityImpact\": \"NONE\"}}], \"affected\": [{\"repo\": \"https://github.com/leanprover/lean4\", \"vendor\": \"leanprover\", \"product\": \"lean4\", \"versions\": [{\"status\": \"affected\", \"version\": \"0\", \"lessThan\": \"4.32.2\", \"versionType\": \"semver\"}, {\"status\": \"unaffected\", \"version\": \"4.32.2\", \"versionType\": \"semver\"}, {\"status\": \"affected\", \"version\": \"4.33.0-rc1\", \"versionType\": \"semver\"}], \"defaultStatus\": \"unaffected\"}], \"timeline\": [{\"lang\": \"en\", \"time\": \"2026-07-25T00:00:00.000Z\", \"value\": \"CollatzLean repository published, exploiting the bug\"}, {\"lang\": \"en\", \"time\": \"2026-07-28T00:00:00.000Z\", \"value\": \"Bug identified and reported in issue #14576\"}, {\"lang\": \"en\", \"time\": \"2026-07-28T00:00:00.000Z\", \"value\": \"Fix submitted in pull request #14577\"}, {\"lang\": \"en\", \"time\": \"2026-07-29T00:00:00.000Z\", \"value\": \"Fix available in nightly builds\"}, {\"lang\": \"en\", \"time\": \"2026-08-02T00:00:00.000Z\", \"value\": \"Public advisory on oss-security\"}], \"datePublic\": \"2026-07-28T00:00:00.000Z\", \"references\": [{\"url\": \"https://github.com/leanprover/lean4/issues/14576\", \"name\": \"GitHub Issue #14576\", \"tags\": [\"issue-tracking\"]}, {\"url\": \"https://github.com/leanprover/lean4/commit/a39eab69e1eee9ad38f4efe507907b1026a77808\", \"name\": \"fix: missing check at kernel inductive declaration\", \"tags\": [\"patch\"]}, {\"url\": \"https://github.com/leanprover/lean4/pull/14577\", \"name\": \"GitHub Pull Request #14577\", \"tags\": [\"issue-tracking\"]}, {\"url\": \"https://github.com/endrazine/lean-cve-poc\", \"name\": \"lean-cve-poc\", \"tags\": [\"exploit\"]}, {\"url\": \"https://github.com/xrchz/CollatzLean\", \"name\": \"CollatzLean\", \"tags\": [\"exploit\"]}, {\"url\": \"https://www.openwall.com/lists/oss-security/2026/08/02/1\", \"name\": \"oss-security: Lean 4 kernel soundness bug\", \"tags\": [\"third-party-advisory\"]}, {\"url\": \"https://github.com/leanprover/lean4\", \"tags\": [\"product\"]}, {\"url\": \"https://www.vulncheck.com/advisories/lean-4-kernel-type-checking-bypass-via-mismatched-structure-projections\", \"name\": \"VulnCheck Advisory: Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections\", \"tags\": [\"third-party-advisory\"]}], \"x_generator\": {\"engine\": \"vulncheck-endgame\"}, \"descriptions\": [{\"lang\": \"en\", \"value\": \"The Lean 4 kernel does not verify that the structure named in a projection expression matches the type of the value being projected, and environment::add_inductive in src/kernel/inductive.cpp did not type check the nested inductive applications that are replaced by auxiliary types, so their parametric arguments escaped checking. A metaprogram running in the Lean process can register an ill-typed nested inductive whose constructor applies a .proj C 0 projection to a value of the unrelated type W, and the kernel admits the declaration through the ordinary checked addDecl path at maximum kernel checking, without sorry, unsafeCast, debug.skipKernelTC, addDeclWithoutChecking, FFI, or a modified .olean file. The result is a type confusion yielding a proof of False that carries no axioms, from which any proposition can be derived. The published proof of concept additionally pads two expressions until their hashes and approximate depths collide, which defeats kernel caching; that is the technique used to reach the flaw, not its cause. Exploitation requires running a metaprogram in-process, for example by building a project or importing a malicious Lake dependency.\"}], \"problemTypes\": [{\"descriptions\": [{\"lang\": \"en\", \"type\": \"CWE\", \"cweId\": \"CWE-843\", \"description\": \"Access of Resource Using Incompatible Type (\u0027Type Confusion\u0027)\"}]}], \"providerMetadata\": {\"orgId\": \"83251b91-4cc7-4094-a5c7-464a1b83ea10\", \"shortName\": \"VulnCheck\", \"dateUpdated\": \"2026-08-21T11:20:58.955Z\"}}}",
      "cveMetadata": "{\"cveId\": \"CVE-2026-72844\", \"state\": \"PUBLISHED\", \"dateUpdated\": \"2026-08-21T21:46:54.936Z\", \"dateReserved\": \"2026-08-10T15:14:51.467Z\", \"assignerOrgId\": \"83251b91-4cc7-4094-a5c7-464a1b83ea10\", \"datePublished\": \"2026-08-20T17:19:34.054Z\", \"assignerShortName\": \"VulnCheck\"}",
      "dataType": "CVE_RECORD",
      "dataVersion": "5.2"
    }
  }
}



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.