🇰🇷 한글 설명
Lean 4 VS Code 확장은 Lean 4 증명 보조 도구를 위한 확장 프로그램입니다. @leanprover/unicode-input-component 0.1.9 이하 버전을 사용하는 프로젝트는 입력 요소에 텍스트를 이스케이프 처리 없이 HTML로 다시 삽입하는 XSS 취약점에 노출될 수 있습니다. 이 문제는 0.2.0 버전에서 해결되었습니다.
💡 쉬운 설명
Lean 4 코딩 도구에서 특수 문자를 입력할 때 보안 처리가 제대로 되지 않아 발생하는 문제입니다. 공격자가 악성 코드를 심은 텍스트를 입력하게 유도하여 사용자의 정보를 훔칠 수 있습니다.
🇺🇸 원문 (English)
Lean 4 VS Code Extension is a Visual Studio Code extension for the Lean 4 proof assistant. Projects that use @leanprover/unicode-input-component are vulnerable to an XSS exploit in 0.1.9 of the package and lower. The component re-inserted text in the input element back into the input element as unescaped HTML. The issue has been resolved in 0.2.0.
📍 영향받는 시스템
@leanprover/unicode-input-component 0.1.9 이하 버전
⚔️ 공격 벡터
악성 HTML 코드가 포함된 텍스트를 입력 요소에 삽입하여 실행되는 교차 사이트 스크립팅(XSS) 공격
🛡️ 대응 방법
@leanprover/unicode-input-component 패키지를 0.2.0 이상 버전으로 업데이트하십시오.
🔧 검증 코드
출력된 버전이 0.2.0 미만(예: 0.1.9)이면 취약한 상태입니다.
npm list @leanprover/unicode-input-component