There is a typo in TensorFlow's SpecializeType
which results in heap OOB read/write:
for (int i = 0; i < op_def.output_arg_size(); i++) {
// ...
for (int j = 0; j < t->args_size(); j++) {
auto* arg = t->mutable_args(i);
// ...
}
}
Due to a typo, arg
is initialized to the i
th mutable argument in a loop where the loop index is j
. Hence it is possible to assign to arg
from outside the vector of arguments. Since this is a mutable proto value, it allows both read and write to outside of bounds data.
We have patched the issue in GitHub commit 0657c83d08845cc434175934c642299de2c0f042.
The fix will be included in TensorFlow 2.8.0. We will also cherrypick this commit on TensorFlow 2.7.1, and TensorFlow 2.6.3, as these are also affected and still in supported range.
Please consult our security guide for more information regarding the security model and how to contact us with issues and questions.
{ "nvd_published_at": "2022-02-04T23:15:00Z", "cwe_ids": [ "CWE-125", "CWE-787" ], "severity": "HIGH", "github_reviewed": true, "github_reviewed_at": "2022-02-04T19:12:26Z" }