{"id":"OSV-2020-2131","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\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","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"}],"affected":[{"package":{"name":"solidity","ecosystem":"OSS-Fuzz","purl":"pkg:generic/solidity"},"ranges":[{"type":"GIT","repo":"https://github.com/ethereum/solidity.git","events":[{"introduced":"5b4125447bcdccfa427c5e75cc1048ef4b0eef95"},{"fixed":"c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e"}]}],"versions":["v0.7.5","prerelease-0.8.0","preview-0.8.0","preview-0.8.x"],"database_specific":{"source":"https://github.com/google/oss-fuzz-vulns/blob/main/vulns/solidity/OSV-2020-2131.yaml"}}],"schema_version":"1.7.3"}