CVE-2021-29543: CHECK-fail in `CTCGreedyDecoder`
2.5
CVSS Score
3.1
Basic Information
CVE ID
GHSA ID
EPSS Score
0.01803%
CWE
Published
5/21/2021
Updated
10/31/2024
KEV Status
No
Technology
Python
Technical Details
CVSS Vector
CVSS:3.1/AV:L/AC:H/PR:L/UI:N/S:U/C:N/I:N/A:L
Package Name | Ecosystem | Vulnerable Versions | First Patched Version |
---|---|---|---|
tensorflow | pip | < 2.1.4 | 2.1.4 |
tensorflow | pip | >= 2.2.0, < 2.2.3 | 2.2.3 |
tensorflow | pip | >= 2.3.0, < 2.3.3 | 2.3.3 |
tensorflow | pip | >= 2.4.0, < 2.4.2 | 2.4.2 |
tensorflow-cpu | pip | < 2.1.4 | 2.1.4 |
tensorflow-cpu | pip | >= 2.2.0, < 2.2.3 | 2.2.3 |
tensorflow-cpu | pip | >= 2.3.0, < 2.3.3 | 2.3.3 |
tensorflow-cpu | pip | >= 2.4.0, < 2.4.2 | 2.4.2 |
tensorflow-gpu | pip | < 2.1.4 | 2.1.4 |
tensorflow-gpu | pip | >= 2.2.0, < 2.2.3 | 2.2.3 |
tensorflow-gpu | pip | >= 2.3.0, < 2.3.3 | 2.3.3 |
tensorflow-gpu | pip | >= 2.4.0, < 2.4.2 | 2.4.2 |
Vulnerability Intelligence
Miggo AI
Root Cause Analysis
The vulnerability stems from the original implementation in CTCGreedyDecoderOp::Compute where a CHECK_LT assertion was used to validate indices without prior input validation. The provided exploit uses an input with shape [18, 2, 0], causing dimension(1) to be 0. The loop in Compute attempts to access input_list_t[t] without checking if dimension(1) > 0 first, leading to a CHECK failure. The patch adds an OP_REQUIRES check for this condition, confirming this as the vulnerable code path.