🇰🇷 한글 설명
TensorFlow의 tf.raw_ops.DrawBoundingBoxes 함수에 빈 이미지를 전달할 경우 CHECK 실패로 인해 서비스 거부(DoS)가 발생할 수 있습니다. 이는 사용자 입력 검증 시 오류를 반환하는 OP_REQUIRES 대신 프로그램 실행을 중단시키는 CHECK_* 매크로를 사용하기 때문입니다. 이로 인해 프로그램이 비정상적으로 종료될 수 있습니다.
💡 쉬운 설명
머신러닝 도구인 TensorFlow에서 잘못된 이미지 데이터를 입력하면 프로그램이 오류를 내는 대신 갑자기 꺼져버리는 문제입니다. 공격자가 이를 이용해 서버를 멈추게 만들 수 있습니다.
🇺🇸 원문 (English)
TensorFlow is an end-to-end open source platform for machine learning. An attacker can trigger a denial of service via a `CHECK` failure by passing an empty image to `tf.raw_ops.DrawBoundingBoxes`. This is because the implementation(https://github.com/tensorflow/tensorflow/blob/ea34a18dc3f5c8d80a40ccca1404f343b5d55f91/tensorflow/core/kernels/image/draw_bounding_box_op.cc#L148-L165) uses `CHECK_*` assertions instead of `OP_REQUIRES` to validate user controlled inputs. Whereas `OP_REQUIRES` allows returning an error condition back to the user, the `CHECK_*` macros result in a crash if the condition is false, similar to `assert`. In this case, `height` is 0 from the `images` input. This results in `max_box_row_clamp` being negative and the assertion being falsified, followed by aborting program execution. 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.
📍 영향받는 시스템
TensorFlow 2.5.0 미만 버전 (2.4.2, 2.3.3, 2.2.3, 2.1.4 포함)
⚔️ 공격 벡터
tf.raw_ops.DrawBoundingBoxes 함수에 높이가 0인 빈 이미지를 입력하여 프로그램 강제 종료 유도
🛡️ 대응 방법
TensorFlow를 2.5.0 이상의 최신 버전으로 업데이트하거나 해당 패치가 적용된 버전으로 업그레이드
🔧 검증 코드
출력된 버전 번호가 2.5.0보다 낮은지 확인하여 취약 여부를 판단합니다.
python3 -c 'import tensorflow as tf; print(tf.__version__)'