KhronosGroup / KhronosGroup/Vulkan-ValidationLayers
GPU-AV: Add Shared Memory OOB checks
Open
Incomplete
- Dominant language
- C++
- Stars
- 1k
- Forks
- 504
- Avg merge
- 11h 35m
- Merged PRs (30d)
- 224
Description
Basically catch case such as
```glsl
shared uint x[4];
x[index] = 0;
```
which are not currently being detected
Since, unlike SSBO/UBO, shared memory is not "bound" we know anything declared is valid. We could make it simple at first and only check for Arrays and LongVectors having dynamic accesses OOB
Contributor guide
Assessment
This issue has not been assessed yet.