Description
Solidity 0.7.5 has a stack-use-after-return issue in smtutil::CHCSmtLib2Interface::querySolver. NOTE: c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e is cited in the OSV "fixed" field but does not have a code change.
Published: 2021-07-01
Score: 7.8 High
EPSS: < 1% Very Low
KEV: No
Impact: n/a
Action: n/a
AI Analysis

Analysis and contextual insights are available on OpenCVE Cloud.

Remediation

No vendor fix or workaround currently provided.

Additional remediation guidance may be available on OpenCVE Cloud.

Tracking

Sign in to view the affected projects.

Advisories
Source ID Title
EUVD EUVD EUVD-2020-23930 Solidity 0.7.5 has a stack-use-after-return issue in smtutil::CHCSmtLib2Interface::querySolver. NOTE: c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e is cited in the OSV "fixed" field but does not have a code change.
History

No history.

Subscriptions

Linux Linux Kernel
Soliditylang Solidity
cve-icon MITRE

Status: PUBLISHED

Assigner: mitre

Published:

Updated: 2024-08-04T17:23:10.583Z

Reserved: 2021-07-01T00:00:00.000Z

Link: CVE-2020-36402

cve-icon Vulnrichment

No data.

cve-icon NVD

Status : Modified

Published: 2021-07-01T03:15:07.857

Modified: 2024-11-21T05:29:25.210

Link: CVE-2020-36402

cve-icon Redhat

No data.

cve-icon OpenCVE Enrichment

No data.

Weaknesses