OSV-2020-2131 Stack-use-after-return in solidity::smtutil::CHCSmtLib2Interface::querySolver
Not scored
Published
Check this codebase for OSV-2020-2131 and fix it if it is affected.
What it is: OSV-2020-2131 is an use after free vulnerability in solidity, published on 7 Nov 2020.
Exploitation: There is no known exploitation of OSV-2020-2131 in the wild and no public exploit code.
Affected packages and fixed versions:
- solidity (OSS-Fuzz): affected all versions; no fix listed
Task:
1. Search the dependency manifests and lockfiles (for example package.json, package-lock.json, requirements.txt, poetry.lock, uv.lock, pom.xml, build.gradle, go.mod, Cargo.lock, Gemfile.lock) and any Dockerfiles for the affected packages, including transitive dependencies.
2. If an affected version is in use, upgrade it to the fixed version for its release line with the project's package manager, so the lockfile is regenerated. Prefer the smallest upgrade that fixes it.
3. If there is no fix, or the upgrade would break the build, do not guess: explain the risk and the safest workaround instead.
4. Run the tests and summarise what changed and why.
5. If nothing in the project is affected, say so and change nothing.
Reference: https://insights.sbomify.com/OSV-2020-2131/ (Markdown: https://insights.sbomify.com/OSV-2020-2131/index.md)
A stack-use-after-return bug in the Solidity compiler's SMT solver interface can cause crashes during compilation.
- Exploited in the wild
- Not known
- Login needed
- Not needed
- Attackable
- Not stated
- Victim action needed
- Not needed
- Fix
- None listed
What is OSV-2020-2131?
OSV-2020-2131 is an use after free vulnerability in solidity, published on 7 Nov 2020.
Official description
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
Which versions are affected by OSV-2020-2131?
1 open source package ship an affected version, including solidity.
| Package | Affected | Fixed in |
|---|---|---|
solidity OSS-Fuzz | All versions | None |
How do I fix OSV-2020-2131?
No fix has been published for OSV-2020-2131 yet. Limit exposure of the affected software until one is available.
Upgrade to the fixed version. These bugs are found with fuzzing and sanitisers and avoided by memory-safe languages. More about Use after free.
Is OSV-2020-2131 being exploited?
There is no known exploitation of OSV-2020-2131 in the wild and no public exploit code.