Несколько раз натыкался на Fil-C, альтернативный компилятор Си с гарантиями безопасности памяти, но все никак не доходили руки изучить подробнее. А тут вышел хороший доклад от создателя.

Вряд ли вы потянете это в прод, но доклад стоит хотя бы посмотреть ради хорошей подачи и адекватной инженерной практики для решения сложной проблемы. Ну и демо — просто пушка!

А так в докладе обозначена проблема, обозначены предыдущие попытки решения (тысячи их), рассказана основная идея подхода (хранить границы рядом с самими указателями) и несколько интересных деталей. А также раскрыта цена — скорость будет меньше в 4 раза, памяти примерно в 2 раза больше, и надо перекомпилировать все зависимости (благо, что для большинства библиотек не надо делать изменений). Приятным бонусом за перекомпиляцию идет безопасность памяти для системных вызовов.