diff --git a/.jules/sentinel.md b/.jules/sentinel.md index bc5c6e1..8f19509 100644 --- a/.jules/sentinel.md +++ b/.jules/sentinel.md @@ -12,3 +12,8 @@ **Vulnerability:** Raw `stop()` and `warning()` calls without `call. = FALSE` in `llcont.R` and `vuongtest.R` exposed execution stack/call details when raised. **Learning:** While some instances of `stop()` inside `tryCatch()` were previously fixed to hide the call stack, other standalone exceptions and warnings still leaked call context. Security must be consistently applied across the entire codebase. **Prevention:** Always set `call. = FALSE` when using `stop()` or `warning()` to enforce a secure-by-default boundary and prevent internal execution paths from being disclosed to the end user. + +## 2024-08-24 - Prevent Information Disclosure via Input Validation +**Vulnerability:** Unvalidated user inputs (`nested`, `adj`, `conf.level`) in exported functions `vuongtest()` and `icci()` caused raw R errors deep inside internal logic, leaking internal execution context when `NA`, multiple elements, or incorrect types were provided. +**Learning:** Unvalidated arguments bypass top-level `stop(..., call. = FALSE)` safeguards. Evaluating `NA` in `if` conditions triggers 'missing value where TRUE/FALSE needed'. +**Prevention:** Always strictly validate the type, length, and bounds of user inputs at the very beginning of exported functions, explicitly checking for `is.na()`, to fail securely with `stop(..., call. = FALSE)`. diff --git a/R/icci.R b/R/icci.R index f22278a..525437f 100644 --- a/R/icci.R +++ b/R/icci.R @@ -65,6 +65,11 @@ #' @export icci <- function(object1, object2, conf.level=.95, ll1=llcont, ll2=llcont) { + ## Security Fix: Validate inputs to prevent raw R errors from leaking internal execution context + if(!is.numeric(conf.level) || length(conf.level) != 1 || is.na(conf.level) || conf.level <= 0 || conf.level >= 1) { + stop("conf.level must be a single numeric value between 0 and 1", call. = FALSE) + } + ## check objects, issue warnings/errors, get classes/calls obinfo <- check.obj(object1, object2) callA <- obinfo$callA; classA <- obinfo$classA diff --git a/R/vuongtest.R b/R/vuongtest.R index 2bdfbf6..c60c3e4 100644 --- a/R/vuongtest.R +++ b/R/vuongtest.R @@ -98,6 +98,14 @@ #' @export vuongtest <- function(object1, object2, nested=FALSE, adj="none", ll1=llcont, ll2=llcont, score1=NULL, score2=NULL, vc1=vcov, vc2=vcov) { + ## Security Fix: Validate inputs to prevent raw R errors from leaking internal execution context + if(!is.logical(nested) || length(nested) != 1 || is.na(nested)) { + stop("nested must be a single TRUE or FALSE value", call. = FALSE) + } + if(!is.character(adj) || length(adj) != 1 || is.na(adj) || !(adj %in% c("none", "aic", "bic"))) { + stop("adj must be one of 'none', 'aic', or 'bic'", call. = FALSE) + } + ## check objects, issue warnings/errors, get classes/calls obinfo <- check.obj(object1, object2) callA <- obinfo$callA; classA <- obinfo$classA