🛡️ Sentinel: [MEDIUM] Fix DoS vulnerability in .html4ignore file processing

[seonghobae]

🚨 Severity: MEDIUM

💡 Vulnerability:
.html4ignore 파일 파싱 및 읽기 과정 중, 시스템 권한 변경에 따른 IOException(TOCTOU 포함)이나 악의적인/잘못된 파일명(널 바이트 포함)으로 인한 InvalidPathException 등의 예상치 못한 예외가 발생할 경우 애플리케이션 전체 크롤러가 충돌하고 서비스가 중단(DoS)되는 취약점이 발견되었습니다.

🎯 Impact:
공격자나 사용자 환경 문제로 인해 특정 디렉토리 내 .html4ignore 파일의 접근이 차단되거나 비정상적인 파일명이 존재할 경우 전체 정적 HTML 생성 과정이 실패하여 서비스 거부(Denial of Service) 상태를 유발할 수 있습니다.

🔧 Fix:
process_ignore_file 내부의 try-catch 블록을 확장하여 파일 접근, 내용 파싱 및 경로 객체 생성 과정 중 발생하는 모든 Exception을 잡아내도록 처리했습니다. 예외가 발생하더라도 충돌을 피하고(Fail Securely) 민감한 시스템 및 설정 파일에 대한 기본 보호 정책을 유지하면서 다음 프로세스로 넘어가도록 개선하였습니다.

✅ Verification:

• UseLinesExceptionTest.kt 테스트를 추가하여 널 바이트가 포함된 파일명을 전달해 의도적으로 InvalidPathException을 발생시킨 후 프로세스가 죽지 않고 정상적으로 민감 파일 목록을 반환하는지 검증 완료했습니다.
• 모든 JaCoCo 코드 커버리지가 100%를 충족하는지 검증했습니다.

---

PR created automatically by Jules for task 6012961470040518683 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.

[opencode-agent]

Pull request overview

OpenCode could not approve from deterministic current-head evidence because GitHub Checks have failed.

Findings

1. HIGH Current-head GitHub Checks - Fix failed required checks before approval

• Problem: Failed same-head checks remain for d9d88f614029bce21afabe4f6b043978dff9caca.
• Root cause: The model-unavailable evidence fallback is allowed only when peer GitHub Checks are complete and clean.
• Fix: Read and fix the failed check logs below, then rerun the current-head checks.
• Regression test: Keep the model-unavailable fallback gated on an empty failed-check rollup.

Failed checks:

• Strix Security Scan/strix: FAILURE (https://github.com/ContextualWisdomLab/html4tree/actions/runs/29537965591/job/87753585946)
• Strix Security Scan/strix: failure (https://github.com/ContextualWisdomLab/html4tree/actions/runs/29537965591/job/87753585946)

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Changed file (3 files)"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Changed file (3 files)"]
  R1 --> V1["required checks"]

Loading

[opencode-agent]

OpenCode Review Overview

• Head SHA: d9d88f614029bce21afabe4f6b043978dff9caca
• Workflow run: 29763813861
• Workflow attempt: 1
• Gate result: REQUEST_CHANGES (approval step)

Pull request overview

OpenCode could not approve from deterministic current-head evidence because GitHub Checks have failed.

Findings

1. HIGH Current-head GitHub Checks - Fix failed required checks before approval

• Problem: Failed same-head checks remain for d9d88f614029bce21afabe4f6b043978dff9caca.
• Root cause: The model-unavailable evidence fallback is allowed only when peer GitHub Checks are complete and clean.
• Fix: Read and fix the failed check logs below, then rerun the current-head checks.
• Regression test: Keep the model-unavailable fallback gated on an empty failed-check rollup.

Failed checks:

• Strix Security Scan/strix: FAILURE (https://github.com/ContextualWisdomLab/html4tree/actions/runs/29537965591/job/87753585946)
• Strix Security Scan/strix: failure (https://github.com/ContextualWisdomLab/html4tree/actions/runs/29537965591/job/87753585946)

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Changed file (3 files)"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Changed file (3 files)"]
  R1 --> V1["required checks"]

Loading