TensorFlow is an end-to-end open source platform for machine learning. In affected versions the strided slice implementation in TFLite has a logic bug which can allow an attacker to trigger an infinite loop. This arises from newly introduced support for ellipsis in axis definition. An attacker can craft a model such that ellipsis_end_idx is smaller than i (e.g., always negative). In this case, the inner loop does not increase i and the continue statement causes execution to skip over the preincrement at the end of the outer loop. We have patched the issue in GitHub commit dfa22b348b70bb89d6d6ec0ff53973bacb4f4695. TensorFlow 2.6.0 is the only affected version.
The product contains an iteration or loop with an exit condition that cannot be reached, i.e., an infinite loop.
| Name | Vendor | Start Version | End Version |
|---|---|---|---|
| Tensorflow | 2.3.0 (including) | 2.3.4 (excluding) | |
| Tensorflow | 2.4.0 (including) | 2.4.3 (excluding) | |
| Tensorflow | 2.5.0 (including) | 2.5.0 (including) | |
| Tensorflow | 2.6.0-rc0 (including) | 2.6.0-rc0 (including) | |
| Tensorflow | 2.6.0-rc1 (including) | 2.6.0-rc1 (including) | |
| Tensorflow | 2.6.0-rc2 (including) | 2.6.0-rc2 (including) |