CVE-2020-36402

2021-07-0103:15:07

Google

osv.dev

solidity 0.7.5

stack-use-after-return

smtutil::chcsmtlib2interface::querysolver

osv

code change

software

AI Score

Confidence

High

EPSS

0.002

Percentile

52.3%

JSON

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.

References

bugs.chromium.org/p/oss-fuzz/issues/detail?id=26997

github.com/ethereum/solidity/commit/c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e

github.com/google/oss-fuzz-vulns/blob/main/vulns/solidity/OSV-2020-2131.yaml