JavaScript·Go(RE2) 정규식 테스터

이 도구에 대하여

두 계열의 두 엔진

정규식 엔진은 두 계열로 나뉩니다. PCRE나 JavaScript, Python, Java, .NET의 기본 엔진 같은 백트래킹 엔진은 패턴을 따라 경로 하나를 시도하다가 실패하면 되돌아갑니다. 이 설계 덕분에 전방 탐색, 후방 탐색, 역참조가 가능합니다. RE2나 Go의 regexp 패키지 같은 오토마타 엔진은 가능한 모든 경로를 동시에 따라가므로 실행 시간이 텍스트 길이에 선형으로 늘어납니다. 그 대가로 전후방 탐색과 역참조는 쓸 수 없습니다.

여기서 JavaScript 엔진은 브라우저 자체의 RegExp입니다. Go 엔진은 Go 표준 regexp 패키지를 WebAssembly로 컴파일한 것이므로, 여기서 패턴을 실행하는 코드는 Go 프로그램에서 패턴을 실행하는 코드와 같습니다. Go는 RE2 문법을 받아들입니다.

결과 읽는 법

각 일치 항목은 텍스트 안에서 테두리와 배경색으로 강조되며, 맞닿은 일치 항목을 구분할 수 있도록 두 가지 색을 번갈아 씁니다. 두 글자 사이에서 x*가 찾는 것 같은 빈 일치는 가는 막대로 표시됩니다. 표에는 모든 일치 항목의 시작과 끝 위치, 모든 캡처 그룹의 텍스트가 나옵니다. 일치에 참여하지 않은 그룹은 “일치하지 않음”으로 표시되며, 이는 빈 문자열과 일치한 그룹과는 다릅니다.

위치는 0부터 UTF-16 코드 단위로 세며, 끝 위치는 포함되지 않습니다. JavaScript에서 String.prototype.slice에 넘기는 숫자와 같습니다. Go 자체는 UTF-8 텍스트의 바이트 오프셋을 보고하지만, 이 도구가 이를 변환하므로 두 엔진 모두 같은 숫자를 보여 줍니다.

JavaScript에서 g 플래그가 없는 패턴은 첫 번째 일치만 찾고 첫 번째 일치만 치환합니다. Go 엔진은 FindAllStringSubmatchIndex와 ReplaceAllString처럼 항상 모든 일치 항목을 보고합니다.

치명적 백트래킹

백트래킹 엔진은 수량자가 중첩되거나 겹치면 지수 시간이 걸릴 수 있습니다. 대표적인 예는 a가 길게 이어지다가 다른 문자로 끝나는 텍스트에 (a+)+$를 테스트하는 경우입니다. 엔진은 포기하기 전에 이어진 문자열을 안쪽 수량자와 바깥쪽 수량자에 나눠 주는 모든 방법을 시도합니다. 서버에서는 이것이 ReDoS라고 불리는 서비스 거부 위험이 됩니다.

이 도구는 JavaScript 패턴을 백그라운드 워커에서 실행하고 1.5초가 지나면 워커를 중지하므로, 페이지가 멈추지 않고 무슨 일이 있었는지 알려 줍니다. 같은 패턴을 Go 엔진으로 테스트해 보면 느린 원인이 백트래킹인지 빠르게 확인할 수 있습니다. Go는 텍스트 길이에 선형인 실행 시간을 보장하기 때문입니다.