Curl의 설정 파일은 우연히 튜링 완전성을 갖게 되었습니다.

Curl 설정 파일의 구문을 사용하여 계산 가능한 모든 함수를 생성할 수 있다는 사실이 발견되었습니다. 이 문제는 Curl 버전 8.12~8.16에서만 발생하며, 튜링 완전성 구현의 의도치 않은 오류로 인해 발생합니다. 이 오류로 인해 변수 값에서 바이트 범위를 추출하는 기능과 외부 설정 파일을 포함할 때 무제한 중첩 깊이를 이용하여 튜링 기계를 생성할 수 있게 되었습니다.

예를 들어, Curl은 숫자 덧셈을 위한 2개의 카운터 레지스터를 사용하는 기계(민스키 기계)를 시뮬레이션하고 반복문 학습에 사용되는 "맥주 99병" 프로그램을 구현하는 데 사용됩니다. Curl 설정 파일을 사용하여 프로그래밍된 이 프로그램을 실행하려면 압축 파일을 풀고 "curl -q -s -K 99_bottles/main.conf" 명령을 실행하기만 하면 됩니다.

레지스터 머신은 카운터 값을 n x 문자로 이루어진 문자열로 표현하여 시뮬레이션됩니다. 증가 및 감소 연산은 문자열 연결과 잘림(첫 번째 바이트를 유지하려면 "[0-0]" 구문, 첫 번째 바이트를 제외한 모든 내용을 유지하려면 "[1-]" 구문)을 사용하여 구현되며, 상태 전환은 "expand-config" 지시문을 통해 제어됩니다. 이 지시문은 파일 이름을 점프 레이블로 사용하여 다음 구성 파일을 동적으로 로드합니다. 레지스터 머신의 INC(R) 연산은 Curl 구성 파일에서 'expand-variable = "r={{r}}x"'로, DEC(R) 연산은 'expand-variable = "r[1-]={{r}}"'로, JMP(S) 연산은 'expand-config = "S.conf"'로 구현됩니다. 예를 들어, 2 + 3을 계산하는 코드는 다음과 같습니다.

실제로 설정 파일을 통해 구현되는 연산 능력은 스택 크기에 의해 제한됩니다. 프로그램 실행의 각 단계마다 새로운 중첩 설정 파일을 로드해야 하기 때문입니다. 8MB 스택을 사용하는 경우 약 922단계 후에 오버플로가 발생합니다. 또한 확장된 변수의 크기 제한(MAX_EXPAND_CONTENT 매개변수는 10MB로 설정됨)과 모든 이전 버전의 변수를 저장해야 하므로 발생하는 높은 메모리 사용량도 연산 능력에 영향을 미칩니다.

해당 기능은 취약점은 아니지만, curl 8.17 버전부터는 무한 재귀를 방지하기 위해 설정 파일의 중첩 깊이가 5단계로 제한되므로 해당 방법은 더 이상 작동하지 않습니다.

출처 : opennet.ru