Описание
Missing validation causes denial of service via UnsortedSegmentJoin
Impact
The implementation of tf.raw_ops.UnsortedSegmentJoin does not fully validate the input arguments. This results in a CHECK-failure which can be used to trigger a denial of service attack:
The code assumes num_segments is a scalar but there is no validation for this before accessing its value:
Patches
We have patched the issue in GitHub commit 13d38a07ce9143e044aa737cfd7bb759d0e9b400.
The fix will be included in TensorFlow 2.9.0. We will also cherrypick this commit on TensorFlow 2.8.1, TensorFlow 2.7.2, and TensorFlow 2.6.4, as these are also affected and still in supported range.
For more information
Please consult our security guide for more information regarding the security model and how to contact us with issues and questions.
Attribution
This vulnerability has been reported by Neophytos Christou from Secure Systems Lab at Brown University.
Ссылки
- https://github.com/tensorflow/tensorflow/security/advisories/GHSA-hrg5-737c-2p56
- https://nvd.nist.gov/vuln/detail/CVE-2022-29197
- https://github.com/tensorflow/tensorflow/commit/13d38a07ce9143e044aa737cfd7bb759d0e9b400
- https://github.com/tensorflow/tensorflow/blob/f3b9bf4c3c0597563b289c0512e98d4ce81f886e/tensorflow/core/kernels/unsorted_segment_join_op.cc#L92-L95
- https://github.com/tensorflow/tensorflow/releases/tag/v2.6.4
- https://github.com/tensorflow/tensorflow/releases/tag/v2.7.2
- https://github.com/tensorflow/tensorflow/releases/tag/v2.8.1
- https://github.com/tensorflow/tensorflow/releases/tag/v2.9.0
Пакеты
tensorflow
< 2.6.4
2.6.4
tensorflow
>= 2.7.0, < 2.7.2
2.7.2
tensorflow
>= 2.8.0, < 2.8.1
2.8.1
tensorflow-cpu
< 2.6.4
2.6.4
tensorflow-cpu
>= 2.7.0, < 2.7.2
2.7.2
tensorflow-cpu
>= 2.8.0, < 2.8.1
2.8.1
tensorflow-gpu
< 2.6.4
2.6.4
tensorflow-gpu
>= 2.7.0, < 2.7.2
2.7.2
tensorflow-gpu
>= 2.8.0, < 2.8.1
2.8.1
Связанные уязвимости
TensorFlow is an open source platform for machine learning. Prior to versions 2.9.0, 2.8.1, 2.7.2, and 2.6.4, the implementation of `tf.raw_ops.UnsortedSegmentJoin` does not fully validate the input arguments. This results in a `CHECK`-failure which can be used to trigger a denial of service attack. The code assumes `num_segments` is a scalar but there is no validation for this before accessing its value. Versions 2.9.0, 2.8.1, 2.7.2, and 2.6.4 contain a patch for this issue.
TensorFlow is an open source platform for machine learning. Prior to v ...