Miggo Logo

CVE-2022-23583: `CHECK`-failures in binary ops in Tensorflow

6.5

CVSS Score
3.1

Basic Information

EPSS Score
0.43492%
Published
2/10/2022
Updated
11/7/2024
KEV Status
No
Technology
TechnologyPython

Technical Details

CVSS Vector
CVSS:3.1/AV:N/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
Package NameEcosystemVulnerable VersionsFirst Patched Version
tensorflowpip< 2.5.32.5.3
tensorflowpip>= 2.6.0, < 2.6.32.6.3
tensorflowpip= 2.7.02.7.1
tensorflow-cpupip< 2.5.32.5.3
tensorflow-cpupip>= 2.6.0, < 2.6.32.6.3
tensorflow-cpupip= 2.7.02.7.1
tensorflow-gpupip< 2.5.32.5.3
tensorflow-gpupip>= 2.6.0, < 2.6.32.6.3
tensorflow-gpupip= 2.7.02.7.1

Vulnerability Intelligence
Miggo AIMiggo AI

Miggo AIRoot Cause Analysis

The vulnerability stems from the unvalidated tensor dtypes in BinaryOp's Compute implementation. The patched commit adds explicit OP_REQUIRES checks for input_0.dtype() and input_1.dtype(), confirming the absence of these checks in the vulnerable version. The code snippet in the advisory shows the templated binary operator being called without prior dtype validation, making this function the root cause.

Vulnerable functions

Only Mi**o us*rs **n s** t*is s**tion

WAF Protection Rules

WAF Rule

### Imp**t * m*li*ious us*r **n **us* * **ni*l o* s*rvi** *y *lt*rin* * `S*v**Mo**l` su** t**t [*ny *in*ry op](*ttps://*it*u*.*om/t*nsor*low/t*nsor*low/*lo*/****************************************/t*nsor*low/*or*/k*rn*ls/*wis*_ops_*ommon.*#L**-L***)

Reasoning

T** vuln*r**ility st*ms *rom t** unv*li**t** t*nsor *typ*s in *in*ryOp's *omput* impl*m*nt*tion. T** p*t**** *ommit ***s *xpli*it OP_R*QUIR*S ****ks *or input_*.*typ*() *n* input_*.*typ*(), *on*irmin* t** **s*n** o* t**s* ****ks in t** vuln*r**l* v*r