{"id":"BIT-tensorflow-2020-15200","summary":"Segfault in Tensorflow","details":"In Tensorflow before version 2.3.1, the `RaggedCountSparseOutput` implementation does not validate that the input arguments form a valid ragged tensor. In particular, there is no validation that the values in the `splits` tensor generate a valid partitioning of the `values` tensor. Thus, the code sets up conditions to cause a heap buffer overflow. A `BatchedMap` is equivalent to a vector where each element is a hashmap. However, if the first element of `splits_values` is not 0, `batch_idx` will never be 1, hence there will be no hashmap at index 0 in `per_batch_counts`. Trying to access that in the user code results in a segmentation fault. The issue is patched in commit 3cbb917b4714766030b28eba9fb41bb97ce9ee02 and is released in TensorFlow version 2.3.1.","aliases":["CVE-2020-15200","GHSA-x7rp-74x2-mjf3","PYSEC-2020-123","PYSEC-2020-280","PYSEC-2020-315"],"modified":"2025-05-20T10:02:07.006Z","published":"2024-03-06T11:20:39.865Z","database_specific":{"severity":"Medium","cpes":["cpe:2.3:a:google:tensorflow:2.3.0:*:*:*:-:*:*:*","cpe:2.3:a:google:tensorflow:*:*:*:*:-:*:*:*"]},"references":[{"type":"WEB","url":"https://github.com/tensorflow/tensorflow/commit/3cbb917b4714766030b28eba9fb41bb97ce9ee02"},{"type":"WEB","url":"https://github.com/tensorflow/tensorflow/releases/tag/v2.3.1"},{"type":"WEB","url":"https://github.com/tensorflow/tensorflow/security/advisories/GHSA-x7rp-74x2-mjf3"},{"type":"WEB","url":"https://nvd.nist.gov/vuln/detail/CVE-2020-15200"}],"affected":[{"package":{"name":"tensorflow","ecosystem":"Bitnami","purl":"pkg:bitnami/tensorflow"},"ranges":[{"type":"SEMVER","events":[{"introduced":"2.3.0"},{"fixed":"2.3.1"}]}],"database_specific":{"source":"https://github.com/bitnami/vulndb/tree/main/data/tensorflow/BIT-tensorflow-2020-15200.json"},"severity":[{"type":"CVSS_V3","score":"CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:N/A:H"}]}],"schema_version":"1.7.3"}