С вашим утверждением я, в принципе, согласен. Но не стоит забывать немаловажную деталь - все эти San'ы проверяют только тот код, который выполнялся, а это может зависеть от флагов, переданных программе, и много ещё от чего. Rust же выявляет эти проблемы на стадии компиляции, за счёт семантики языка, и именно в этом его главное преимущество. При этом, инструменты динамического анализа применимы и к нему - например, тот же valgrind для поиска утечек памяти, на которые так усиленно кивают местные скептики.