Android, Java und Groovy nutzen alle den TimSort-Algorithmus. Informatiker eines Verbundprojekts konnten mit Hilfe eines von ihnen entwickelten Tools nun einen Fehler in der Implementierung feststellen und beheben.
Fehler in Standardsortieralgorithmus mit formalen Methoden aufgedeckt
from heise Security
