Incomplete validation of shapes in multiple TF ops

Summary

TensorFlow is an open source platform for machine learning. In affected versions several TensorFlow operations are missing validation for the shapes of the tensor arguments involved in the call. Depending on the API, this can result in undefined behavior and segfault or `CHECK`-fail related crashes but in some scenarios writes and reads from heap populated arrays are also possible. We have discovered these issues internally via tooling while working on improving/testing GPU op determinism. As such, we don't have reproducers and there will be multiple fixes for these issues. These fixes will be included in TensorFlow 2.7.0. We will also cherrypick these commits on TensorFlow 2.6.1, TensorFlow 2.5.2, and TensorFlow 2.4.4, as these are also affected and still in supported range.

Timeline

1. Nov 5, 2021, 10:05 PM UTCCVE published
2. Aug 4, 2024, 3:08 AM UTCRecord last updated

Affected versions

• tensorflow tensorflow

  From 2.6.0 · fixed in 2.6.1; From 2.5.0 · fixed in 2.5.2; fixed in 2.4.4

• tensorflow-gpuPyPI

  fixed in 2.4.4; From 2.5.0 · fixed in 2.5.2; From 2.6.0 · fixed in 2.6.1

• tensorflowPyPI

  From 2.6.0 · fixed in 2.6.1

• tensorflowPyPI

  From 2.5.0 · fixed in 2.5.2

• tensorflowPyPI

  fixed in 2.4.4

• tensorflow-cpuPyPI

  From 2.6.0 · fixed in 2.6.1

• tensorflow-cpuPyPI

  From 2.5.0 · fixed in 2.5.2

• tensorflow-cpuPyPI

  fixed in 2.4.4

• tensorflow-gpuPyPI

  From 2.6.0 · fixed in 2.6.1

• tensorflow-gpuPyPI

  From 2.5.0 · fixed in 2.5.2

• tensorflow-gpuPyPI

  fixed in 2.4.4

• tensorflowPyPI

  fixed in 2.4.4; From 2.5.0 · fixed in 2.5.2; From 2.6.0 · fixed in 2.6.1

• tensorflow-cpuPyPI

  fixed in 2.4.4; From 2.5.0 · fixed in 2.5.2; From 2.6.0 · fixed in 2.6.1

References 7