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

Issue 875842 link

Starred by 1 user

Issue metadata

Status: Verified
Owner:
Last visit 18 days ago
Closed: Aug 23
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, Aug 20

Issue description

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

Fuzzer: afl_spvtools_opt_performance_fuzzer
Job Type: afl_chrome_asan
Platform Id: linux

Crash Type: Null-dereference READ
Crash Address: 0x00000000003a
Crash State:
  spvtools::val::Instruction::opcode
  spvtools::val::ValidationState_t::IsIntScalarType
  spvtools::val::ValidationState_t::EvalInt32IfConst
  
Sanitizer: address (ASAN)

Regressed: https://clusterfuzz.com/revisions?job=afl_chrome_asan&range=581965:581976

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

Issue filed automatically.

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

Comment 1 by ClusterFuzz, Aug 20

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, Aug 20

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

Refactor where opcodes are validated by alanbaker@google.com - https://chromium.googlesource.com/external/github.com/KhronosGroup/SPIRV-Tools/+/2896b8f0e5f85a726d724d46c0641529280a7a31

Move type instruction validation into separate file by alanbaker@google.com - https://chromium.googlesource.com/external/github.com/KhronosGroup/SPIRV-Tools/+/f2a990022a4b99d11c5fd0567a7c16f67d4e3b59

If this is incorrect, please let us know why and apply the Test-Predator-Wrong-CLs label.
Cc: -alanbaker@google.com
Owner: alanbaker@google.com
Status: Started (was: Untriaged)
Project Member

Comment 5 by ClusterFuzz, Aug 28

ClusterFuzz has detected this issue as fixed in range 586270:586273.

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

Fuzzer: afl_spvtools_opt_performance_fuzzer
Job Type: afl_chrome_asan
Platform Id: linux

Crash Type: Null-dereference READ
Crash Address: 0x00000000003a
Crash State:
  spvtools::val::Instruction::opcode
  spvtools::val::ValidationState_t::IsIntScalarType
  spvtools::val::ValidationState_t::EvalInt32IfConst
  
Sanitizer: address (ASAN)

Regressed: https://clusterfuzz.com/revisions?job=afl_chrome_asan&range=581965:581976
Fixed: https://clusterfuzz.com/revisions?job=afl_chrome_asan&range=586270:586273

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

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 6 by ClusterFuzz, Aug 28

Labels: ClusterFuzz-Verified
Status: Verified (was: Fixed)
ClusterFuzz testcase 5085742930591744 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