🛡️ Sentinel: [MEDIUM] Fix Integer Coercion Vulnerability

.Rbuildignore

@@ -22,3 +22,4 @@
 ^\.jules(/.*)?$
 ^\.trivyignore\.yaml$
 ^trivy\.yaml$
+^\.semgrepignore$

.jules/sentinel.md

@@ -2,3 +2,8 @@
 **Vulnerability:** Unvalidated inputs passed to `if()` statements can cause process crashes (`condition has length > 1`) or unexpected coercion vulnerabilities.
 **Learning:** In R, optional boolean parameters that default to `NULL` should be validated using explicit runtime type validation (e.g., `if (!is.null(flag) && (!is.logical(flag) || length(flag) != 1 || is.na(flag)))`).
 **Prevention:** Always implement explicit runtime type validation for optional boolean parameters.
+
+## 2024-07-26 - Integer Coercion Vulnerability from readline()
+**Vulnerability:** When reading integer inputs via `readline()` in R, weak regex validation like `^[0-9]+$` allows large numbers that coerce to `NA` via `as.integer()`, which can break `if` conditions and cause unhandled exceptions.
+**Learning:** This weak validation can lead to crashes and Denial of Service (DoS) vulnerabilities when large input bypasses length limits or expected integer bounds.
+**Prevention:** Use strictly bounded exact-match regex like `^[12]$` for options selection to prevent coercion crashes and ensure inputs are within acceptable boundaries before converting to integer.

R/aFIPC.R

@@ -141,7 +141,7 @@ autoFIPC <-
       }
       for (attempt in seq_len(3)) {
         n <- readline(prompt = "Is it correct? (1: Yes 2: No) : ")
-        if (grepl("^[0-9]+$", n)) {
+        if (grepl("^[12]$", n)) {
           return(as.integer(n))
         }
       }
@@ -171,7 +171,7 @@ autoFIPC <-
               readline(
                 prompt = "Do you want to use default BILOG-MG priors for oldform Data? (1: Yes 2: No) : "
               )
-            if (grepl("^[0-9]+$", n)) {
+            if (grepl("^[12]$", n)) {
               return(as.integer(n))
             }
           }
@@ -390,7 +390,7 @@ autoFIPC <-
               readline(
                 prompt = "Do you want to use default BILOG-MG priors for newform Data? (1: Yes 2: No) : "
               )
-            if (grepl("^[0-9]+$", n)) {
+            if (grepl("^[12]$", n)) {
               return(as.integer(n))
             }
           }

aFIPC.Rcheck/00_pkg_src/aFIPC/DESCRIPTION

@@ -0,0 +1,18 @@
+Package: aFIPC
+Type: Package
+Title: Automated Fixed Item Parameter Linking
+Version: 0.1.0
+Author: Seongho Bae [aut, cre]
+Maintainer: Seongho Bae <seongho@kw.ac.kr>
+Authors@R: person(given = "Seongho", family = "Bae", role = c("aut", "cre"),
+    email = "seongho@kw.ac.kr")
+Description: Automates fixed item parameter linking for test linking under
+    the item response theory paradigm using mirt package estimates.
+License: GPL-3 | file LICENSE
+Imports: mirt, methods
+Suggests: testthat (>= 3.0.0)
+Encoding: UTF-8
+Config/testthat/edition: 3
+Config/roxygen2/version: 8.0.0
+NeedsCompilation: no
+Packaged: 2026-07-26 16:50:15 UTC; jules

aFIPC.Rcheck/00_pkg_src/aFIPC/LICENSE

@@ -0,0 +1,2 @@
+YEAR: 2026
+COPYRIGHT HOLDER: Seongho Bae

aFIPC.Rcheck/00_pkg_src/aFIPC/NAMESPACE

@@ -0,0 +1,5 @@
+# Generated by roxygen2: do not edit by hand
+
+export(autoFIPC)
+export(surveyFA)
+import(mirt)