CHECK-fail in DrawBoundingBoxes
Package
Affected versions
< 2.1.4
>= 2.2.0, < 2.2.3
>= 2.3.0, < 2.3.3
>= 2.4.0, < 2.4.2
Patched versions
2.1.4
2.2.3
2.3.3
2.4.2
< 2.1.4
>= 2.2.0, < 2.2.3
>= 2.3.0, < 2.3.3
>= 2.4.0, < 2.4.2
2.1.4
2.2.3
2.3.3
2.4.2
< 2.1.4
>= 2.2.0, < 2.2.3
>= 2.3.0, < 2.3.3
>= 2.4.0, < 2.4.2
2.1.4
2.2.3
2.3.3
2.4.2
Description
Published by the National Vulnerability Database
May 14, 2021
Reviewed
May 18, 2021
Published to the GitHub Advisory Database
May 21, 2021
Last updated
Oct 30, 2024
Impact
An attacker can trigger a denial of service via a
CHECK
failure by passing an empty image totf.raw_ops.DrawBoundingBoxes
:This is because the implementation uses
CHECK_*
assertions instead ofOP_REQUIRES
to validate user controlled inputs. WhereasOP_REQUIRES
allows returning an error condition back to the user, theCHECK_*
macros result in a crash if the condition is false, similar toassert
.In this case,
height
is 0 from theimages
input. This results inmax_box_row_clamp
being negative and the assertion being falsified, followed by aborting program execution.Patches
We have patched the issue in GitHub commit b432a38fe0e1b4b904a6c222cbce794c39703e87.
The fix will be included in TensorFlow 2.5.0. We will also cherrypick this commit on TensorFlow 2.4.2, TensorFlow 2.3.3, TensorFlow 2.2.3 and TensorFlow 2.1.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 Yakun Zhang and Ying Wang of Baidu X-Team.
References