I konfigurationsfilerna för curl har oavsiktligt fullständig Turing-implementering genomförts.

Det har upptäckts att det är möjligt att skapa vilken beräkningsfunktion som helst med hjälp av konstruktioner i konfiguraitonsfilerna för Curl-verktyget. Denna egenskap förekommer endast i Curl-versionerna 8.12-8.16 och orsakas av en oavsiktlig implementering av Turingfullständighet, vilket gör det möjligt att skapa Turingmaskiner genom att extrahera byteområden från variabelvärden och använda obegränsad nivå av inbäddning när externa konfigurationsfiler inkluderas.

Som exempel har Curl använts för att simulera en tvåtäljande registermaskin (Minsk-maskinen) för att addera tal och genomföra programmet "99 flaskor öl", som används för att lära sig arbeta med loopar. För att köra programmet, som programmerats via Curl konfigurationsfiler, räcker det med att packa upp arkivet och köra kommandot "curl -q -s -K 99_bottles/main.conf".

Registermaskinen simuleras genom att representera värdet av räknaren som en sträng bestående av "n" tecken "x". Inkrementerings- och dekrementeringsoperationer genomförs genom att sammanfoga och avkorta strängar (syntaxen "[0-0]" för att behålla det första bytet och "[1-]" för att behålla allt innehåll utom det första bytet), och övergångar mellan tillstånd styrs av direktivet "expand-config", som dynamiskt laddar nästa konfigurationsfil med hjälp av dess namn som en övergångsetikett. Operationen INC(R) i registermaskinen implementeras som ‘expand-variable = "r={{r}}x"’ i Curl-konfigurationsfilen, DEC(R) som ‘expand-variable = "r[1-]={{r}}"’, och JMP(S) som ‘expand-config = "S.conf"’. Till exempel, kod för att beräkna 2 + 3:

I praktiken begränsas de beräkningsmöjligheter som implementeras via konfigurationsfiler av stackens storlek, eftersom varje steg i programkörningen kräver laddning av en ny inbäddad konfigurationsfil. Med en stack på 8 MB inträffar överflöde efter cirka 922 steg. Möjligheterna påverkas också av begränsningen av storleken på de expanderade variablerna (parametern MAX_EXPAND_CONTENT är inställd på 10 MB) och stort minnesutnyttjande på grund av att alla gamla versioner av variablerna sparas.

Trots att den upptäckta möjligheten inte är en sårbarhet i versioner från och med curl 8.17 kommer den aktuella tricken inte längre att fungera på grund av begränsningen av inbäddningsnivåer i konfigurationsfiler till 5 nivåer för att skydda mot oändlig rekursion.

Källa: opennet.ru