Type confusion leading to segfault in Tensorflow

Summary

Tensorflow is an Open Source Machine Learning Framework. The implementation of shape inference for `ConcatV2` can be used to trigger a denial of service attack via a segfault caused by a type confusion. The `axis` argument is translated into `concat_dim` in the `ConcatShapeHelper` helper function. Then, a value for `min_rank` is computed based on `concat_dim`. This is then used to validate that the `values` tensor has at least the required rank. However, `WithRankAtLeast` receives the lower bound as a 64-bits value and then compares it against the maximum 32-bits integer value that could be represented. Due to the fact that `min_rank` is a 32-bits value and the value of `axis`, the `rank` argument is a negative value, so the error check is bypassed. 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 3, 2022, 11:37 AM UTCCVE published
2. Apr 25, 2025, 3:47 PM UTCCISA SSVC assessment

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

3. May 5, 2025, 4:32 PM UTCRecord last updated

Affected versions

• n/a n/a

  Version range not reported

• tensorflow-gpuPyPI

  fixed in 2.5.3; From 2.6.0 · fixed in 2.6.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-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 4