CVE-2021-29593: Division by zero in TFLite's implementation of `BatchToSpaceNd`
(updated )
The implementation of the BatchToSpaceNd TFLite operator is vulnerable to a division by zero error:
TF_LITE_ENSURE_EQ(context, output_batch_size % block_shape[dim], 0);
output_batch_size = output_batch_size / block_shape[dim];
An attacker can craft a model such that one dimension of the block input is 0. Hence, the corresponding value in block_shape is 0.
References
- github.com/advisories/GHSA-cfx7-2xpc-8w4h
- github.com/pypa/advisory-database/tree/main/vulns/tensorflow-cpu/PYSEC-2021-521.yaml
- github.com/pypa/advisory-database/tree/main/vulns/tensorflow-gpu/PYSEC-2021-719.yaml
- github.com/pypa/advisory-database/tree/main/vulns/tensorflow/PYSEC-2021-230.yaml
- github.com/tensorflow/tensorflow
- github.com/tensorflow/tensorflow/blob/b5ed552fe55895aee8bd8b191f744a069957d18d/tensorflow/lite/kernels/batch_to_space_nd.cc
- github.com/tensorflow/tensorflow/commit/2c74674348a4708ced58ad6eb1b23354df8ee044
- github.com/tensorflow/tensorflow/security/advisories/GHSA-cfx7-2xpc-8w4h
- nvd.nist.gov/vuln/detail/CVE-2021-29593
Code Behaviors & Features
Detect and mitigate CVE-2021-29593 with GitLab Dependency Scanning
Secure your software supply chain by verifying that all open source dependencies used in your projects contain no disclosed vulnerabilities. Dependency Scanning using SBOM also detects vulnerabilities from proprietary advisories that this site does not include. Learn more about Dependency Scanning using SBOM →