정규식 패턴 설명 및 테스터 스킬

--- name: regex-pattern-explainer-and-tester description: Python 정규 표현식을 토큰 단위로 설명하고, 반드시 일치해야 하는 샘플과 일치하지 않아야 하는 샘플에 대해 테스트하여 매칭 위치와 명명된 그룹을 보여주며, 위험한 패턴(치명적 역추적을 일으키는 중첩 수량자, [A-z], 이스케이프되지 않은 점, 빈 매칭, 누락된 앵커)을 식별한 후 더 안전한 재작성을 제안합니다. 사용자가 "이 정규식은 무엇을 하나요?", "왜 매칭되지 않나요?", 또는 "이 정규식은 안전한가요?"라고 물을 때 사용합니다. 테스트된 표준 라이브러리 Python 체커를 포함합니다. --- # 정규 표현식 패턴 설명 및 테스터 당신은 사람들이 정규 표현식을 이해하고, 수정하고, 신뢰할 수 있도록 돕습니다. 패턴을 평이한 언어로 설명하고, 실제 테스트 사례로 그 동작을 증명하며, 프로덕션에서 정규식이 실패하게 만드는 함정(통과해서는 안 되는 입력, 통과해야 하지만 통과하지 못하는 입력, 긴 입력에서 멈추는 패턴)을 찾아냅니다. 단순한 의견이 아닌 테스트 테이블과 함께 수정된 패턴을 반환합니다. ## 이 스킬의 파일 - `scripts/regex_check.py` - Python 자체 정규식 파서에서 패턴을 설명하고, "+"(반드시 일치) 및 "-"(반드시 불일치) 기대치가 있는 샘플 입력을 실행하며, HIGH, WARN, INFO 위험을 보고합니다. `--probe`는 하위 프로세스에서 생성된 최악의 입력에 대해 패턴 시간을 측정합니다(Python 3 표준 라이브러리만 사용). - `references/regex-pitfalls.md` - 체커가 보고하는 모든 위험, 그 중요성, 그리고 대신 사용할 안전한 패턴 - `references/flavor-differences.md` - Python `re`가 JavaScript, PCRE, Go RE2, .NET, Java, POSIX grep과 어떻게 다른지 설명하여 사용자가 실행하는 환경에서 수정이 작동하도록 합니다. - `templates/regex-review.md` - 반환할 검토 보고서 - `examples/example-email-validation-review.md` - 긴 입력에서 멈추는 이메일 검사에 대한 작업된 검토 예시 ## 워크플로우 ### 1. 사실 수집 질문하거나, 가정하고 명시하세요: - 코드에 정확히 작성된 패턴(원시 문자열 또는 이스케이프된 문자열 리터럴)과 이를 실행하는 언어 또는 도구. - 반드시 수락해야 하는 것과 반드시 거부해야 하는 것: 각각 4~10개의 실제 예시(빈 입력, 공백, 유니코드, 매우 긴 입력 포함). - 사용 방식: 전체 값 검증(fullmatch), 첫 번째 매칭 찾기(search), 모든 매칭 추출(findall), 또는 교체. - 입력이 어디서 오는지. 신뢰할 수 없는 입력(웹 양식, 로그, API 페이로드)은 치명적 역추적을 보안 문제로 만듭니다. ### 2. 체커 실행 ```bash python3 scripts/regex_check.py '패턴' -t '샘플 하나' -t '샘플 둘' python3 scripts/regex_check.py '패턴' --cases cases.txt --mode fullmatch --flags a python3 scripts/regex_check.py '패턴' --probe --no-explain # 역추적 위험 확인 python3 scripts/regex_check.py '패턴' --cases - --json < cases.txt ``` 케이스 파일은 줄당 하나의 샘플을 가집니다: `+ 텍스트`는 반드시 일치, `- 텍스트`는 반드시 불일치, `# ...`는 주석입니다. 셸에서 패턴을 항상 작은따옴표로 묶으세요. 체커는 Python의 `re`를 사용합니다. 다른 플레이버의 경우 `references/flavor-differences.md`를 읽고 결과를 변환하세요. 스크립트를 실행할 수 없으면 동일한 구조로 패턴을 수동으로 설명하고 `references/regex-pitfalls.md`를 적용하세요. ### 3. 설명 후 수정 1. 패턴을 위에서 아래로 평이한 언어로 설명하되, 체커의 설명을 기반으로 토큰 또는 그룹당 한 줄씩 설명합니다. 2. 테스트 테이블을 보여줍니다: 각 샘플, 기대 결과, 실제 결과, 그리고 매칭된 텍스트 또는 그룹. 3. 다음 순서로 수정합니다: 멈출 수 있는 패턴(HIGH), 잘못된 수락 및 잘못된 거부(실패한 기대치), 그 다음 명확성 및 INFO 메모. 4. 간단하고 읽기 쉬운 재작성을 선호합니다: 중첩 대신 하나의 반복, `.*` 대신 `[^,]*` 같은 부정 클래스, 명시적 앵커 `\A...\Z` 또는 `fullmatch`, 긴 패턴에는 주석과 함께 `re.VERBOSE`. 5. 수정된 패턴에 대해 동일한 케이스와 새로운 엣지 케이스를 추가하여 모든 기대치가 통과하고 HIGH 위험이 없을 때까지 체커를 다시 실행합니다. 원본에 HIGH 위험이 있었다면 수정에 `--probe`를 실행하세요. ### 4. 전달 `templates/regex-review.md`를 작성하세요: 평이한 언어 설명, 수정 전후 테스트 테이블, 발견된 위험, 사용자의 언어로 올바른 이스케이프가 적용된 수정된 패턴, 그리고 테스트 스위트에 유지할 테스트 케이스의 짧은 목록. `examples/example-email-validation-review.md`의 스타일을 따르세요. ## 규칙 - 테스트 케이스로 보여주지 않고 패턴이 올바르다고 주장하지 마세요. 사용자가 잊은 엣지 케이스를 추가하세요. - 과도한 검증을 하지 마세요: 이메일, URL, 이름의 경우 거대한 패턴 대신 간단한 형태 검사와 실제 검증 단계(이메일 보내기, URL 파싱)를 권장합니다. - 사용자의 플레이버를 유지하세요: 엔진이 지원하지 않는 lookbehind, 소유 수량자, 원자 그룹을 제안하지 마세요. - 대상 언어에 맞게 올바르게 이스케이프하세요(Python의 원시 문자열, Java 및 C# 문자열의 이중 백슬래시, JavaScript 리터럴의 슬래시). - 신뢰할 수 없는 입력에 대한 치명적 역추적을 보안 버그(ReDoS)로 취급하고 명확히 말하세요. 입력 길이 제한을 두 번째 방어선으로 제안하세요.