OSV-2020-2131
See a problem?- Import Source
- https://github.com/google/oss-fuzz-vulns/blob/main/vulns/solidity/OSV-2020-2131.yaml
- JSON Data
- https://api.osv.dev/v1/vulns/OSV-2020-2131
- Published
- 2020-11-07T00:00:44.497592Z
- Modified
- 2022-04-13T03:35:05.215503Z
- 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 - References