CVE-2020-26271

Nelle versioni interessate di TensorFlow, in alcuni casi, il caricamento di un modello salvato può comportare l'accesso a memoria non inizializzata durante la costruzione del grafo di calcolo. La funzione MakeEdge crea un collegamento tra un tensore di output del nodo src (indicato da output_index) e lo slot di input del nodo dst (indicato da input_index). Ciò è possibile solo se i tipi dei tensori su entrambe le estremità coincidono, quindi la funzione inizia ottenendo i corrispondenti valori DataType e confrontandoli per verificare l'uguaglianza. Tuttavia, non viene effettuato alcun controllo che gli indici puntino all’interno degli array a cui fanno riferimento. Di conseguenza, questo può portare all'accesso a dati fuori dai limiti degli array allocati sul heap corrispondente. Nella maggior parte dei casi, ciò si manifesta come accesso a dati non inizializzati, ma se l’indice si trova molto lontano dai confini degli array, può essere sfruttato per rivelare indirizzi dalla libreria. Questo problema è stato risolto nelle versioni 1.15.5, 2.0.4, 2.1.3, 2.2.2, 2.3.2 e 2.4.0.