I konfigurasjonsfilene til curl er det tilfeldigvis implementert Turing-fullstendighet.

Det har blitt identifisert en mulighet for å opprette vilkårlige beregnbare funksjoner ved hjelp av konstruksjoner i konfigurasjonsfilene til verktøyet Curl. Denne egenskapen vises kun i versjoner av Curl fra 8.12 til 8.16 og er forårsaket av en utilsiktet implementasjon av Turing-fullstendighet, som tillater oppretting av Turing-maskiner ved å bruke muligheten til å hente byteområder fra variabelverdier og ubegrenset dybde av nestede konfigurasjonsfiler.

Som et eksempel er det gjennom Curl organisert en simulering av en to-teller registreringsmaskin (Minsk-maskinen) for addisjon av tall og implementering av programmet «99 flasker med øl», brukt i undervisning om sløyfer. For å kjøre programmet, som er programmert gjennom konfigurasjonsfilene til curl, er det tilstrekkelig å pakke ut arkivet og utføre kommandoen «curl -q -s -K 99_bottles/main.conf».

Registreringsmaskinen simuleres ved å representere verdien til telleren som en streng med «n» tegn «x». Inkrementerings- og dekrementeringsoperasjoner er realisert gjennom sammenføyning og truncation av strenger (syntaksen «[0-0]» for å beholde første byte og «[1-]» for å beholde alt innhold unntatt første byte), mens overgangene mellom tilstander styres av direktivet «expand-config», som dynamisk laster den neste konfigurasjonsfilen ved å bruke navnet som en overgangsmerke. Operasjonen INC(R) i registreringsmaskinen realiseres som ‘expand-variable = «r={{r}}x»‘ i konfigurasjonsfilen til Curl, DEC(R) — som ‘expand-variable = «r[1-]={{r}}»‘, og JMP(S) — som ‘expand-config = «S.conf»‘. For eksempel, koden for å utføre 2 + 3:

I praksis er de beregningsmulighetene som implementeres via konfigurasjonsfiler begrenset av størrelsen på stakken, ettersom hvert steg i programutførelsen krever lasting av en ny nestet konfigurasjonsfil. Med en stakk på 8 MB oppstår det overløp etter omtrent 922 steg. Mulighetene påvirkes også av begrensningen på størrelsen på utvidede variabler (parameteren MAX_EXPAND_CONTENT er satt til 10 MB) og stort minneforbruk på grunn av lagring av alle gamle versjoner av variabler.

Selv om den oppdagede muligheten ikke er en sårbarhet i versjoner fra curl 8.17, vil ikke det aktuelle trikset fungere lenger på grunn av begrensningen av dybden i konfigurasjonsfiler til 5 nivåer, for å beskytte mot uendelig rekursjon.

Kilde: opennet.ru