Skip to content

Avoid creating an out-of-bounds pointer by rewriting a check

Creating more than one-past-the-end pointers is undefined behaviour in C and while this code is unlikely to be miscompiled, I discovered that an out-of-bounds pointer is being created using UBSan on a CHERI-enabled system.

Merge request reports

Loading