OSV-2020-2131
Stack-use-after-return in solidity::smtutil::CHCSmtLib2Interface::querySolver
No scoreFix available
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
What each source reports
OSV No score
Stack-use-after-return in solidity::smtutil::CHCSmtLib2Interface::querySolver
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
- Record
OSV-2020-2131- Updated
- 2026-11-02
Affected packages
| Package | Affected | Fixed |
|---|---|---|
solidityOSS-Fuzz |
Listed versions, plus commit ranges v0.7.5prerelease-0.8.0preview-0.8.0preview-0.8.x |
None known |
History
| Recorded | Changed | Sources |
|---|---|---|
| first indexed | OSV |
Dates are when Every CVE recorded each change. Upstream dates may differ.
In short
OSV-2020-2131 is a vulnerability with no CVSS score yet in solidity, published November 7, 2020. No source lists public exploit code. A source reports a fix.