KhronosGroup / KhronosGroup/SPIRV-Tools

Asan reports stack overflow in validator

Open
#3,136 0 comments 0 reactions 0 assignees View on GitHub
component:validation fuzzer-found-issue
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

Open the contributing 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.