{"id":"OSV-2020-2131","aliases":[],"status":"published","title":"Stack-use-after-return in solidity::smtutil::CHCSmtLib2Interface::querySolver","description":"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```","facts":{"in_kev":false,"known_exploited":false,"public_exploit":false,"fix_available":true},"published":"2020-11-07T00:00:44.497592Z","modified":"2022-04-13T03:35:05Z","affected":[{"source":"osv","ecosystem":"OSS-Fuzz","package":"solidity","ranges":[{"type":"GIT","events":[{"introduced":"5b4125447bcdccfa427c5e75cc1048ef4b0eef95"},{"fixed":"c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e"}]}],"versions":["v0.7.5","prerelease-0.8.0","preview-0.8.0","preview-0.8.x"]}],"references":[{"url":"https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=26997","tags":["report"]}],"sources":{"osv":[{"id":"OSV-2020-2131","title":"Stack-use-after-return in solidity::smtutil::CHCSmtLib2Interface::querySolver","description":"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","status":"published","published":"2020-11-07T00:00:44.497592Z","modified":"2022-04-13T03:35:05.215503Z","updated_at":"2026-11-02T15:52:48.531106Z"}]}}