[morning-coffee]

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

[dijit]

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

[jb1991]

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

[ycombinatrix]

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