Xcode 26 introduces support for "-fbounds-safety" in clang, see https://clang.llvm.org/docs/BoundsSafety.html for background.
Experiment with using this feature and its associated annotations during testing and analyzer builds (but not in release builds)