osv-2020-2131
Vulnerability from osv_ossfuzz
Published
2020-11-07 00:00
Modified
2022-04-13 03:35
Summary
Stack-use-after-return in solidity::smtutil::CHCSmtLib2Interface::querySolver
Details

OSS-Fuzz report: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=26997

Crash type: Stack-use-after-return READ 8
Crash state:
solidity::smtutil::CHCSmtLib2Interface::querySolver
solidity::smtutil::CHCSmtLib2Interface::query
solidity::frontend::CHC::query
To clipboard 

{
  "affected": [
    {
      "package": {
        "ecosystem": "OSS-Fuzz",
        "name": "solidity"
      },
      "ranges": [
        {
          "events": [
            {
              "introduced": "5b4125447bcdccfa427c5e75cc1048ef4b0eef95"
            },
            {
              "fixed": "c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e"
            }
          ],
          "repo": "https://github.com/ethereum/solidity.git",
          "type": "GIT"
        }
      ],
      "versions": [
        "v0.7.5",
        "prerelease-0.8.0",
        "preview-0.8.0",
        "preview-0.8.x"
      ]
    }
  ],
  "details": "OSS-Fuzz report: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=26997\n\n```\nCrash type: Stack-use-after-return READ 8\nCrash state:\nsolidity::smtutil::CHCSmtLib2Interface::querySolver\nsolidity::smtutil::CHCSmtLib2Interface::query\nsolidity::frontend::CHC::query\n```\n",
  "id": "OSV-2020-2131",
  "modified": "2022-04-13T03:35:05.215503Z",
  "published": "2020-11-07T00:00:44.497592Z",
  "references": [
    {
      "type": "REPORT",
      "url": "https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=26997"
    }
  ],
  "summary": "Stack-use-after-return in solidity::smtutil::CHCSmtLib2Interface::querySolver"
}


Log in or create an account to share your comment.




Tags
Taxonomy of the tags.




Sightings

Author Source Type Date

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.