`CHECK` failure in `SobolSample` via missing validation in TensorFlow

Summary

TensorFlow is an open source platform for machine learning. The implementation of SobolSampleOp is vulnerable to a denial of service via CHECK-failure (assertion failure) caused by assuming `input(0)`, `input(1)`, and `input(2)` to be scalar. This issue has been patched in GitHub commit c65c67f88ad770662e8f191269a907bf2b94b1bf. The fix will be included in TensorFlow 2.10.0. We will also cherrypick this commit on TensorFlow 2.9.1, TensorFlow 2.8.1, and TensorFlow 2.7.2, as these are also affected and still in supported range. There are no known workarounds for this issue.

Timeline

1. Sep 16, 2022, 7:35 PM UTCCVE published
2. Apr 23, 2025, 2:00 PM UTCCISA SSVC assessment

   Exploitation: none · Automatable: no · Technical impact: partial

3. Apr 23, 2025, 5:04 PM UTCRecord last updated

Affected versions

• tensorflow tensorflow

  fixed in 2.7.2; From 2.8.0 · fixed in 2.8.1; From 2.9.0 · fixed in 2.9.1

• tensorflow-gpuPyPI

  fixed in 2.7.2; From 2.8.0 · fixed in 2.8.1; From 2.9.0 · fixed in 2.9.1

• tensorflowPyPI

  fixed in 2.7.2

• tensorflowPyPI

  From 2.8.0 · fixed in 2.8.1

• tensorflowPyPI

  From 2.9.0 · fixed in 2.9.1

• tensorflow-cpuPyPI

  fixed in 2.7.2

• tensorflow-cpuPyPI

  From 2.8.0 · fixed in 2.8.1

• tensorflow-cpuPyPI

  From 2.9.0 · fixed in 2.9.1

• tensorflow-gpuPyPI

  fixed in 2.7.2

• tensorflow-gpuPyPI

  From 2.8.0 · fixed in 2.8.1

• tensorflow-gpuPyPI

  From 2.9.0 · fixed in 2.9.1

• tensorflow-cpuPyPI

  fixed in 2.7.2; From 2.8.0 · fixed in 2.8.1; From 2.9.0 · fixed in 2.9.1

• tensorflowPyPI

  fixed in 2.7.2; From 2.8.0 · fixed in 2.8.1; From 2.9.0 · fixed in 2.9.1

References 2