In den Konfigurationsdateien von curl wurde zufällig die Turing-Vollständigkeit implementiert

Es wurde festgestellt, dass es möglich ist, beliebige berechenbare Funktionen durch Konstruktionen in den Konfigurationsdateien des Curl-Tools zu erstellen. Dieses Merkmal tritt nur in den Curl-Versionen 8.12-8.16 auf und wird durch die unbeabsichtigte Implementierung der Turing-Vollständigkeit verursacht, die es ermöglicht, Turing-Maschinen zu erstellen, indem man die Möglichkeit nutzt, Byte-Bereiche aus den Werten von Variablen zu extrahieren und eine unbegrenzte Verschachteltiefe bei der Anbindung externer Konfigurationsdateien zu verwenden.

Als Beispiel wurde mit Curl eine Simulation einer Zweizähler-Registermaschine (Minsk-Maschine) für die Addition von Zahlen und die Umsetzung des Programms „99 Flaschen Bier“ organisiert, das beim Erlernen des Umgangs mit Schleifen verwendet wird. Um das über Konfigurationsdateien programmierte Programm auszuführen, muss man lediglich das Archiv entpacken und den Befehl „curl -q -s -K 99_bottles/main.conf“ ausführen.

Die Registermaschine wird simuliert, indem der Wert des Zählers als Zeichenkette aus „n“ Zeichen „x“ dargestellt wird. Die Inkrement- und Dekrement-Operationen werden durch Verkettung und Kürzen von Zeichenfolgen umgesetzt (Syntax „[0-0]“ zum Beibehalten des ersten Bytes und „[1-]“ zum Beibehalten des gesamten Inhalts außer dem ersten Byte), und die Übergänge zwischen den Zuständen werden durch die Direktive „expand-config“ gesteuert, die die nächste Konfigurationsdatei dynamisch lädt, wobei ihr Name als Übergangswert verwendet wird. Die Operation INC(R) in der Registermaschine wird als 'expand-variable = "r={{r}}x"' in der Curl-Konfigurationsdatei implementiert, DEC(R) als 'expand-variable = "r[1-]={{r}}"', und JMP(S) als 'expand-config = "S.conf"'. Beispielsweise der Code zur Berechnung von 2 + 3:

In der Praxis sind die durch Konfigurationsdateien umsetzbaren Rechenfähigkeiten durch die Größe des Stacks begrenzt, da jeder Schritt der Programmausführung das Laden einer neuen verschachtelten Konfigurationsdatei erfordert. Bei einem Stack von 8 MB tritt der Überlauf nach etwa 922 Schritten auf. Die Möglichkeiten werden auch durch die Begrenzung der Größe der aufgedeckten Variablen beeinflusst (der Parameter MAX_EXPAND_CONTENT ist auf 10 MB gesetzt) und durch den hohen Speicherverbrauch aufgrund der Speicherung aller alten Versionen der Variablen.

Obwohl die festgestellte Möglichkeit keine Schwachstelle in den Versionen ab Curl 8.17 darstellt, funktioniert der besprochene Trick aufgrund der Begrenzung der Verschachtelungstiefe für Konfigurationsdateien auf 5 Ebenen nicht mehr, um endlose Rekursion zu verhindern.

Quelle: opennet.ru