@misimacat самый неуязвимый… вероятно, Haskell.

А Rust – да в основном поэтому, защита от косяков памяти это очень большое дело, на низких уровнях почти все уязвимости растут из них. Да и в целом у него очень современный дизайн: гораздо меньше statement'ов, const по умолчанию, нет null'а, макросы на том же языке…