Rust's compiler can prevent data races, for example. (It forbids mutation in the presence of aliasing, which is the root of it.)

should be mentioned that Go has optional flags already built in to the compiler for detection of data races.

the race detector ( -race ) only detects races that actually occur. If they don't happen, then it doesn't detect them.

should we also mention that C has optional tooling for memory safety?