New issue
Advanced search Search tips
Note: Color blocks (like or ) mean that a user may not be available. Tooltip shows the reason.

Issue 903691 link

Starred by 1 user

Issue metadata

Status: Verified
Owner:
Last visit 18 days ago
Closed: Nov 17
Cc:
Components:
EstimatedDays: ----
NextAction: ----
OS: Linux
Pri: 1
Type: Bug



Sign in to add a comment

Null-dereference READ in spvtools::val::Instruction::opcode

Project Member Reported by ClusterFuzz, Nov 9

Issue description

Detailed report: https://clusterfuzz.com/testcase?key=5963065668141056

Fuzzer: libFuzzer_spvtools_val_fuzzer
Job Type: libfuzzer_chrome_ubsan
Platform Id: linux

Crash Type: Null-dereference READ
Crash Address: 0x00000000003a
Crash State:
  spvtools::val::Instruction::opcode
  spvtools::val::ValidationState_t::IsBoolScalarType
  spvtools::val::ValidateBranchConditional
  
Sanitizer: undefined (UBSAN)

Regressed: https://clusterfuzz.com/revisions?job=libfuzzer_chrome_ubsan&range=583093:583103

Reproducer Testcase: https://clusterfuzz.com/download?testcase_id=5963065668141056

Issue filed automatically.

See https://chromium.googlesource.com/chromium/src/+/master/testing/libfuzzer/reference.md for more information.
 
Project Member

Comment 1 by ClusterFuzz, Nov 9

Components: Internals>GPU>Internals
Labels: Test-Predator-Auto-Components
Automatically applying components based on crash stacktrace and information from OWNERS files.

If this is incorrect, please apply the Test-Predator-Wrong-Components label.
Project Member

Comment 2 by ClusterFuzz, Nov 9

Cc: dsinclair@chromium.org vmi...@chromium.org piman@chromium.org
Labels: ClusterFuzz-Auto-CC
Automatically adding ccs based on OWNERS file / target commit history.

If this is incorrect, please add ClusterFuzz-Wrong label.
Project Member

Comment 3 by ClusterFuzz, Nov 9

Cc: alanbaker@google.com
Labels: Test-Predator-Auto-CC
Automatically adding ccs based on suspected regression changelists:

Move cfg opcode validation to another file. by alanbaker@google.com - https://chromium.googlesource.com/external/github.com/KhronosGroup/SPIRV-Tools/+/6cd4441c878699d6f59b0ba73cbbdc80ae9ec28f

Fixing heap overflow in validation. by alanbaker@google.com - https://chromium.googlesource.com/external/github.com/KhronosGroup/SPIRV-Tools/+/397e02442e63781f66c70978fffab7551fdadf3f

Split function opcode validation into new files. by alanbaker@google.com - https://chromium.googlesource.com/external/github.com/KhronosGroup/SPIRV-Tools/+/e7fdcdba75eda1f5a70d689cf50628389efa3ed0

If this is incorrect, please let us know why and apply the Test-Predator-Wrong-CLs label.
Cc: thakis@chromium.org
Owner: dneto@chromium.org
Status: Assigned (was: Untriaged)
Over to dneto@ who has made changes in this area recently. Can you help find an owner?
You probably meant to cc someone else?
Cc: -alanbaker@google.com -thakis@chromium.org dn...@google.com
Owner: alanbaker@google.com
Status: Started (was: Assigned)
Project Member

Comment 9 by ClusterFuzz, Nov 17

ClusterFuzz has detected this issue as fixed in range 609045:609061.

Detailed report: https://clusterfuzz.com/testcase?key=5963065668141056

Fuzzer: libFuzzer_spvtools_val_fuzzer
Job Type: libfuzzer_chrome_ubsan
Platform Id: linux

Crash Type: Null-dereference READ
Crash Address: 0x00000000003a
Crash State:
  spvtools::val::Instruction::opcode
  spvtools::val::ValidationState_t::IsBoolScalarType
  spvtools::val::ValidateBranchConditional
  
Sanitizer: undefined (UBSAN)

Regressed: https://clusterfuzz.com/revisions?job=libfuzzer_chrome_ubsan&range=583093:583103
Fixed: https://clusterfuzz.com/revisions?job=libfuzzer_chrome_ubsan&range=609045:609061

Reproducer Testcase: https://clusterfuzz.com/download?testcase_id=5963065668141056

See https://chromium.googlesource.com/chromium/src/+/master/testing/libfuzzer/reference.md for more information.

If you suspect that the result above is incorrect, try re-doing that job on the test case report page.
Project Member

Comment 10 by ClusterFuzz, Nov 17

Labels: ClusterFuzz-Verified
Status: Verified (was: Started)
ClusterFuzz testcase 5963065668141056 is verified as fixed, so closing issue as verified.

If this is incorrect, please add ClusterFuzz-Wrong label and re-open the issue.

Sign in to add a comment