🛡️ Sentinel: [CRITICAL] aFIPC.R 내 대용량 입력 정수 강제 변환에 의한 크래시 취약점 수정

[seonghobae]

🚨 Severity: CRITICAL
💡 Vulnerability: aFIPC.R 내 사용자 입력을 검증하는 정규식 ^[0-9]+$이 지나치게 큰 숫자를 허용하여 as.integer() 변환 시 NA를 반환하고, 이로 인해 if() 문에서 R 프로세스가 비정상 종료되는 취약점이 발견되었습니다.
🎯 Impact: 공격자가 의도적으로 매우 큰 숫자를 입력하여 R 스크립트를 크래시(DoS)하거나, 예상치 못한 동작을 유발할 수 있습니다.
🔧 Fix: readline() 입력 검증을 ^[12]$로 엄격하게 수정하여 1 또는 2 이외의 값이 통과되지 않도록 방어 로직을 강화했습니다.
✅ Verification:

• run_in_bash_session에서 mockery를 사용하여 극단적으로 큰 문자열이 입력되었을 때 코드가 뻗지 않고 정상적으로 루프 한계로 빠져나오는지 테스트 코드를 통해 100% 검증을 수행했습니다 (test-sentinel-validation.R).

---

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

---

Summary by CodeRabbit

• 버그 수정

  • 대화형 입력에 허용되지 않은 큰 숫자를 입력해도 프로그램이 비정상 종료되지 않도록 개선했습니다.
  • 공통 항목 확인 및 BILOG prior 선택 시 1 또는 2만 입력할 수 있도록 검증을 강화했습니다.
  • 잘못된 입력은 재입력 안내로 처리되며, 반복 실패 시 명확한 오류 메시지가 표시됩니다.

• 테스트

  • 비정상적으로 큰 입력값에 대한 대화형 검증 테스트를 추가했습니다.

[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]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Team

Run ID: 2c05d1ec-da01-4325-9b91-ca2e9f71d5f3

📥 Commits

Reviewing files that changed from the base of the PR and between e747d43 and ccc01b4.

📒 Files selected for processing (5)

• .Rbuildignore
• AGENTS.md
• DESCRIPTION
• test_validation.R
• tests/testthat/test-sentinel-validation.R

💤 Files with no reviewable changes (1)

• test_validation.R

Included review availability: Your plan provides up to 1 included review per hour; 0 remain after this review.

---

📝 Walkthrough

Walkthrough

대화형 입력 검증을 1 또는 2로 제한했습니다. 대형 숫자 입력에 대한 회귀 테스트와 보안 학습 문서를 추가했습니다. 테스트 의존성과 빌드 제외 규칙도 갱신했습니다.

Changes

대화형 입력 검증

Layer / File(s)	Summary
프롬프트 검증과 회귀 테스트 R/aFIPC.R, tests/testthat/test-sentinel-validation.R, .jules/sentinel.md, DESCRIPTION	세 대화형 프롬프트가 ^[12]$만 허용합니다. 대형 숫자 입력은 세 번의 재시도 후 "Too many invalid common item confirmation attempts" 오류로 종료되는지 검증합니다. 취약점 설명과 mockery 테스트 의존성을 추가했습니다.
빌드 및 테스트 지원 정리 .Rbuildignore, test_dummy.R, AGENTS.md	.semgrepignore를 R 패키지 빌드에서 제외합니다. 테스트용 source() 호출을 제거하고 Strix 실행 경로 메모를 추가했습니다.

Estimated code review effort: 2 (Simple) | ~10 minutes

Merge Risk: ⚪ Minimal · up to ccc01

The update restricts interactive input to supported choices and adds coverage for oversized values; no actionable merge-blocking risk remains beyond normal checks and review.

Possibly related PRs

• ContextualWisdomLab/aFIPC#193: 동일한 입력 검증과 대형 입력 회귀 테스트를 수정합니다.
• ContextualWisdomLab/aFIPC#214: 동일한 R/aFIPC.R 정규식 검증을 ^[12]$로 변경합니다.

Suggested reviewers: cursoragent

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	제목은 aFIPC.R의 대용량 입력 정수 변환 크래시 취약점 수정이라는 주요 변경 사항을 정확하고 구체적으로 설명합니다.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

Full details: Docstring Coverage

Explanation

No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0 files. (4 skipped: 4 unsupported.)

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch sentinel/fix-integer-coercion-7461303360963405739

---

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.}