Summary

the recursive function _selectPresidentRecursive may loop indefinitely, eventually causing a stack overflow and transaction failure.

Vulnerability Details

The recursive `src/RankedChoice::_selectPresidentRecursive function assumes that at least one candidate remains at each step.If somehow the function is called with an empty candidateList, it would cause an infinite recursion or unexpected behavior.

Impact

Election process would fail, and the contract could become stuck in an unusable state until the issue is manually resolved.

Tools Used

Manual Review

Recommendations

Add a validation check to ensure that the candidate list is never empty.