Skip to content
Permalink
main
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
 
 
Cannot retrieve contributors at this time
id: OSV-2020-2131
summary: Stack-use-after-return in solidity::smtutil::CHCSmtLib2Interface::querySolver
details: |
OSS-Fuzz report: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=26997
```
Crash type: Stack-use-after-return READ 8
Crash state:
solidity::smtutil::CHCSmtLib2Interface::querySolver
solidity::smtutil::CHCSmtLib2Interface::query
solidity::frontend::CHC::query
```
modified: '2022-04-13T03:35:05.215503Z'
published: '2020-11-07T00:00:44.497592Z'
references:
- type: REPORT
url: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=26997
affected:
- package:
name: solidity
ecosystem: OSS-Fuzz
ranges:
- type: GIT
repo: https://github.com/ethereum/solidity.git
events:
- introduced: 5b4125447bcdccfa427c5e75cc1048ef4b0eef95
- fixed: c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e
versions:
- v0.7.5
- prerelease-0.8.0
- preview-0.8.0
- preview-0.8.x