KhronosGroup / KhronosGroup/SPIRV-Tools
Asan reports stack overflow in validator
- Dominant language
- C++
- Stars
- 1.4k
- Forks
- 709
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 28
Description
asan reports a stack overflow when applied to myshader.spv ([attached](https://github.com/KhronosGroup/SPIRV-Tools/files/4055216/tofile.zip)). Command is:
```
spirv-val myshader.spv
```
The shader is invalid (something that the validator correctly picks up when run without asan), but I don't think there should be a stack overflow.
Issue found while developing spirv-fuzz.
Contributor guide
Research direction
Start by running spirv-val on the attached myshader.spv reproducer from tofile.zip, both normally and under ASan. Trace the validator's handling of this invalid shader and identify why the ASan run overflows the stack. Done means the invalid input is still rejected without a stack overflow under ASan.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100