Security Advisory

CVE-2020-36402

CVE vulnerability detail — eXtreme Datacenter Security Operations

Published 2021-07-01 02:51:21

Last updated 2024-08-04 17:23:10

Assigner mitre

State PUBLISHED

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.

← Browse all CVEs View on cve.org ↗