Язык Си++, Rust Статический анализ и компиляторы