Вроде принципиальное отличие - локализация unsafe. Т.е. самый нижний слой может быть весь unsafe, а выше уже нет (при условии корректности unsafe).

В С и С++ весь код полностью unsafe и локализовать нельзя.

И исследования уже были от Microsoft что до 60% уязвимостей - ошибки с памятью и 80% из них Rust способен устранить (цифры по памяти). А там не дураки сидят, деньги считать умеют.

Практически каждая вторая ошибка это выход за границы массива.