VYPR
Low severityNVD Advisory· Published May 14, 2021· Updated Aug 3, 2024

Heap buffer overflow in `QuantizedMul`

CVE-2021-29535

Description

TensorFlow is an end-to-end open source platform for machine learning. An attacker can cause a heap buffer overflow in QuantizedMul by passing in invalid thresholds for the quantization. This is because the implementation(https://github.com/tensorflow/tensorflow/blob/87cf4d3ea9949051e50ca3f071fc909538a51cd0/tensorflow/core/kernels/quantized_mul_op.cc#L287-L290) assumes that the 4 arguments are always valid scalars and tries to access the numeric value directly. However, if any of these tensors is empty, then .flat<T>() is an empty buffer and accessing the element at position 0 results in overflow. 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.

Affected packages

Versions sourced from the GitHub Security Advisory.

PackageAffected versionsPatched versions
tensorflowPyPI
< 2.1.42.1.4
tensorflowPyPI
>= 2.2.0, < 2.2.32.2.3
tensorflowPyPI
>= 2.3.0, < 2.3.32.3.3
tensorflowPyPI
>= 2.4.0, < 2.4.22.4.2
tensorflow-cpuPyPI
< 2.1.42.1.4
tensorflow-cpuPyPI
>= 2.2.0, < 2.2.32.2.3
tensorflow-cpuPyPI
>= 2.3.0, < 2.3.32.3.3
tensorflow-cpuPyPI
>= 2.4.0, < 2.4.22.4.2
tensorflow-gpuPyPI
< 2.1.42.1.4
tensorflow-gpuPyPI
>= 2.2.0, < 2.2.32.2.3
tensorflow-gpuPyPI
>= 2.3.0, < 2.3.32.3.3
tensorflow-gpuPyPI
>= 2.4.0, < 2.4.22.4.2

Affected products

1

Patches

1
efea03b38fb8

Validate inputs to `QuantizedMul`

https://github.com/tensorflow/tensorflowMihai MaruseacApr 21, 2021via ghsa
1 file changed · +16 4
  • tensorflow/core/kernels/quantized_mul_op.cc+16 4 modified
    @@ -284,10 +284,22 @@ class QuantizedMulOp : public OpKernel {
       void Compute(OpKernelContext* context) override {
         const Tensor& x = context->input(0);
         const Tensor& y = context->input(1);
    -    const float min_x = context->input(2).flat<float>()(0);
    -    const float max_x = context->input(3).flat<float>()(0);
    -    const float min_y = context->input(4).flat<float>()(0);
    -    const float max_y = context->input(5).flat<float>()(0);
    +    auto& min_x_tensor = context->input(2);
    +    OP_REQUIRES(context, TensorShapeUtils::IsScalar(min_x_tensor.shape()),
    +                errors::InvalidArgument("min_x must be a scalar"));
    +    const float min_x = min_x_tensor.flat<float>()(0);
    +    auto& max_x_tensor = context->input(3);
    +    OP_REQUIRES(context, TensorShapeUtils::IsScalar(max_x_tensor.shape()),
    +                errors::InvalidArgument("max_x must be a scalar"));
    +    const float max_x = max_x_tensor.flat<float>()(0);
    +    auto& min_y_tensor = context->input(4);
    +    OP_REQUIRES(context, TensorShapeUtils::IsScalar(min_y_tensor.shape()),
    +                errors::InvalidArgument("min_y must be a scalar"));
    +    const float min_y = min_y_tensor.flat<float>()(0);
    +    auto& max_y_tensor = context->input(5);
    +    OP_REQUIRES(context, TensorShapeUtils::IsScalar(max_y_tensor.shape()),
    +                errors::InvalidArgument("max_y must be a scalar"));
    +    const float max_y = max_y_tensor.flat<float>()(0);
     
         BCast bcast(BCast::FromShape(x.shape()), BCast::FromShape(y.shape()));
         if (!bcast.IsValid()) {
    

Vulnerability mechanics

Generated by null/stub on May 9, 2026. Inputs: CWE entries + fix-commit diffs from this CVE's patches. Citations validated against bundle.

References

7

News mentions

0

No linked articles in our index yet.