PT-2020-22123 · Ethereum · Solidity
Published
2020-11-07
·
Updated
2020-11-07
None
No severity ratings or metrics are available. When they are, we'll update the corresponding info on the page.
Name of the Vulnerable Software and Affected Versions
solidity (affected versions not specified)
Description
The issue is related to a stack-use-after-return crash in the solidity software. The crash occurs in the
solidity::smtutil::CHCSmtLib2Interface::querySolver function, which is called by solidity::smtutil::CHCSmtLib2Interface::query and solidity::frontend::CHC::query.Recommendations
At the moment, there is no information about a newer version that contains a fix for this issue.
Found an issue in the description? Have something to add? Feel free to write us 👾
Related Identifiers
Affected Products
Solidity