🛡️ Sentinel: [HIGH] Fix BiDi spoofing vulnerability

[seonghobae]

🚨 Severity: HIGH

💡 Vulnerability: 생성된 index.html에서 양방향 텍스트(BiDi) 제어 문자(예: \u202E RTL override)를 허용하여 악의적인 사용자가 파일 이름과 확장자를 스푸핑하거나 난독화할 수 있는 취약점이 발견되었습니다. 이를 통해 악성 실행 파일을 안전한 이미지 파일처럼 보이게 속일 수 있습니다.

🎯 Impact: 사용자가 디렉토리 목록을 열람할 때 시각적으로 변조된 파일 이름을 신뢰하여 악성 파일을 다운로드하거나 실행하도록 유도될 수 있습니다.

🔧 Fix:

1. escapeHtml() 함수에 BiDi 제어 문자(LRE, RLE, PDF, LRO, RLO, LRI, RLI, FSI, PDI)를 렌더링되지 않는 안전한 이스케이프 유니코드 문자열(\u202E 등)로 변환하는 로직을 추가했습니다.
2. process_dir 내에서 디렉토리 이름 및 파일 이름이 렌더링되는 모든 위치(<h1>, <title>, <a> 태그 내 <span>)에 First Strong Isolate (⁨)와 Pop Directional Isolate (⁩)를 추가하여, 사용자가 제어하는 텍스트 방향이 문서 전체 구조에 영향을 미치지 않도록 격리(Isolate)했습니다.
3. 관련 내용에 대한 단위 테스트(BidiEscapeTest.kt) 및 100% 커버리지 유지를 위한 테스트 검증을 완료하고 CHANGELOG 및 .jules/sentinel.md를 업데이트했습니다.

✅ Verification: 테스트(./gradlew test jacocoTestReport jacocoTestCoverageVerification)가 100% 커버리지와 함께 성공적으로 통과하며, 추가된 BidiEscapeTest가 의도된 문자의 정확한 이스케이프를 검증합니다.

---

PR created automatically by Jules for task 6814770744237234256 started by @seonghobae

[google-labs-jules]

👋 Jules, reporting for duty! I'm here to lend a hand with this pull request.

When you start a review, I'll add a 👀 emoji to each comment to let you know I've read it. I'll focus on feedback directed at me and will do my best to stay out of conversations between you and other bots or reviewers to keep the noise down.

I'll push a commit with your requested changes shortly after. Please note there might be a delay between these steps, but rest assured I'm on the job!

For more direct control, you can switch me to Reactive Mode. When this mode is on, I will only act on comments where you specifically mention me with @jules. You can find this option in the Pull Request section of your global Jules UI settings. You can always switch back!

New to Jules? Learn more at jules.google/docs.

---

For security, I will only act on instructions from the user who triggered this task.

[coderabbitai]

Warning

Review limit reached

Next included review available in 54 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Advanced

Run ID: 30e2ed2e-f21f-473e-9ed9-0a2bf4075e7b

📥 Commits

Reviewing files that changed from the base of the PR and between 728f0f3 and bbd227a.

📒 Files selected for processing (5)

• .jules/sentinel.md
• CHANGELOG.md
• src/main/kotlin/html4tree/main.kt
• src/test/kotlin/html4tree/BidiEscapeTest.kt
• src/test/kotlin/html4tree/MainTest.kt

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[seonghobae]

현재 exact head d388fa9cae95b84ad3dc81761b76ebedf7bfd1a5의 isolate 적용 방향은 맞지만, escapeHtml()이 차단하는 BiDi control set이 불완전합니다. 지금은 U+202A–U+202E와 U+2066–U+2069 9개만 literal \\uXXXX로 바꾸고, Unicode가 Bidi_Control로 정의하는 U+061C ARABIC LETTER MARK (ALM), U+200E LEFT-TO-RIGHT MARK (LRM), U+200F RIGHT-TO-LEFT MARK (RLM) 3개는 그대로 렌더링됩니다.

Unicode UAX #9 §2는 directional formatting characters를 세 그룹으로 명시합니다: implicit marks LRM/RLM/ALM, embedding/override LRE/RLE/LRO/RLO/PDF, isolate LRI/RLI/FSI/PDI. 현재 PR은 뒤 두 그룹만 처리합니다. 최신 normative reference: https://unicode.org/reports/tr9/#Directional_Formatting_Characters . Unicode Core Spec의 Bidirectional Ordering Controls 표도 정확히 12개를 열거합니다: https://unicode.org/versions/Unicode18.0.0/core-spec/chapter-23/#G14116 . 따라서 PR 제목/CHANGELOG의 “BiDi control characters” 방어를 현재 head로 완료했다고 보기 어렵습니다.

FSI/PDI로 untrusted filename을 바깥 문맥과 격리하면 spillover를 크게 줄일 수 있지만, isolate 내부에서 남아 있는 implicit directional mark는 filename 자체의 숫자/문장부호 ordering을 바꿀 수 있습니다. 특히 파일명/확장자 spoofing을 threat로 잡았다면 이 3개도 hostile corpus에 포함해야 합니다.

RED: Unicode의 12개 Bidi_Control 각각을 directory name/file name/title/visible link text에 주입해 generated index.html에 raw attacker-supplied control code point가 0개인지 검사하십시오. 단순 escapeHtml() unit test뿐 아니라 실제 process_dir output과 browser rendering을 확인하고, 정상 RTL/Arabic/Hebrew 파일명(제어문자 없이 자연 문자를 쓰는 경우)은 훼손하지 않는 parity도 고정하십시오. 혼합 report\u200Fcod.exe, safe\u061C123.jpg, nested explicit/isolate sequence 같은 hostile case도 포함하는 편이 맞습니다.

GREEN: attacker input의 전체 Bidi_Control 집합을 일관되게 neutralize/escape하고, app이 자체 삽입하는 isolate boundary만 별도 trusted rendering primitive로 유지하십시오. 가능하면 escapeHtml() 일반 HTML escaping과 renderUntrustedDisplayText() 같은 BiDi display policy를 분리해, 향후 다른 caller가 HTML escape만으로 spoofing-safe라고 오해하지 않게 하는 것이 좋습니다. 현재 .jules/sentinel.md의 finding 날짜 2024-05-24도 2026-09 current finding과 맞지 않아 실제 관찰일로 currentize해야 합니다.

Security gate는 이 exact generation에서 FAIL입니다.

[seonghobae]

Security/PR-0 acceptance is RED on exact bbd227a3cd551d52fab8ea12d4bdfd37bde5c852.

This is a second writer on the same BiDi rendering boundary already owned by #705 (0de5422d3276e419831f28148cfbd6ffd5b66904, same protected base). #705 carries an additional valid semantic delta that this head does not fully inherit: the link title value isolates the user-controlled filename (⁨...⁩) before the trusted type label. #735 instead removes that isolation from ariaLabel and relies on escapeHtml() to neutralize a subset of controls. A successor cannot make #705 PR=0 until every valid source/test/fixture/evidence delta is ordinary-forwarded.

The neutralization set is also incomplete if the security contract is "escape BiDi controls". Unicode 18.0 §23.2.5 and current UAX #9 define the Bidi_Control set as ALM U+061C, LRM U+200E, RLM U+200F, LRE/RLE/PDF/LRO/RLO U+202A–U+202E, and LRI/RLI/FSI/PDI U+2066–U+2069. This head handles only the latter two groups. Primary references: https://unicode.org/versions/Unicode18.0.0/core-spec/chapter-23/ and https://www.unicode.org/reports/tr9/.

RED: render filenames containing every Bidi_Control, mixed RTL/LTR basename + extension, nested controls, unmatched controls, and ordinary Arabic/Hebrew text through the actual generated HTML; assert both DOM/text semantics and browser visual containment in Chromium/Firefox/WebKit. Include the visible <span>, <title>/<h1>, and the link title/accessible-name boundary. Ordinary RTL filenames must remain readable; security repair must not flatten legitimate script direction.

GREEN: choose one canonical BiDi owner (#705 or this PR), merge the valid isolation + explicit-neutralization contracts into that one descendant, cover the complete declared control set (or narrow the claim to the exact controls intentionally neutralized), and preserve all sibling tests/evidence before considering the other PR PR=0. Browser/a11y evidence is still required; source-string assertions alone do not prove the rendered filename cannot spoof a trusted suffix.

Delivery Gate on this exact head: intentionality PASS; functional/security completeness FAIL; resilience/browser+a11y evidence FAIL; claim evidence FAIL until the control-set contract and sibling lineage are reconciled.