CVE-2020-15212

TensorFlow Lite-ın 2.2.1 və 2.3.1 versiyalarından əvvəlki versiyalarında, segment cəmindən istifadə edən modellər, segment id-ləri tensoruna mənfi elementlər daxil etməklə yığınla (heap) ayrılmış buferlərin sərhədləri xaricində yazılmaları tətikləyə bilər. `segment_ids_data`-ya giriş imkanı olan istifadəçilər `output_index`-i dəyişdirə və daha sonra `output_data` buferi xaricində yazıla bilərlər. Bu, seqmentasiya xətasına (segmentation fault) səbəb ola bilər, lakin həmçinin yaddaşı daha da korlamaq üçün istifadə edilə bilər və daha mürəkkəb eksploytlar yaratmaq üçün digər boşluqlarla birləşdirilə bilər. Problem 204945b19e44b57906c9344c0d00120eeeae178a commit-də düzəldilmiş və TensorFlow-nun 2.2.1 və ya 2.3.1 versiyalarında buraxılmışdır. Potensial müvəqqəti həll yolu kimi, bütün segment id-lərinin müsbət olduğundan əmin olmaq üçün model yükləmə koduna xüsusi bir `Verifier` əlavə etmək olar, lakin bu yalnız segment id-lərinin modeldə statik şəkildə saxlandığı halda kömək edir. Əgər segment id-ləri çıxarış (inference) mərhələləri arasında iş vaxtı (runtime) generasiya olunursa, oxşar validasiya həyata keçirilə bilər. Əgər segment id-ləri çıxarış mərhələləri zamanı bir tensorun çıxışları kimi generasiya olunursa, heç bir müvəqqəti həll yolu yoxdur və istifadəçilərə yenilənmiş koda keçid etmək tövsiyə olunur.