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.