Solidity 0.7.5 querySolver stack-based overflow
A vulnerability, which was classified as critical, was found in Solidity 0.7.5. This affects the function smtutil::CHCSmtLib2Interface::querySolver. Applying a patch
A vulnerability, which was classified as critical, was found in Solidity 0.7.5. This affects the function smtutil::CHCSmtLib2Interface::querySolver. Applying a patch