`CHECK`-failures in `TensorByteSize` in Tensorflow

Summary

Tensorflow is an Open Source Machine Learning Framework. A malicious user can cause a denial of service by altering a `SavedModel` such that `TensorByteSize` would trigger `CHECK` failures. `TensorShape` constructor throws a `CHECK`-fail if shape is partial or has a number of elements that would overflow the size of an `int`. The `PartialTensorShape` constructor instead does not cause a `CHECK`-abort if the shape is partial, which is exactly what this function needs to be able to return `-1`. The fix will be included in TensorFlow 2.8.0. We will also cherrypick this commit on TensorFlow 2.7.1, TensorFlow 2.6.3, and TensorFlow 2.5.3, as these are also affected and still in supported range.

Timeline

1. Feb 4, 2022, 10:32 PM UTCCVE published
2. Apr 22, 2025, 3:51 PM UTCCISA SSVC assessment

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

3. Apr 22, 2025, 6:26 PM UTCRecord last updated

Affected versions

• tensorflow tensorflow

  From 2.7.0 · fixed in 2.7.1; From 2.6.0 · fixed in 2.6.3; fixed in 2.5.3

• tensorflowPyPI

  fixed in 2.5.3

• tensorflowPyPI

  From 2.6.0 · fixed in 2.6.3

• tensorflowPyPI

  From 2.7.0 · fixed in 2.7.1

• tensorflow-cpuPyPI

  fixed in 2.5.3

• tensorflow-cpuPyPI

  From 2.6.0 · fixed in 2.6.3

• tensorflow-cpuPyPI

  From 2.7.0 · fixed in 2.7.1

• tensorflow-gpuPyPI

  fixed in 2.5.3

• tensorflow-gpuPyPI

  From 2.6.0 · fixed in 2.6.3

• tensorflow-gpuPyPI

  From 2.7.0 · fixed in 2.7.1

• tensorflow-gpuPyPI

  fixed in 2.5.3; From 2.6.0 · fixed in 2.6.3

• tensorflow-cpuPyPI

  fixed in 2.5.3; From 2.6.0 · fixed in 2.6.3

• tensorflowPyPI

  fixed in 2.5.3; From 2.6.0 · fixed in 2.6.3; From 2.7.0 · fixed in 2.7.1

References 3