While not as mature as Rust, static enforcement of C++'s (memory and data race) safe subset is coming along [1].
Iiuc tools like TrustInSoft are for situations where you need not just safety, but "reliability" (i.e. no crashes, no exceptions). That doesn't really scale so well to larger applications.